The tag has no wiki summary.

learn more… | top users | synonyms

28
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 ...
25
votes
0answers
877 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 ...
24
votes
0answers
612 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 ...
22
votes
0answers
442 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 ...
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 ...
17
votes
3answers
4k 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 ...
16
votes
3answers
515 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, ...
13
votes
1answer
230 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 ...
12
votes
3answers
725 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 ...
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 ...
10
votes
0answers
139 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 ...
9
votes
3answers
578 views

What CASes say about the analytic rank of rank 8 elliptic curve '457532830151317a1'

For the rank $8$ elliptic curve with a-invariants $(0, 0, 1, -23737, 960366)$ sage 5.3 reports analytic rank $4$ in about 2.4 hours. Almost sure this a bug, so I am interested what other CAS say on ...
9
votes
2answers
456 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 ...
8
votes
2answers
902 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 ...
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 ...
7
votes
5answers
704 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 ...
7
votes
1answer
252 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. ...
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 ...
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 ...
5
votes
5answers
422 views

Noncommutative computational package

I am wondering if there is a program which can do simple operations over noncommutative rings, like expand products and substitute one expression for another. To clarify, consider the following ...
5
votes
2answers
808 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 ...
5
votes
2answers
519 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 ...
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 ...
4
votes
3answers
427 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. ...
4
votes
2answers
254 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
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 ...
3
votes
2answers
107 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. ...
3
votes
4answers
509 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 ...
3
votes
1answer
264 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. ...
3
votes
2answers
184 views

Force-directed graph drawing in 1D?

I have a real-world graph that I wish to draw in one dimension. Here's the graph: I'd like to draw it using some kind of force-directed graph drawing method. I'm supposing this is both possible ...
3
votes
3answers
486 views

Good Computer Package for Calculating Inverse of a Formal Power Series?

This might be a question people already asked or is obvious to experts, or is not appropriate for this forum, if so, I apologize. I am trying to calculate things like $z/(e^z-1)$, or find the inverse ...
3
votes
1answer
204 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 ...
3
votes
1answer
157 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
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 ...
2
votes
2answers
299 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 ...
2
votes
2answers
340 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
2answers
248 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 ...
2
votes
4answers
920 views

Solving a System of Quadratic Equations

I have many polynomial equations in many variables which I want to jointly minimize (in a mean square sense, but you could pick a different reasonable measure which favors anything where all ...
2
votes
1answer
137 views

Once punctured torus bundles in snappy/twister

I have been trying to learn about snappy's method for encoding once-punctured torus bundles (http://www.math.uic.edu/t3m/SnapPy/manifold.html#snappy.Manifold). As you can see from the link, they are ...
2
votes
1answer
278 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 ...
2
votes
1answer
102 views

elliptic integral with singularities

I need to calculate elliptic integrals with singularities, up to a huge number of digits (250-1000). The problem is that Wolfram Mathematica can't do so many digits, and Pari intnum doesn't handle ...
2
votes
1answer
267 views

Finding zeros of a multi-variable nonlinear trigonometric function

I am trying to calculate analytic solution (or locus) of zeros of a very large multi-variable function which is consisted of thousands of nonlinear trigonometric terms. All the variables are real ...
2
votes
1answer
284 views

Computer algebra system (CAS) with good re-presenting or transformation support

Such heavy-weight transformations as expanding or factoring are provided by most of CAS-es, but what about light-weight, but a useful transformations, like "reorder some terms to make expression more ...
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 : ...
2
votes
0answers
152 views

Reducing a System of Polynomial Equations

I am currently writing a program in SAGE which computes Nilpotent Orbit Varieties for an Algebraic Geometry research project and I have reduced my problem to the following: Consider a system of ...
2
votes
0answers
91 views

Tools for “bound guessing”

I have a somewhat complicated symbolic expression of the form $\frac{J-a+\frac{q}{a}}{J(J-a)+q}$, where $J,a$ and $q$ are themselves affine functions of four other variables $d,r,c,s$, and I want to ...
2
votes
0answers
309 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 ...
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!
1
vote
1answer
203 views

Sage or Magma Implementation of Nilpotent Orbit Varieties

For a given partition $[n_{1},...,n_{k}]$ of $N \in \mathbb{N}$ there exists a corresponding nilpotent orbit variety $O_{[n_{1},...,n_{k}]}$ in $\mathfrak{gl}(N)$ which can be represented by a set of ...
1
vote
1answer
412 views

Software to numerically solve partial differential equation

When we use software to numerically solve differential equation, for example, using finite difference, finite element or finite volume methods, etc., is it possible that people input differential ...