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.
20
questions
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 ...
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 ...
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, ...
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$ ...
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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.
...
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 ...
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 ...
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 ...
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 ...
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 ...