The mathematical-software tag has no usage guidance.

**-4**

votes

**0**answers

28 views

### Curve with Matlab [on hold]

I have posted this question:
http://math.stackexchange.com/questions/1547373/curve-with-matlab
but I have not answers. Can you help me?

**0**

votes

**1**answer

151 views

### How to solve this system of equations? [closed]

I am trying to find a Poisson bracket on an algebra, and need to find a solution to a system of equations. The system of equations is very complicated, with more than 10000 equations and 60 variables.
...

**1**

vote

**0**answers

93 views

### Programmatically computing dual Hopf algebras: state of the art

Given a graded Hopf algebra of finite type, we know the (graded) linear dual is also a graded Hopf algebra. For instance the dual Hopf algebra to the polynomial algebra on an even degree generator, ...

**2**

votes

**0**answers

80 views

### Finding generators of symmetric cones

I have a bunch of vectors $\mathbf v_i$ in $\mathbb R^n$. I would like to consider the cone $C$ spanned by these vectors, together with all the other vectors that can be obtained by permuting the ...

**96**

votes

**17**answers

23k views

### Mathematical software wish list

Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...

**5**

votes

**5**answers

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

**0**

votes

**1**answer

179 views

### A three variable linear diophantine promise problem

Given $a,b,c,s\in\Bbb N$ such that $(a,b,c)=1$ with promise that we have at most one triple $x,y,z\in\Bbb N$ such that $ax+by+cz=s$, what is a good algorithm that runs in $O(\log(abcs))$ time to find ...

**1**

vote

**0**answers

100 views

### How to check with a CAS if a surface is of general type?

The main question is:
How to check with a CAS if a surface is of general type?
Magma's function KodairaEnriquesType is close to this,
but doesn't always work.
...

**3**

votes

**1**answer

137 views

### Faithful linear representation of a nilpotent Lie algebra

Let
\begin{align}
\mathfrak{g} = Span_{\mathbb{C}}\{ e_1, e_2, e_3, e_4, e_5: \text{ non-zero brackets are } [e_1, e_i]=e_{i+1}, i=2,3,4, [e_2, e_3]=e_5 \}
\end{align}
be a $5$-dimensional Lie ...

**22**

votes

**3**answers

846 views

### What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...

**1**

vote

**2**answers

181 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

**2**answers

285 views

### Suggestions for dealing with the “timed” balls-into-bins model

Definitions: Let $T$ (for "time") be a random variable $T \sim \text{Exp}(\lambda)$ and $\Delta t$ is a realization (or called an observed value) of $T$. Let $D$ (for "delay") be a random variable $D ...

**14**

votes

**2**answers

448 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

### Samuel multiplicity

Let $X$ be the hyper-surface defined by
$$f:=\sum_{i=1}^k x_i^n=0$$
in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal
$$I=(x_1^{n-1},\dots , x_k^{n-1}) $$
What is ...

**1**

vote

**0**answers

129 views

### Intersection Multiplicity

Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...

**24**

votes

**4**answers

4k views

### Computational software in Algebraic Topology?

I was wondering if there is any good software out there that allows you to do specific computations in algebraic topology. For example:
Create a simplicial complex/set and ask questions about its ...

**0**

votes

**0**answers

29 views

### Column Subset Selection implementations

Are there readily available implementations of algorithms for the CSSP - Column Subset Selection Problem?

**2**

votes

**1**answer

206 views

### finiteness dimension

$R$ is a local Noetherian ring. $f_I(M)$, the finiteness dimension of a module $M$ relative to $I$, is defined in ...

**31**

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

**1**

vote

**1**answer

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

**4**

votes

**0**answers

122 views

### Papers/Programs for computing periodic KL polynomials?

Periodic Kazhdan-Lusztig polynomials (for an affine Weyl group) are polynomials that control Jordan-Holder multiplicities for certain representations ("baby Verma modules") of an algebraic group in ...

**0**

votes

**0**answers

68 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

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

**5**

votes

**3**answers

299 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

**0**answers

159 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

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

**6**

votes

**3**answers

762 views

### Looking for cubic, bipartite graphs with girth at least six and no cycles of length 8.

Aside from the Desargues graph, are there nice (at least vertex-transitive), small (say, less than 60 vertices), cubic, bipartite graphs with girth at least 6 and no 8-cycles? (or, even better, no ...

**5**

votes

**0**answers

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

**4**

votes

**1**answer

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

**8**

votes

**1**answer

287 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

721 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

359 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

135 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

942 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:
...

**2**

votes

**1**answer

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

**11**

votes

**13**answers

3k views

### Basic software libraries for numerical analysis using modern programming languages?

I'm looking for a software library with a scope similar to "numerical recipes", but implemented in a modern programming language. "Modern" in this context means to me: object oriented (not C or ...

**3**

votes

**0**answers

83 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

539 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

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

**11**

votes

**3**answers

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

**-1**

votes

**1**answer

194 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,
...

**3**

votes

**2**answers

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

**11**

votes

**0**answers

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

**2**

votes

**0**answers

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

**9**

votes

**5**answers

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

**12**

votes

**3**answers

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

**5**

votes

**2**answers

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

**15**

votes

**3**answers

676 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, ...

**2**

votes

**1**answer

194 views

### Parsing of Stochastic Contex-Free Grammars (SCFGs)

I am interested in parsing of general SCFGs.
I am aware of the Earley parser for the general CFGs. The only general algorithm for parsing SCFGs that I am aware of is the Earley-Stolcke parser : ...

**1**

vote

**1**answer

91 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).
...