The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
4answers
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
0answers
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
12answers
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
3answers
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
1answer
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 ...