The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
4answers
558 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
2answers
5k 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
0answers
654 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
1answer
1k 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
0answers
334 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
1answer
261 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
9answers
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
2answers
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
1answer
242 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
1answer
237 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
0answers
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
3answers
861 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
1answer
264 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
5answers
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
2answers
482 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
1answer
672 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
1answer
268 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
2answers
805 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
296 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
525 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
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 : ...
19
votes
4answers
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 ...
21
votes
0answers
495 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
13answers
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
3answers
434 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 ...
6
votes
3answers
688 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 ...