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
5 votes
1 answer
146 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
  • 253
0 votes
0 answers
102 views

Non-isomorphic cubic fields with a given discriminant

For a cubic field $K$ with defining polynomial $P(x)=x^3 + \frac{39}{25}x^2 + \frac{22}{25}x +\frac{4}{25}$ Magma calculates the discriminant $D=-3340$. ...
Maksym Voznyy's user avatar
0 votes
0 answers
97 views

Software for Intersection of Ideals in Noncommutative Polynomial algebra

I am looking for software which can compute an intersection of ideals (in particular right ideals) in a noncommutative polynomial algebra and then find its Gröbner Basis. Most software somehow does ...
Mukilraj K's user avatar
2 votes
0 answers
71 views

Gröbner implicitization with relationships between the variables

I have the following parametric equations, where cost$=\cos t$, cos2t$=\cos 2t$, and $A^2+B^2=1$: ...
Stéphane Laurent's user avatar
0 votes
2 answers
252 views

Simplification of hypergeometric Function

First of all I am not at all a math expert, but I have some working knowledge. That said, please excuse "dumb" questions. I am looking at the following process: Assume you are on the 2-...
WaveL's user avatar
  • 9
2 votes
1 answer
276 views

Does there exist a Python package that samples random special unitary matrices such that the matrices are parameterized

