The mathematical-software tag has no wiki summary.

**1**

vote

**1**answer

109 views

### intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too.
...

**0**

votes

**0**answers

54 views

### Computer software for manipulating loop groups or matrices with polynomial entries

I need to deal with loop groups $LG$ over the complex numbers $\mathbb{C}$, as well as related spaces like the affine Grassmannian and affine flag variety a lot.
In type A, the loop group consists ...

**4**

votes

**1**answer

148 views

### Decomposing representations of finite groups of Lie type via computer

This is related to my previous question here.
Let me remind you what that question asked:
Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for ...

**4**

votes

**0**answers

147 views

### Is the ISC kaput [closed]

The very useful Inverse Symbolic Calculator is showing me this
What's up? multiple choice
(a) No, it's fine at that address: idiot Edgar did something wrong...
(b) It is off-line at that ...

**1**

vote

**0**answers

120 views

### current status of combinatorial optimization solvers [closed]

What is the current status of the solvers in combinatorial optimization? For example, what is the "usual feasible size" for a traveller sale's man problem, say, how many nodes and edges are "usually ...

**5**

votes

**0**answers

97 views

### How many simultaneous polynomial equations of degree 2 can software solve today?

Consider the following problem:
Input: $n$ polynomial equations of degree $2$ in approximately $n$ variables.
Each equation contains about $\sqrt{n}$ monomials.
We would like to find one ...

**8**

votes

**1**answer

266 views

### Software for computing Thurston's unit ball

Is there any software which can be used for computing Thurston's unit ball(for second homology of 3-manifolds) of link complements? In particular can I do that with SnapPy?
PS: even a table for ...

**3**

votes

**1**answer

304 views

### Use a graphic tablet to write in Latex or MathML [closed]

I have a Graphic Tablet and I am looking for a software which have the following features:
Math equation recognition I want to write and solve math equations in Graphic Tablet and auto recognized to ...

**1**

vote

**0**answers

152 views

### Method used in fmincon() of Matlab? [closed]

We are using the Matlab optimization toolbox function fmincon() to solve a constrained minimization with only equality constraints. We wish to find out which particular constrained optimization method ...

**2**

votes

**2**answers

132 views

### Software producing complex trees

Does anyone know any kind of graph software that could produce graphs like this for publication? Those links and crosses and numbers actually needs to be presented…. Thank you:)
One small update, ...

**7**

votes

**2**answers

872 views

### Why are there so few zero-dimensional polynomial system solvers and is this because there is no real market for them?

My questions involve the quotes below from wikipedia regarding solving polynomial systems, which given the size of the market for Big Data & Predictive Analysis applications I find puzzling:
...

**4**

votes

**1**answer

368 views

### Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...

**2**

votes

**0**answers

69 views

### Choice of MIP (mixed integer programming) solver

I would start using MIP solver for the research on the tiling.
I know (heard of) the open source solver jump:
https://github.com/JuliaOpt/JuMP.jl
and also the gold standard solver from IBM cplex.
...

**5**

votes

**1**answer

484 views

### Program for calculating cohomology

Does it exist a computer program which calculates the cohomology of projective algebraic varieties ? For example, smooth surface in $\mathbb{P}^3$? like $\sum_0^3 X_i^3=0$

**5**

votes

**0**answers

122 views

### Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...

**13**

votes

**1**answer

292 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 ...

**-1**

votes

**1**answer

175 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

177 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

165 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

79 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 ...

**2**

votes

**0**answers

302 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 ...

**2**

votes

**1**answer

145 views

### Looking for software that computes intersection numbers (Heegaard Diagrams)

As a part of my research I am working with intersection matrices of Heegaard diagrams. Is there some software that could help me compute such matrices for some examples?
Thanks.

**15**

votes

**3**answers

596 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

79 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

130 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

769 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

127 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 ...

**3**

votes

**4**answers

1k 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

226 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

330 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

353 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

185 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

119 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

224 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

497 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 ...

**24**

votes

**3**answers

3k views

### $\prod_{n=1}^{\infty} n^{\mu(n)}=\frac{1}{4 \pi ^2}$

When I tested this in Mathematica, I had expected it to say it did not converge. However, I got this:
$$\prod_{n=1}^\infty n^{\mu(n)}=\frac{1}{4 \pi ^2}$$
Note: this is the reciprocal of (3) ...

**2**

votes

**1**answer

153 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 ...

**5**

votes

**3**answers

292 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

504 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 ...

**8**

votes

**5**answers

760 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

604 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

547 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

576 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

298 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 ...

**11**

votes

**3**answers

826 views

### Computer-aided homology computations

Background
I am currently working on the homology of some moduli space and there exists a much simpler chain complex with the same homology.
It is a quotient of a bisimplicial complex by a ...

**3**

votes

**2**answers

334 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

172 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

351 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

269 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 ...