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.
170
questions
8
votes
0
answers
263
views
What axiomatic system does AlphaGeometry use?
In January 2024, researchers from DeepMind announced AlphaGeometry, a software able to solve geometry problems from the International Mathematical Olympiad using a combination of AI techniques and a ...
- 231
0
votes
0
answers
78
views
Software for computing polytopes
As can be inferred from the title, I want to do some computation on the facets representation of the polytopes given the vertices. My advisor recommended me Polymake, which is indeed useful even with ...
- 1
3
votes
1
answer
353
views
Experimental mathematics in Ramanujan's work
The field of experimental mathematics has led to the discovery of numerous remarkable identities and relations, often using computer algebra systems. Somos' work on finding algebraic identities ...
- 41
7
votes
1
answer
263
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,...
- 283
0
votes
0
answers
112
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$.
...
- 913
0
votes
0
answers
109
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 ...
2
votes
0
answers
83
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$:
...
- 2,540
0
votes
2
answers
315
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-...
- 31
2
votes
1
answer
468
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,...
- 123
11
votes
1
answer
654
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 ...
- 1,771
11
votes
1
answer
3k
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: ...
- 1,018
0
votes
1
answer
123
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\}...
- 21.3k
1
vote
1
answer
206
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$?
- 13.8k
2
votes
3
answers
531
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^...
- 13.8k
4
votes
1
answer
221
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 ...
- 1,018