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.
169
questions
7
votes
1
answer
786
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 ...
7
votes
1
answer
303
views
Is a computer program for correspondence theory available?
In the 1990s I some times used a computer program with the Max Planck Institute which helped with calculating complicated correspondences for modal logical formulas. Is some program like that ...
7
votes
0
answers
119
views
Softwares to determine semi-simple types of Lie algebras generated over $\mathbb{R}$ or $\mathbb{C}$ by a set of matrices
I wish to determine the type of a Lie algebra generated over $\mathbb{R}$ or $\mathbb{C}$ by a set of square matrices with irrational elements. For example,
\begin{align}
n^+ =
\begin{pmatrix}
...
7
votes
0
answers
250
views
How many simultaneous polynomial equations of degree 2 can software solve today?
Consider the following problem:
Input: $n$ polynomial equations of degree $2$ in approximately $n$ variables.
Each equation contains about $\sqrt{n}$ monomials.
We would like to find one simultaneous ...
6
votes
3
answers
1k
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 ...
6
votes
2
answers
3k
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 ...
6
votes
2
answers
730
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 and ...
6
votes
1
answer
321
views
Get the commands history from GAP system
I am not sure whether this was asked before, but I didn't find a reference in GAP system documentation on how to print the history of the command line (Ubuntu installation).
For instance:
...
6
votes
3
answers
342
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 ...
6
votes
1
answer
232
views
Software for working with fusion categories
One way to describe fusion categories is via a fusion system: several lists of numbers that define the fusion ring, associator, braiding (if it exists), etc. Often, these sets of numbers are quite big,...
6
votes
0
answers
291
views
Best software to do big number calculations quickly [closed]
I am trying to do some work on some math conjecture. I am testing the conjecture numbers using very large math numbers (100+ digits ). I am currently using python to test these numbers.
In the ...
6
votes
0
answers
265
views
Papers/Programs for computing periodic KL polynomials?
Periodic Kazhdan-Lusztig polynomials (for an affine Weyl group) are polynomials that control Jordan-Holder multiplicities for certain representations ("baby Verma modules") of an algebraic group in ...
6
votes
0
answers
196
views
Software for BMW algebra calculations?
Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...
5
votes
5
answers
4k
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$ ...
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 ...
5
votes
4
answers
1k
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 ...
5
votes
1
answer
289
views
Instructions for using Coxeter 3.0 software
I am trying to use Coxeter 3.0 (http://www.liegroups.org/coxeter/coxeter3/english/coxeter3_e.html) to perform some computations for affine Weyl groups. I managed to install the program and get it ...
5
votes
3
answers
1k
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 ...
5
votes
2
answers
481
views
Computer platforms for combinatorial search problems/mathematical music theory?
I'm finding programming various combinatorial searches
(connected to mathematical music theory) in a general purpose computer
language tedious, so I'd like pointers to computer platforms/environment ...
5
votes
1
answer
204
views
Asking SnapPy for core curves after surgery
Suppose I give SnapPy a cusped hyperbolic 3-manifold (using, say, the link editor) and specify some filling. SnapPy can then provide a presentation of the fundamental group of the filled manifold. Can ...
4
votes
2
answers
884
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. ...
4
votes
1
answer
194
views
Decomposing representations of finite groups of Lie type via computer
This is related to my previous question here.
Let me remind you what that question asked:
Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for $\text{SL}_n(\mathbb{F}_q)$.
...
4
votes
1
answer
421
views
Faithful linear representation of a nilpotent Lie algebra
Let
\begin{align}
\mathfrak{g} = Span_{\mathbb{C}}\{ e_1, e_2, e_3, e_4, e_5: \text{ non-zero brackets are } [e_1, e_i]=e_{i+1}, i=2,3,4, [e_2, e_3]=e_5 \}
\end{align}
be a $5$-dimensional Lie ...
4
votes
1
answer
123
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 ...
4
votes
1
answer
217
views
About colossally abundant numbers - reference request
This post contains three related questions:
In the OEIS sequence 073751 ( https://oeis.org/A073751/ ) there is a short Mathematica program that is said to produce the prime factors of successive ...
4
votes
1
answer
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 ...
4
votes
1
answer
191
views
Most adequate software for proof checking graph theory proofs
What might be the best software for checking the validity of proofs of graph theoretical statements? Lean, HOL, ... ? One criterion would also be, what would be the easiest for a graph theorist to ...
4
votes
1
answer
1k
views
Mathematica package for supergravity and string theory
I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...
4
votes
0
answers
222
views
Referring to computer software in a paper
I'm performing a calculation of the Smith normal form of an integral matrix based on the SageMath worksheet. Is it sufficient in the paper to say something like ``Using a software package like ...
4
votes
0
answers
129
views
program to compute hurwitz numbers
Is there a computer program available to compute Hurwitz numbers easily? In fact I only care about counting covers $C\to\mathbb{P}^1$ branched over $0,1,\infty$, and am even willing to restrict to the ...
4
votes
0
answers
180
views
Math software / language for analytic / multiplicative number theory
What software/languages are the most used to do computations in analytic / multiplicative number theory?
I use Python, Maple, etc., but each time I want to compute expressions like, for $n$ with an ...
4
votes
0
answers
192
views
Is the ISC kaput [closed]
The very useful Inverse Symbolic Calculator is showing me this
What's up? multiple choice
(a) No, it's fine at that address: idiot Edgar did something wrong...
(b) It is off-line at that ...
4
votes
0
answers
132
views
Choice of MIP (mixed integer programming) solver
I would start using MIP solver for the research on the tiling.
I know (heard of) the open source solver jump:
https://github.com/JuliaOpt/JuMP.jl
and also the gold standard solver from IBM cplex.
...
3
votes
2
answers
2k
views
Computer program to solve a system of polynomial equations over a finite field
I have a set of polynomial equations for which I want to know the solutions (actually really the number of solutions). It would be great if I could get a computer to do it, but I'm not sure exactly ...
3
votes
2
answers
949
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 +...
3
votes
1
answer
238
views
Computation of Hall basis
I am looking for a program that for a given word in a free Lie algebra calculate the coefficients of the word with respect to the Hall basis. Can you suggest me a program?
Thanks
3
votes
1
answer
344
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
1
answer
875
views
Coppersmith bivariate polynomial roots implementation
Given $f(x,y)\in\mathbb Z[x,y]$ Coppersmith in https://link.springer.com/chapter/10.1007%2F3-540-68339-9_16 provides a provable method to find integer roots in polynomial time and this method was also ...
3
votes
1
answer
2k
views
Use a graphic tablet to write in Latex or MathML [closed]
I have a Graphic Tablet and I am looking for a software which have the following features:
Math equation recognition I want to write and solve math equations in Graphic Tablet and auto recognized to ...
3
votes
2
answers
310
views
Program to solve Optimization Problem
I have an optimization problem, this problem has linear constraints and nonlinear constraints. I solved the linear part by MATLAB but the nonlinear constraints I could not solve it. I downloaded ...
3
votes
1
answer
281
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 ...
3
votes
1
answer
637
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 ...
3
votes
1
answer
263
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?
$-\pi\...
3
votes
1
answer
459
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
0
answers
124
views
Geometric construction exercises
Many of you know dynamic geometry exercises in Euclidea; if not, here is one example.
It lets you do a geometric construction and sends a message once you achieve the result.
I am looking for a way to ...
3
votes
0
answers
169
views
(Implemented) algorithm for Hodge numbers
Let $X$ be a smooth projective toric variety. Do any of the math computer algebra systems have an algorithm implemented to compute the Hodge numbers of a generic complete intersection in $X$? Say in ...
3
votes
0
answers
362
views
Intersection Multiplicity
Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...
3
votes
0
answers
3k
views
Mathematica package for Lie algebra computations?
I am interested in performing Lie algebra computations in Mathematica. I did a bit of searching and found several packages (LieART, KILLING, SuperLie, maybe more), and wondered if anyone would ...
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
3
answers
657
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 ...