Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [math-software]

For help with mathematical questions arising from software such as Maple, MATLAB, Mathcad, Pari/GP, R, and the WolframAlpha website, etc. Consider posting questions about Mathematica at the Mathematica StackExchange instead. For GAP, SAGE, and MAGMA, one might use tags (computer-algebra-systems), (...

0
votes
0answers
106 views
+50

Alpha Test ZoomSpace - A futuristic mathematician's tool.

ZoomSpace v0.1 Alpha Remark. This version only has diagram editing capabilities, and plenty of bugs for you to report. Future versions, maybe in about 2 months, will have basic diagram chasing ...
0
votes
1answer
17 views

Evaluating a derivative in gp/pari

Specifically, I'm trying to evaluate the derivative of the Weierstrass P function at a specific point. I know that I can set up a function like the following p(z) = ellwp([1,I],z); Which will ...
1
vote
1answer
24 views

Can composition of morphisms in a category be carried out on any subgraph of a commutative diagram, in-place?

Here is what the rule looks like to us and how we specify it to the app I'm writing. I was wondering can you take any commutative diagram $J$ and apply this rule to a subgraph matching $A \...
0
votes
0answers
37 views

Best software to do big number calculations quickly

I am trying to do some work on some math conjecture. I am testing the conjecture numbers using very large math numbers (1000+ digits ). I am currently using python to test these numbers. In the ...
-1
votes
3answers
28 views

What will be the input based on the output?

A = 1.0 B = 1.0 C = A / (1-(B/100)) This will give an output as 1.01 What will be the output when A and C are only given? A = 1.0; B = ?; C = 1.01; 1.10 = 1.0 / (1-(? / 100)) What is the answer ...
0
votes
0answers
21 views

New coordinates after rotation

Suppose an object originally points to the z-direction, if I rotate it to an arbitrary direction (say,[0.3, 0.4, 0.5]). What are the new coordinates of the points on the objects? Thank you!
0
votes
0answers
11 views

looking for graphing app/software which can graph this equation

I have an equation which makes a spiral that I want to print but none of the apps/sites I tried generate enough spiral curves. I want at least 11 curves. I already tried desmos.com and mathstud.io - ...
0
votes
1answer
35 views

How to make a list of variables in Magma(computer algebra system)?

In sagemath, for making a list of variables like $ Z=[z00,z01,z02, ... ,z97,z98,z99] $ we can use this code: ...
0
votes
0answers
13 views

Is there a certain program with which I could make several substitutions in a very large algebraic expression?

I'm doing some fairly basic (but incredibly messy) mathematics that involves a lot of algebra. I've gotten to a point where I need to substitute certain sets of variables to make the expressions more ...
2
votes
1answer
38 views

Network analysis of category of groups

I am taking a course in Network Analysis at my university and I would like to do something related to category theory in my home project. To be more precise, I would like to take some amount of finite ...
1
vote
1answer
40 views

What software do you use to write limits,integrals,sequences,etc?

I tried using office word and I couldn't copy paste my limits,sequences and I want help.Does anyone know what program can write the functions in bold as you do?I am new in this and I have no idea what ...
0
votes
1answer
35 views

Typing mathematical notation [closed]

Somebody please provide me the easiest and fastest way to type mathematical notation, I am new here please help.
1
vote
1answer
46 views

Looking for computer package for doing Lie algebras

As it stated in the title I'm looking for specific software for doing computation with Lie algebras. It could be some add-on for wolfram mathematica or for else computing systems. The precise thing I ...
0
votes
0answers
29 views

How to write an equation which mapping a square into a sphere?

Let say the curved cells on that sphere actually create a perfect square grid in shadow. Is it possible to write an equation which will mapping the square in 2D into the curved cell in 3D? The ...
1
vote
0answers
27 views

Software for calculating simplicial homology (over the integers)

I am interested in looking for a software package that can calculate the homology of simplicial complexes over the integers. (Ideally, written in a "popular" language such as Python, Matlab, etc. I ...
2
votes
2answers
45 views

Infinite summation question and i need to make an algorithm for finding the summation?

$$\sum_{n=1}^{\infty} \frac {x^{2n -1}} {2n!}$$ for the algorithm i use == $d=\frac {a_{n}} {a_n - 1}$ And other hint that I have is the for $\sum_{n=1}^{\infty} \frac {x^{2n}} {n!}$ ; $d = \frac{x}...
1
vote
0answers
29 views

Hilbert series in Singular

I am new to singular. I would like to compute some Hilbert series using singular. I use the following code. ...
0
votes
1answer
25 views

Display results in Macaulay2 using text.

I use Macaulay2 to compute Hilbert series. But the results in Macaulay2 are of the following form: ...
1
vote
0answers
24 views

Create a graph / scheme with maths on Linux

i am having a really hard time trying to find a tool to create some easy scheme with mathematic formulas. Something as easy as that, for example: Simple Crypto scheme I'm searching since some ...
0
votes
0answers
17 views

Software suggestion for PDE simulation

I want to simulate partial differential equations problems. I tried using OpenFoam, but it won't install in my pc, due to some errors. So, I was hoping if anyone could recommend me a free and Good/...
0
votes
1answer
27 views

Two whole numbers n and k . Print k decimal digits of 1 / n .

I have to print these decimal numbers in C++ . But first i need to understand this question mathematically .
0
votes
0answers
36 views

How to create math ( Geometry , Analytic Geometry ) worksheets

I apologize if this is not the site for such questions. But I need a software that can create math worksheets in geometry and also adding axes with viewing important points in the plane, basically I ...
1
vote
1answer
74 views

Software to generate graphs with specific properties.

Does anyone know if there is any software that can generate graphs and compute their chromatic polynomials? For example, say I want to generate all simple graphs on 8 vertices with 16 edges with ...
0
votes
1answer
42 views

Is there little more advanced alternative of “DC Proof”? (it's a proof assistant)

So far I inspected several proof assistant: 1.DC Proof. The closest to my ideal yet still not exactly what I want (although I still have some hope that maybe I'm missing something). I'm glad that it ...
1
vote
1answer
28 views
0
votes
0answers
16 views

Is there a software for parametric optimization

I am looking for a software that does parametric optimization, I give it known parameters as well as the constraints on unknown variables, and it gives me the best variables in terms of the parameters....
4
votes
0answers
119 views

How to generate a Penrose tessellation around a given tile?

Given a starting Penrose tile, I need to build a "spiraling" tessellation around it. The following picture illustrates the request: In this example, the starting tile is a "thin rhombus" (the pink ...
0
votes
1answer
49 views

What does “x = 1 default” actually mean?

For context, I am a programmer, not a mathematician, so please forgive my math-ignorance. I am implementing this calculation in an application that I am working on, but at the bottom of the page, I ...
2
votes
1answer
137 views

Spiral path on a Penrose tiling

I would like to color a Penrose tiling by following a "spiral path", painting each tile according to a given color sequence. In this picture, I illustrate what I am looking for: The dashed line ...
-1
votes
1answer
33 views

An algorithm to convert a number to a decimal

Does anyone know a simply conversion algorithm to turn a number range of 1 to 10 into a decimal range of .5 to 1? Even more complicated (to me), another algorithm to covert a range of -1 to -10 into ...
1
vote
0answers
61 views

Is there software to validate formal demonstrations?

Anyone knows a software that compiles formally well-defined algebraic equations to validate their correctness? For example, I insert a statemente in latex like that: \forall S_i \in S \to \exists! ...
-1
votes
1answer
52 views

How can I find $\delta$ given $\epsilon$?

How do I need to show that there exist $\delta>0$ corresponding to $\epsilon= 0.03$, when $(x,y,z)\to (0,0,0)$ using $\epsilon$-$\delta$ definition of limit. Given that $f(x,y,z)$ is $$f(x,y,z)=\...
1
vote
1answer
34 views

Correspondance checking software

There's a Gamma distribution $P(A=z)≈\frac{2^{n/2}}{\sqrt{2z\pi}}\exp^{-\frac{z}{2^{1-n}}}$ for $z > 0$ and $0$ otherwise. This distribution has mean $\mu(A) = 2^{-n}$ and standard deviation $\...
0
votes
0answers
58 views

Is there any symbolic set theory software?

Is there a good software for doing symbolic set theory problems? For example defining irrational numbers as infinite sets. And manipulating expressions. And all those sorts of things? It doesn't ...
2
votes
1answer
67 views

State of art numerical algorithm for all complex roots of high degree polynomial in $\mathbb Z[x]$

I have many polynomial with high (100+) degree. The coefficients are integer. I would like to find all the roots in $\mathbb C$ of each polynomial as fast as possible. Best complexity and best ...
0
votes
0answers
27 views

Are there any software or libraries(in some language) which draws all the planar graphs given the number of vertices?

I am working on interrelationships between planar and Hamiltonian graphs and for the purpose I need planar graphs for inspection. Since their number grows asymptotically, I cannot approach it manually....
1
vote
0answers
29 views

Implementing a visualization for complex valued functions [closed]

I do work quiet often with complex numbers and complex valued functions $f:\mathbb{C} \rightarrow \mathbb{C}$. I know there are some really good methods for plotting or visualizing these types of ...
3
votes
0answers
40 views

Software for computation of Ricci tensor on a Kähler manifold

I have a metric on a Kähler manifold and want to compute the Ricci tensor. There are packages for Mathematica to do this on a real manifold, but I have not found any software to do explicit ...
0
votes
0answers
53 views

Is there a software that solves this equation.

I have a series of equations of the form: $p \int_0^\infty f(x) dx = \int_\delta^\infty g(x) dx$ where p is a probability (between 0 and 1). In other words, I have some fraction of the area ...
2
votes
1answer
67 views

Power series expansion involving Lambert-W function

Need to power series expand this term: $ -\frac{e}{2z} W\left(\frac{-2z}{e^2} \right) \left( \log \left( - \frac{e}{2z} W \left( \frac{-2z}{e^2}\right) \right) -1 \right)$ I tried expanding this ...
0
votes
1answer
42 views

Would this suffice in a visual type theory to define an abstract List type?

See the image. I got that from: wikipedia article. In that, I don't understand the first function nil : () -> L. What is ()...
0
votes
1answer
53 views

Knot theory program turning graphical input into PD / Gauss code or braid (Mac OS X)

Are there any programs that run on OS X (and not just Windows) that can take a knot diagram as graphical input and convert it to a PD / Gauss code or braid? This is related to this question. For ...
3
votes
1answer
75 views

In Homotopy Type Theory, where does the lambda expression reside?

Background I am trying to develop a visual language for doing higher level mathematics. The language is essentially the language of categories with some allowances since this thing runs on a ...
0
votes
0answers
22 views

Software to make simple orthographic diagrams

I need to draw, as a diagram, a mathematical process that can be applied to squares to map them into cubes (used for data analysis). All I need is something that allows me to draw orthographic cubes ...
0
votes
1answer
72 views

Import a List of Functions From a Text File in Maple [closed]

I have a text file that is filled by the so many functions like this [x ^ 12 + x ^ 2 + 1 , x ^ 18 + x ^ 3 + 1 , ... , x ^ 15 + x^ 14 + x ^ 5]$\quad$ (1) I want to use this text file in Maple ...
9
votes
1answer
248 views

Category theorists: would you use a software tool for diagramming / chasing?

Here is a video demo of my work so far. It's written in PyQt5 and consists of 30 files so far. I have LaTeX support written already but you don't see that in this demo. Was wondering if you find ...
0
votes
0answers
29 views

Memory in Magma software

I have a question about Magma software. When I am working by Magma software, the message "system error: Out of memory" is received. Is it possible that I increase the needed memory for the software. ...
1
vote
0answers
29 views

Computing with large vectors and matrices

I'm working on a project that requires the use of large data sets; vectors and matrices with millions of entries. Normally I've done my projects (small scale stuff) with Matlab and never had an issue. ...
2
votes
2answers
61 views

Why does this graph of $\frac{\pi^{2n-1}}{\zeta(2n-1)}$ look like this past $x=16$?

As my post history will tell you, I am not particularly good at doing things practically miles above my level. Having said that, I'm using Desmos to look at values of $\frac{\pi^{2n-1}}{\zeta(2n-1)}$ ...
2
votes
0answers
43 views

Software for large polynomials

I have 6th degree polynomial with lots of terms for each degree. I've been trying to expand it and solve it by hand - but it has gotten to the point where it takes at least 1 full page of paper to ...