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
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 ...
Sasha's user avatar
  • 1,343
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 ...
Frode Alfson Bjørdal's user avatar
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} ...
WunderNatur's user avatar
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 ...
Max's user avatar
  • 71
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 ...
Leah Wrenn Berman's user avatar
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 ...
user91450's user avatar
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 ...
Douglas S. Stones's user avatar
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: ...
Conjecture's user avatar
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 ...
ε-δ's user avatar
  • 1,785
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,...
Gert's user avatar
  • 273
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 ...
help's user avatar
  • 61
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 ...
dhy's user avatar
  • 5,888
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 ...
fred goodman's user avatar
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$ ...
Hans's user avatar
  • 2,863
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
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 ...
Analysis Now's user avatar
  • 1,451
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 ...
Seth's user avatar
  • 185
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 ...
minimax's user avatar
  • 1,137
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 ...
David Feldman's user avatar
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 ...
Kyle Hayden's user avatar
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. ...
user39115's user avatar
  • 1,785
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)$. ...
Melanie's user avatar
  • 43
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 ...
Jianrong Li's user avatar
  • 6,101
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 ...
Brian Rushton's user avatar
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 ...
EGME's user avatar
  • 1,008
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 ...
darij grinberg's user avatar
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 ...
EGME's user avatar
  • 1,008
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 ...
Kevin Ye's user avatar
  • 367
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 ...
A. Gupta's user avatar
  • 336
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 ...
Hans Sachs's user avatar
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 ...
Basj's user avatar
  • 577
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 ...
Gerald Edgar's user avatar
  • 40.2k
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. ...
user40780's user avatar
  • 867
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 ...
Daniel Moseley's user avatar
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 +...
user25446's user avatar
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
MO B's user avatar
  • 527
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. [...
Rex Butler's user avatar
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 ...
Turbo's user avatar
  • 13.7k
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 ...
Tasos's user avatar
  • 131
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 ...
alhannaki's user avatar
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 ...
integral2's user avatar
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 ...
OMF's user avatar
  • 31
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\...
Binzhou Xia's user avatar
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 ...
Gunnar Þór Magnússon's user avatar
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 ...
Anton Petrunin's user avatar
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 ...
Philip Engel's user avatar
  • 1,493
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$ ...
Giulio's user avatar
  • 2,324
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 ...
Idempotent'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
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 ...
Roman Fedorov's user avatar