Questions tagged [mathematical-software]

Mathematical questions related to mathematical software systems such as Sage, Mathematica, Maple, Pari/GP, and GAP. Note that troubleshooting questions are generally considered off-topic.

Filter by
Sorted by
Tagged with
22 votes
2 answers
1k views

A closed form for an integral expressed as a finite series of $\zeta(2k+1)$, $\pi^m$ and a rational?

In this paper the following beautiful integral expression for $\zeta(3)$ is derived: $$\zeta(3)=\frac{1}{7}\,\int_0^{\pi} x\,(\pi-x)\csc(x)\, dx$$ In a comment at the end of this question, I ...
Agno's user avatar
  • 4,179
25 votes
8 answers
3k views

How do we explain the use of a software on a math paper?

Suppose one has written a math/computer science paper that is more focused in the math part of it. I had a very complicated function and needed to find its maximum, so I used Mathematica (Wolfram) to ...
24 votes
3 answers
2k views

What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...
22 votes
3 answers
1k 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 ...
Daniel Mietchen's user avatar
17 votes
3 answers
1k 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, ...
Daniel Moskovich's user avatar
5 votes
5 answers
3k views

Package for the Closest Vector Problem (CVP)?

Let $A$ be a positive definite, real $n \times n$ matrix. This defines a norm on $\mathbb{R}^n$. Now I have a given point $p \in \mathbb{R}^n$ and I want to find the lattice point $x \in \mathbb{Z}^n$ ...
Hans's user avatar
  • 2,863
95 votes
5 answers
8k views

Is there a database for tracking the dependencies of mathematical theorems?

Given a proof for a result, one could denote the proof as a node on a graph, and then draw arrows to the node from axioms and previous results that the proof uses, and then draw arrows from the node ...
Chill2Macht's user avatar
  • 2,622
36 votes
3 answers
5k views

$\prod_{n=1}^{\infty} n^{\mu(n)}=\frac{1}{4 \pi ^2}$

When I tested this in Mathematica, I had expected it to say it did not converge. However, I got this: $$\prod_{n=1}^\infty n^{\mu(n)}=\frac{1}{4 \pi ^2}$$ Note: this is the reciprocal of (3) zeta-...
Fred Daniel Kline's user avatar
32 votes
4 answers
7k 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 ...
Joris Weimar's user avatar
32 votes
0 answers
2k 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 ...
David E Speyer's user avatar
12 votes
3 answers
886 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 ...
joro's user avatar
  • 24.2k
9 votes
1 answer
672 views

Software for detecting Brauer-Manin obstructions?

In the context of another MO question, the following question arose: Does there exist any software for detecting Brauer–Manin obstructions to the existence of integer solutions to a single polynomial ...
Timothy Chow's user avatar
8 votes
7 answers
2k 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. ...
Hans-Peter Stricker's user avatar
7 votes
1 answer
784 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 ...
Sasha's user avatar
  • 1,343
5 votes
5 answers
1k 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 ...
Pace Nielsen's user avatar
4 votes
1 answer
122 views

Any visualization software for the intrinsic metric of a convex polyhedron?

I'd like to find a visual simulation of what it would be like to 'live' in a polyhedron with the intrinsic, piecewise-Euclidean length metric. Of course, to make it easier to visualize, I'd prefer to ...
Brian Rushton's user avatar
3 votes
0 answers
386 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 ...
2 votes
0 answers
200 views

current status of combinatorial optimization solvers [closed]

What is the current status of the solvers in combinatorial optimization? For example, what is the "usual feasible size" for a traveller sale's man problem, say, how many nodes and edges are "usually ...
user40780's user avatar
  • 867
2 votes
5 answers
3k 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
0 answers
138 views

Properties of pointless projective curves over finite fields?

Probably not research level, feel free to downvote. We got construction of bounded degree projective curves with no points over finite fields. This construction generalizes to higher dimension. One of ...
joro's user avatar
  • 24.2k