The mathematical-software tag has no wiki summary.

**11**

votes

**3**answers

870 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

357 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

176 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

353 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

277 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

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

578 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

**2**answers

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

**26**

votes

**0**answers

682 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

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

**3**

votes

**0**answers

341 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

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

**29**

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

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

248 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

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

**24**

votes

**0**answers

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

919 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

283 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

488 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

727 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

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

**5**

votes

**2**answers

851 views

### P-adic Arithmetic Software

I would like to automate a huge amount of computation that involve basic arithmetic operations with $p$-adic numbers. I have found a Mathematica packages for it, but it is old and acts quite ...

**10**

votes

**2**answers

2k views

### Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug? [closed]

Technically, it is possible to prove anything in Coq proof assistant [1] (on at least Linux) due to a programming feature (or bug). This seems tractable when validating large proofs. Human analysis ...

**2**

votes

**1**answer

299 views

### Legendre Function “Types”

Legendre functions can be of first and second kinds; $P$, $Q$.
They can have order $\mu$ and degree $\nu$; $P^\mu_\nu$ $Q^\mu_\nu$
But do they also have Types? Some of the numerical software I am ...

**7**

votes

**1**answer

534 views

### Non-algebraic curve visualisation

Is there any software which can automatically visualise a non-algebraic
complex curve, I mean the structure of it's ramification points and sheet?
I think a good test example would be the Lambert ...

**2**

votes

**1**answer

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

**23**

votes

**4**answers

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

**22**

votes

**0**answers

518 views

### Software for rational homotopy theory

Does anybody know a software manipulating commutative differential graded algebras, and providing a computation of the minimal model? I tried to use the package DGAlgebras of Macaulay2, but I got ...

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

**2**

votes

**3**answers

438 views

### Green polynomials

Hello,
Is there any software for calculating Green polynomials (of type A)? Or, at least, where can I find tables of Green polynomials? Also, I would be interested in some formulas for Green ...

**4**

votes

**1**answer

2k views

### Create djvu from jpeg - best practices and tutorial? [closed]

This is definitely not a mathematical question, but a relevant one I believe. There are incomplete versions of some books floating around the web and I want to put in the missing pages. There is a ...

**6**

votes

**3**answers

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