For reference, the linked paper is Composite parameterization and Haar measure for all unitary and special unitary groups by Christoph Spengler, Marcus Huber and Beatrix C. Hiesmayr (J. Math. Phys. 53,...
Silly Goose's user avatar
10 votes
1 answer
589 views

Is there a program implementation for generating all non-isomorphic graphs with a given degree sequence?

I know the following problem is famous: For a given degree sequence $L$ that is graphic, find an (efficient) algorithm to generate all of the nonisomorphic realizations of $L$. This algorithm is ...
L.C. Zhang's user avatar
  • 1,593
1 vote
0 answers
222 views

Are there any alternatives to LaTeX that feel more like HTML? [closed]

so I’ll preface this with I’m pretty familiar with HTML and enjoy using it quite a bit. I’m looking for a way to write maths and essays with a language similar to HTML if that’s even possible.
Jayden Maryott's user avatar
9 votes
1 answer
2k views

Is there a reasonable "text-to-speech" solution for math papers?

Is there a software which can read loudly an arXiv paper for me with a decent quality? I googled a little bit. And there are some research/software for reading texts with formulas. So the question is: ...
Vladimir Zolotov's user avatar
0 votes
1 answer
114 views

Software to compute generators of a module over polynomial ring

Let $A=\mathbb{R}[x_1,\dots,x_n]$ be the algebra of real polynomials in $n$ variables. Fix polynomials $p_1,\dots,p_k\in A$. Consider the subset $$M:=\{(q_1,\dots,q_k)\in A^k|\, p_1q_1+\dots+p_kq_k=0\}...
asv's user avatar
  • 20.9k
1 vote
1 answer
187 views

Software tools to find square root modulo $2^t$

Are there any software tools to find modular square roots of $y$ in $$x^2\equiv y\bmod p^t$$ where $p$ is a prime $\geq2$? Are there any special techniques which can speed up at $p=2$?
Turbo's user avatar
  • 13.6k
2 votes
3 answers
511 views

Useful software for variable elimination

I have three non-homogeneous trivariate polynomials in $\mathbb Z[x,y,z]$ and I want to eliminate the variables $y$ and $z$ to get a polynomial in $x$. The monomials of the polynomials are $\{1,x^4,x^...
Turbo's user avatar
  • 13.6k
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
15 votes
4 answers
4k views

How do you generate math figures for academic papers?

Good day! I am looking for any tool that would allow me to generate a figure similar to the figures embedded in the paper by King et al. (2020) titled "Trigonometry: a brief conversation." ...
Aidre Cabrera's user avatar
3 votes
0 answers
123 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
2 votes
1 answer
339 views

Software to prove statements in the way of natural deduction (tabular form introduced by Lemmon)

I'm searching for some software or open source project which is able to prove propositions of predicate logic of first order in the way of natural deduction introduced for example in the book of ...
Martin Kunze's user avatar
2 votes
0 answers
148 views

Ultra math search engine [duplicate]

Does anyone know searching engine for arxiv.org math formulas? Like https://www.searchonmath.com and https://approach0.xyz/search/ In my opinion, we should have a search engine that can find formulas ...
Daniel Kang's user avatar
7 votes
0 answers
118 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
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
  • 77.9k
10 votes
6 answers
1k views

Homology software

What software is there to efficiently compute homology? Specifically: What software can take a simplicial complex (provided by a file listing maximal simplices, for example) and quickly compute its ...
1 vote
0 answers
137 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
6 votes
1 answer
314 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
4 votes
0 answers
219 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
1 vote
0 answers
176 views

Using Bertini software to determine whether or not a variety is empty

I have a system of polynomials $f_1,\dots, f_n \in \mathbb{C}[x_1,\dots, x_m]$, and I would like to determine whether the set of solutions to the system $f_1(x)=\dots=f_n(x)=0$ is empty or not. Since ...
Ben's user avatar
  • 1,010
19 votes
1 answer
644 views

How can we be sure that results that rely heavily on extensive computations are correct?

Recently a ''bug'' was discovered in one of the most popular mathematics software, Wolfram Mathematica (see links here and here). It concerns the evaluation of the sum $$ \sum_{k=1}^{n-1} \frac{(-1)^{...
15 votes
3 answers
2k views

PDF readers for presenting Math online

In the current situation it seems especially important to be able to present your mathematical results online in a way that your audience does not fall asleep in front of their screens. But I am ...
3 votes
1 answer
851 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.6k
0 votes
0 answers
108 views

Common integer roots of polynomials

I have two polynomials of form $$f_1(w,x)=M_1$$ $$f_2(y,z)=M_2$$ and I have two polynomials of form $$g_1(w,x,y,z)=M_3$$ $$g_2(w,x,y,z)=M_4$$ where $f_1,f_2,g_1,g_2\in\mathbb Z[w,x,y,z]$ and $M_1,M_2,...
Turbo's user avatar
  • 13.6k
-1 votes
1 answer
177 views

Math software for 3d-visualisation [closed]

What are good and user-friendly math-softwares for 3d-visualization as in https://www.youtube.com/watch?v=x7d13SgqUXg (sphere-eversion process). https://www.youtube.com/watch?v=rB83DpBJQsE (...
chyle's user avatar
  • 117
2 votes
0 answers
157 views

Representations in Archimedean quadratic modules

Let $\mathbb R [X] = \mathbb R [X_1,\dots,X_n]$ and $\Sigma[X] = \big\{ \, f \in \mathbb R[X] \mid \exists r \in \mathbb N, \ g_i \in \mathbb R[X] \colon f = g_1^2 + \dots + g_r^2 \,\big\}$ denote ...
Baldi Lorenzo's user avatar
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
3 votes
0 answers
168 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
2 votes
0 answers
71 views

Software recommendation request: deciding whether a system of polynomial equations is solvable by radicals

The following system of equations comes from a very simple geometric figure I have to deal with a lot at work. Here $r_0,r_1,r_2$ and $L$ are known parameters, and the $x_i$s are the coordinates I'm ...
DCM's user avatar
  • 778
1 vote
1 answer
190 views

How to find all minimal dependent sets of a set of vectors effectively?

In my research, I need to find the set of all minimal dependent sets of a given set of vectors. One method is to check every subset of the given set. But this method is very slow when the set of ...
Jianrong Li's user avatar
  • 6,081
1 vote
1 answer
96 views

Software for Hilbert series of quotients of exterior algebras

Is there some software which computes Hilbert series of quotients of exterior algebras? In commutative case, Maple can compute Hilbert series. Thank you very much.
Jianrong Li's user avatar
  • 6,081
1 vote
0 answers
137 views

pari/gp "bnfisintnorm" as poor man (quadratic) Thue equations solver?

For simplicity explaining only the quadratic case. Given integers $n,m$, pari/gp "bnfisintnorm" finds $X,Y$ such that $X^2+n Y^2=m$ working in the number field with defining polynomial $x^2+...
joro's user avatar
  • 24.2k
4 votes
1 answer
184 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
5 votes
1 answer
201 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
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 ...
2 votes
0 answers
66 views

Is there a software to solve functional inequalities?

Suppose I have some inequalities that my function (say $\mathbb R\to \mathbb R$) needs to satisfy, like $\forall x,y\; f(x)+f(y)\le f(x+y)$ and $f(1)=0$. Is there some software that can find solutions/...
domotorp's user avatar
  • 18.2k
1 vote
2 answers
205 views

Openly available software to work with Demazure modules

Does someone know of any sort of software openly available online which can be used to compute various characteristics of Demazure modules for semisimple Lie algebras? Specifically, I'm interested in ...
Igor Makhlin's user avatar
  • 3,495
3 votes
2 answers
296 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
1 vote
1 answer
190 views

Intersection Solutions of four nonlinear equations

I have four nonlinear equations I want to find the points of intersection of these equations, and I used the software Mathematica, unfortunately after many hours of waiting it does not give me any ...
Sara yaqob's user avatar
6 votes
0 answers
287 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
1 vote
0 answers
616 views

Generate all connected non-isomorphic graphs of n vertices modulo local complementation?

I'd like to generate a list of all simple, connected, undirected graphs of $n$ vertices, modulo standard graph isomorphism, and modulo local complementation, which is the following operation: for a ...
J Bausch's user avatar
45 votes
2 answers
4k views

On proof-verification using Coq

So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are: Are there limitations on the kinds of proofs ...
Software enthusiast's user avatar
4 votes
2 answers
637 views

What happened to TituRel?

TituRel is a language developed in conjunction with the book Relational Mathematics by Gunther Schmidt from Universität der Bundeswehr München. My problem is that I can't find any info related to ...
auxi's user avatar
  • 61
80 votes
18 answers
25k views

What programming language should a professional mathematician know? [closed]

More and more I am becoming convinced that one should know at least one programming language very well as a mathematician of this century. Is my conviction justified, or not applicable? If I am right,...
15 votes
2 answers
1k views

What kind of computer tools topologists/geometrists use to visualize the objects they deal with?

I have recently started to read a bit about geometry and topology. Hopf fibration, Lense spaces, CW complexes, stuff that are discussed in Hatcher's Algebraic Topology and other things that require ...
stressed out's user avatar
8 votes
1 answer
279 views

Creativity and the mechanization of elementary geometry

In plane geometry, it is customary to say that checking proofs is a mechanical process but that finding new theorems is a creative activity. Citing J. Hadamard, "logic only sanctions the conquests of ...
coudy's user avatar
  • 18.5k