The mathematical-software tag has no wiki summary.

**13**

votes

**1**answer

231 views

### Which tools can identify scholarly papers that use the same types of equations?

Many types of equations are being used in multiple contexts, so a search for specific formulas might be one way to identify scholarly papers that are conceptually related.
Is any website or tool ...

**0**

votes

**1**answer

114 views

### Good software for solving a system of algebraic equations [closed]

I need to solve the following system of equations. solve([
a*c*e=a2*c2*e2,
b*d*f=t*b2*d2*f2,
t*a1*c1*e1=a3*c3*e3,
b1*d1*f1=b3*d3*f3,
a*b*a1*b1=a2*b2*a3*b3,
c*d*c1*d1=c2*d2*c3*d3,
...

**10**

votes

**0**answers

140 views

### real algebraic geometry software?

Does anyone have suggestions/experience for any software packages to study real algebraic varieties (for example, counting connected components of hypersurfaces, figuring out the topological type of ...

**3**

votes

**2**answers

107 views

### Markov Partitions for toral automorphisms

I know that my question is more practical than theoretical. But, I do know where to look for the theoretical sources.
I want to find a program in the case that it exists (does it?), or to program it. ...

**0**

votes

**1**answer

51 views

### Software for noncommutative Groebner bases over rational function fields

I am wondering whether there is any software package that can compute Groebner bases for noncommutative algebras defined over the field of rational functions $\mathbb{Q}(q)$.
I have tried the GAP ...

**1**

vote

**0**answers

136 views

### Mathematica package for Lie algebra computations?

I am interested in performing Lie algebra computations in Mathematica. I did a bit of searching and found several packages (LieART, KILLING, SuperLie, maybe more), and wondered if anyone would ...

**16**

votes

**3**answers

515 views

### What is the state of the art for algorithmic knot simplification?

Question: Given a `hard' diagram of a knot, with over a hundred crossings, what is the best algorithm and software tool to simplify it? Will it also simplify virtual knot diagrams, tangle diagrams, ...

**1**

vote

**1**answer

72 views

### Softwares to draw euclidean polyhedral surfaces

Let $S$ be an abstract euclidean polyhedral surface. By this, I mean a orientable compact 2D topological surface obtained by gluing together some (convex) euclidean polygons (arbitrary genus).
...

**2**

votes

**1**answer

102 views

### elliptic integral with singularities

I need to calculate elliptic integrals with singularities, up to a huge number of digits (250-1000). The problem is that Wolfram Mathematica can't do so many digits, and Pari intnum doesn't handle ...

**5**

votes

**2**answers

520 views

### Integral with Dirac delta (me or wolfram mathematica?) [closed]

I asked the question on math.stackexchange but didn't get an answer so I came here.
I tried to compute with Wolfram Mathematica the following integral
$$I=\int_0^\pi\int_{-\infty}^\infty x e^{-\mathrm ...

**1**

vote

**1**answer

113 views

### Generating k-partite graphs

Does there exist an efficient algorithm for generating all non-isomorphic k-partite graphs up to a certain order $n$? I've read through the nauty tutorial, but it doesn't look like anything beyond ...

**2**

votes

**4**answers

921 views

### Solving a System of Quadratic Equations

I have many polynomial equations in many variables which I want to jointly minimize (in a mean square sense, but you could pick a different reasonable measure which favors anything where all ...

**3**

votes

**2**answers

184 views

### Force-directed graph drawing in 1D?

I have a real-world graph that I wish to draw in one dimension. Here's the graph:
I'd like to draw it using some kind of force-directed graph drawing method. I'm supposing this is both possible ...

**2**

votes

**1**answer

267 views

### Finding zeros of a multi-variable nonlinear trigonometric function

I am trying to calculate analytic solution (or locus) of zeros of a very large multi-variable function which is consisted of thousands of nonlinear trigonometric terms. All the variables are real ...

**0**

votes

**3**answers

322 views

### System of quadratic equations with 18 unknown

So I want to solve for a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r which satisfy the following system of equations: ( I only need positive integer (or 0) solution)
a g + c h + b i + g j + i ...

**2**

votes

**0**answers

152 views

### Reducing a System of Polynomial Equations

I am currently writing a program in SAGE which computes Nilpotent Orbit Varieties for an Algebraic Geometry research project and I have reduced my problem to the following:
Consider a system of ...

**0**

votes

**0**answers

112 views

### Series expansion with remaining $log n$

Hi,
I'm studying the asymptotic behavior $(n \rightarrow \infty)$ of the following formula, where $k$ is a given constant.
$$ \frac{1}{n^{k(k+1)/(2n)}(2kn−k(1+k) \ln n)^2}$$
I'm trying to do a ...

**1**

vote

**1**answer

203 views

### Sage or Magma Implementation of Nilpotent Orbit Varieties

For a given partition $[n_{1},...,n_{k}]$ of $N \in \mathbb{N}$ there exists a corresponding nilpotent orbit variety $O_{[n_{1},...,n_{k}]}$ in $\mathfrak{gl}(N)$ which can be represented by a set of ...

**1**

vote

**1**answer

412 views

### Software to numerically solve partial differential equation

When we use software to numerically solve differential equation, for example, using finite difference, finite element or finite volume methods, etc., is it possible that people input differential ...

**2**

votes

**1**answer

137 views

### Once punctured torus bundles in snappy/twister

I have been trying to learn about snappy's method for encoding once-punctured torus bundles (http://www.math.uic.edu/t3m/SnapPy/manifold.html#snappy.Manifold). As you can see from the link, they are ...

**4**

votes

**2**answers

254 views

### Visualizing a graph

I have a finite but huge metric graph with say 1000 vertices.
It comes say as 10000x10000 symmetric matrix filled by $0,1,\dots$ and $\infty$;
0's on the diagonal and $\infty$ is for pairs of vertices ...

**4**

votes

**3**answers

427 views

### Visualizing polyhedra from their 1-skeletons

Except for a few simple cases (typically pyramids and prisms) I find it hard to visualize a polyhedron from its 1-skeleton embedded in the plane, e.g. the hexahedral graph 5, as can be seen here.
...

**2**

votes

**0**answers

91 views

### Tools for “bound guessing”

I have a somewhat complicated symbolic expression of the form $\frac{J-a+\frac{q}{a}}{J(J-a)+q}$, where $J,a$ and $q$ are themselves affine functions of four other variables $d,r,c,s$, and I want to ...

**7**

votes

**5**answers

704 views

### $\int^{\infty}_{0}x^{r +s- 1}(1 + x)^{-s}(1 + x^2)^{-\frac{rm}{2}}dx$

I'm trying to solve the integral
$\int^{\infty}_{0}x^{r +s- 1}(1 + x)^{-s}(1 + x^2)^{-\frac{rm}{2}}dx$,
where $s$, $r$ and $m$>1 are positive integers.
My question is whether a closed form ...

**9**

votes

**3**answers

578 views

### What CASes say about the analytic rank of rank 8 elliptic curve '457532830151317a1'

For the rank $8$ elliptic curve with a-invariants $(0, 0, 1, -23737, 960366)$
sage 5.3 reports analytic rank $4$ in about 2.4 hours.
Almost sure this a bug, so I am interested what other CAS say on ...

**3**

votes

**3**answers

488 views

### Good Computer Package for Calculating Inverse of a Formal Power Series?

This might be a question people already asked or is obvious to experts, or is not appropriate for this forum, if so, I apologize. I am trying to calculate things like $z/(e^z-1)$, or find the inverse ...

**5**

votes

**5**answers

423 views

### Noncommutative computational package

I am wondering if there is a program which can do simple operations over noncommutative rings, like expand products and substitute one expression for another.
To clarify, consider the following ...

**2**

votes

**1**answer

285 views

### Computer algebra system (CAS) with good re-presenting or transformation support

Such heavy-weight transformations as expanding or factoring are provided by most of CAS-es, but what about light-weight, but a useful transformations, like "reorder some terms to make expression more ...

**2**

votes

**2**answers

299 views

### Is there a software to prove or deduce symbolic inequalities?

I have a bunch of inequalities, and I'm trying to see if another inequality can be deduced from the first bunch. For example, assuming that $a \leq b$ and $c \leq d$, we can deduce that $a + c \leq b ...

**3**

votes

**1**answer

157 views

### software for numerical constraint satisfaction problems

Let $m$ be an even integer greater than $8$. Is there any software I can use to determine for some small $m$ whether the following constraints on $t_0,\ldots,t_{m-1}$ and $w$ have solutions?
...

**2**

votes

**2**answers

340 views

### Software to decide equality between expressions involving powers and trigonometry

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A = B? (Previous question asked A > B, but the bottleneck is ...

**2**

votes

**2**answers

248 views

### Software for drawing intervals in Weyl groups

I am looking for an automated way to draw diagrams of intervals in Weyl groups and in their various subsets such as minimal representatives of cosets $W/W_p$ for a parabolic Weyl group $W_p$ or ...

**5**

votes

**2**answers

810 views

### What is / are the softwares to use to draw surfaces of the form of a two or three-holed torus , or torus, or torus with cusps attached to it?

I am trying to draw surfaces with complete hyperbolic structures and surfaces which are topologically tori. The hyperbolic surfaces I need to draw are torus with one or two holes on it, or torus with ...

**3**

votes

**4**answers

509 views

### Softwares for drawing hyperbolic surfaces , closed, with boundaries or with punctures ?

In a paper I am in the process of writing in LaTeX, I need to draw and incorporate some diagrams of hyperbolic surfaces in my LaTeX document. Is there any software I can use to draw hyperbolic ...

**17**

votes

**3**answers

4k views

### OCR for handwritten mathematics

I am in the process of scanning a large collection of handwritten notes. They consist of diagrams and formulae with a relatively small proportion of actual words. Of course it would be hopeless to ...

**24**

votes

**0**answers

612 views

### Computer calculations in A_infinity categories?

Is there a good computer program for doing calculations in A-infinity categories?
Explicit calculations in A-infinity categories are an important, useful, yet very tedious task. One has to keep ...

**8**

votes

**1**answer

1k views

### Software for symbolic matrix calculus?

Is it possible to get widely available math software (Maple/Matlab/Mathematica, etc) to symbolically differentiate vector and scalar functions of matrices, returning the result in terms of the ...

**2**

votes

**0**answers

310 views

### Software for Combinatorial Algebra sought

I am looking for software which helps me do straightforward tasks in combinatorial algebra. Let me give an example of what I mean by a straightforward task:
I have two graded (generally ...

**7**

votes

**1**answer

252 views

### Software package to manipulate representations

Hi,
I am looking for a software package that will allow me to experiment with the irreducible representations of lie groups (for example, $SL(2,p)$) over the complex field and over finite fields. ...

**28**

votes

**9**answers

4k views

### Non-computational software useful to mathematicians

The MathOverflow question Open source mathematical software contains a list of programs that are useful to perform various computational tasks, such as computer algebra systems.
However, evaluating ...

**8**

votes

**2**answers

904 views

### Graph of dependencies from a Latex file [closed]

This question has been "manually migrated" to TeX-SX: http://tex.stackexchange.com/q/40200/86
Apologies if the question is not very appropiate for Mathoverflow. It seems to me more appropiate here ...

**1**

vote

**1**answer

231 views

### Mathematical software for Chern-Weil theory

I need to compute curvature forms and Chern-Weil forms for a given metric (in local coordinates) on a vector bundle. Is there are software package that does this? If I manage to compute the ...

**3**

votes

**1**answer

204 views

### Software for calculating products and sums of Kronecker deltas

I am looking at a Kahler metric $g$ on a certain manifold $M$, which has the good taste to be invariant under a transitive group of isometries, and I want to say something about its holomorphic ...

**25**

votes

**0**answers

877 views

### Is there software to compute the cohomology of an affine variety?

I have some affine varieties whose cohomology (topological, with $\mathbb{C}$ coefficients) I would like to know. They are very nice, they are all of the form $\mathbb{A}^n \setminus \{ f=0 \}$ for ...

**12**

votes

**3**answers

726 views

### Software for Computing Baker-Campbell-Hausdorff

Does anyone have a recommendation for software which can efficiently calculate the Baker-Campbell-Hausdorff series in classical Lie algebras?
Right now, I have a problem which boils down to ...

**1**

vote

**1**answer

226 views

### Visualizing results of Gay-Berne model?

After I have done with some Monte Carlo simulation of Gay-Berne model, I want to visualize how the N molecules look like in the domain. Here the N molecules all have the same ellipsoidal shape. The ...

**1**

vote

**5**answers

1k views

### Software for drawing diagrams [closed]

Dear All,
Can someone recommend a simple graphics-based software to create figures for a latex document?
Thanks!

**9**

votes

**2**answers

456 views

### Software for Borel-Weil-Bott in positive characteristic?

I am interested in calculating cohomology of line bundles on flag varieties $G/B$ in positive characteristic. But I really just have a bunch of scattered examples. Does there exist some kind of ...

**-1**

votes

**1**answer

592 views

### Fourier transform in Mathematica [closed]

R and Mathematica software differ when computing fft(c(1,1)) and Fourier[{1,1}],
2+0i 0+0i
and
{1.41421+ 0i, 0} respectively. ...

**3**

votes

**1**answer

264 views

### Formal verification of simple equational proofs (as in Universal Algebra…)?

Is there an software package aimed at verfication of simple equational proofs?
I am hoping to avoid the usual overhead involved with First Order Logic or Higher Order Logic verification systems.
...