The mathematical-software tag has no wiki summary.

**5**

votes

**2**answers

724 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

279 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

503 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

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

**17**

votes

**4**answers

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

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

**6**

votes

**12**answers

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

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