Questions tagged [math-software]
For help with mathematical questions arising from software such as Maple, MATLAB, Mathcad, Pari/GP, R, and the WolframAlpha website, etc. Consider posting questions about Mathematica at the Mathematica StackExchange instead. For GAP, SAGE, and MAGMA, one might use tags (computer-algebra-systems), (gap), (sage), (magma-cas).
1,223 questions
1
vote
1
answer
64
views
Software for Smith normal form over non-integral domains
Is there a software that can compute Smith normal forms for matrices over non-integral domains, e.g. $\mathbb{Z}/n\mathbb{Z}$ for composite $n$? I use Sage but sadly it cannot handle non-integral ...
- 867
5
votes
1
answer
72
views
Plotting functions in a way consistent with measure theory
So as far as I understand, modern plotting software work by filling every pixel that intersects the graph of the function. While this works pretty well for contineous functions, it is clear why this ...
- 333
5
votes
4
answers
501
views
Desmos weird graph for $x+1=\frac{6x^2}{y}$
I have been learning about asymptotes recently. I thought that any constant value $C$ of a variable that makes the denominator equal to zero will cause there to be an asymptote (namely, variable = $C$...
2
votes
2
answers
63
views
SageMath's Automaton method number_of_words error
Consider the language of those $w\in \{a,b,c,d\}^*$ that contain $ab$. Corresponding DFA is (written in SageMath):
...
- 12.7k
2
votes
2
answers
75
views
catenary curve specified by length and slope
It's a bit strange but I need to draw a catenary from the vertex, to specified length and terminating at a specified slope.
...
- 281
2
votes
1
answer
276
views
Closed form of $\int_{(0,1)^5} \frac{xy^2 z(1-z)u}{(1-xyzuv)(1-yzuv)(1-yzu)(1-zu)} dxdydzdudv$
Using Maple or Mathematica or otherwise, I need to find closed form for $$\int_{(0,1)^5} \frac{xy^2 z(1-z)u}{(1-xyzuv)(1-yzuv)(1-yzu)(1-zu)} dxdydzdudv$$
I entered the following code in Maple:
NULL;
...
- 1,059
0
votes
1
answer
165
views
Why $(-1)^{1/5}$ is such a big trouble for calculators?
We all know that $(-1)^{1/5}=\sqrt[5]{-1}$, and hence $$(-1)^{1/5}=-1.$$ Yet, when inserting this expression on a handheld calculator I got Math ERROR. I bit ...
- 375
0
votes
0
answers
57
views
MAGMA returning non-principal ideals when factorizing primes over a ring of integers in a PID
I am working through Will Steins Math129 course, some of which requires the use of MAGMA.
Specifically, assignment two (question 2a) requires the factorization of the ideal (2004) over the Gaussian ...
6
votes
1
answer
135
views
Is there any software that lets one explore group ring and category theory that is tailored for self-tuition using a Constructionist approach
Is there any software that lets one explore group theory, ring theory, and category theory visually that is tailored for self-tuition purposes? I follow Logo inventor Seymour Papert's Constructionist ...
0
votes
0
answers
43
views
Galois group and subfield of a polynomial with coefficients in a bivariate function field
Consider the following polynomial $p$ in three variables, a main one called $x$ and two secondary ones $b$ and $c$. The $x^ib^jc^k$ coefficient is p[i][j][k], using ...
- 106k
2
votes
0
answers
70
views
Software to do numerical calculations for differential geometry
I am looking for software packages that can be used to do numerical computations on differential manifolds. I know there are several packages to do symbolical calculations, but I am interested in ...
- 273
2
votes
2
answers
124
views
Question About this Sine Equation’s Solution Set
Within the interval of [0, 2$\pi$),
Why are the solutions to $\sin^2 3x - \sin^2 x = 0$ (when graphed on Desmos) $\frac{\pi}{4}$, $\frac{3\pi}{4}$, $\frac{5\pi}{4}$, $\frac{7\pi}{4}$ and not $0$, $\...
- 29
-2
votes
1
answer
112
views
Software for closest vector problem in $F_2$ [closed]
I need to solve exactly the closest vector problem over the field $F_2$ with 2 elements, and I am looking for a software that can do better than my brute-force code in C.
Specifically, I have a list ...
- 97
0
votes
2
answers
155
views
What is the name of this lesser known non-euclidean geometry [closed]
Taxicab geometry is one of the more well-known non-euclidean geometries used in board games and video games. However there is a type of non-euclidean geometry that somewhat approaches euclidean ...
-1
votes
3
answers
83
views
Why is randomness required in the Monte Carlo Estimation of $\pi$?
A classical demonstration for a Monte Carlo Estimation is that of approximating the value of $\pi$ :
We draw $n$ random points in $\mathbb{R}^{2}$ uniformly distributed on $[0,1]\times[0,1]$, and ...
- 141
-1
votes
1
answer
104
views
Calculator For Mathematical Sequence [closed]
I'm wanting to calculate a mathematical sequence of adding (54.5782*0.99997105^n) (in which n increases by 1 each time) (until n reaches 436,422).
That looks like
...
0
votes
1
answer
101
views
Meaning of permutation order in QR decomposition with pivoting
I used Matlab's qr function to calculate the qr decomposition of $A^H$, using:
[Q, R, P] = qr(A', 'vector').
This method uses ...
- 13
0
votes
1
answer
76
views
Integers in decimal base to binary base conversion: Is this non-iterative method valid?
Integers in decimal base to binary base conversion: Is this non-iterative method valid?
Working in an unrelated experiment in Excel, I was trying to make an optimization problem where I require to ...
- 2,167
0
votes
1
answer
104
views
How to visualize triangle using a software
How to visualize (using some plotting software) the triangle inequality, $|x-z|\le|x-y|+|y-z|$, where $x,y$ and $z$ belong to some finite intervals.
I am asking for general way, for example, $(x-z)^2\...
- 543
0
votes
1
answer
213
views
Geogebra specify length with brace
Is it possible to specify segment length with a brace or arrows, like below?
Credit: https://mrchasemath.com/2018/01/17/geometric-proofs-of-trigonometric-identities/
Credit: https://senecalearning....
- 11.4k
2
votes
0
answers
66
views
Are there any (free) software for Kleinian groups, plotting and calculations.?
Is there any free or commersial software package, for windows and with an easy to use interface, for plotting and calculations on Kleinian groups? In particular, I would like it to be able to plot out ...
- 184
1
vote
0
answers
141
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 ...
- 11
-1
votes
3
answers
1k
views
Lumbroso "dice roller", correctness of the algorithm for 32 bit integers [closed]
In this paper
Optimal Discrete Uniform Generation from Coin Flips, and Applications
Lumbroso develop a nice algorithm: The FAST DICE ROLLER algorithm; it returns an integer which is uniformly drawn ...
- 136
1
vote
1
answer
106
views
software for computing with Lie algebra representations
I would like to explore irreducible modules over the Lie algebra $\mathfrak{sl}_n(\mathbf{C})$ with the help of a computer.
What is the best software for this?
Concretely, I am interested in plotting ...
- 1,365
2
votes
1
answer
184
views
Looking for help with geogebra animation applets
I was wondering whether anyone experienced with GeoGebra could create an applet that does this: https://www.geogebra.org/m/jzsxxnhq
but rearranges a cylinder into a cuboid rather than a circle into a ...
user1167128
2
votes
0
answers
141
views
2
votes
1
answer
73
views
Fast software for multivariate polynomial manipulation
I need to perform some heavy computations involving polynomials in many variables. I don't need any fancy features, just adding and multiplying polynomials and substituting variables by other ...
1
vote
1
answer
174
views
Practical fast primality test
I want to test the primality of some numbers.
To do this I have tried PARI/GP and from the command line:
...
- 2,405
1
vote
1
answer
338
views
Are there attempts to use machine learning to settle disputes over long mathematical proofs?
As far as I remember, The proof of Perelman of the Geometerization Conjecture took a year to check by the experts.
The claimed proof of the ABC conjecture Mochizuki took few years to check, and Peter ...
- 20.6k
-1
votes
1
answer
137
views
Visualisation Tool for Coordinate Systems [closed]
I'd like to use a tool or a program for the visualisation of different coordinate systems such as:
Spherical coordinates
Cartesian coordinates
Local tangent plane coordinates
I am not familiar with ...
- 101
3
votes
1
answer
260
views
Inverse of complete elliptic integral of the second kind for programmers
Suppose I have given the value of a complete elliptic integral of the second kind $E(\varphi | m)$, with a positive value $z$, and the value $m$. How can I solve for $\varphi$ in the following ...
- 473
0
votes
1
answer
71
views
Certain simple geometry animations [closed]
Asked to draw a quadrilateral with sides 3, 4, 5 and 6, one might create what's shown above, using the tools available in, say geogebra. A moment's reflection indicates that the requirement would be ...
- 101
3
votes
2
answers
212
views
Constructing the orthocenter of a cyclic pentagon
I’d like to construct the following thing in Georgebra:
A non-regular cyclic pentagon $ABCDE$ such that the perpendiculars from $A$ to $CD$, $B$ to $DE$... all concur in one point $H$.
I managed to ...
- 4,305
7
votes
2
answers
298
views
PDF to HTML conversion with accessible mathematics? [closed]
I am mainly searching for resources online for studying mathematics, however I am a visually impaired student taking a Calculus course in comunity college. I notice that most resources are in PDF ...
user1196251
3
votes
1
answer
219
views
Open source program that generate "random" theorems by exploration
With some formal systems, it's possible to enumerate all the theorems.
This is the case for instance in propositional calculus or in some first-order theories with a recursively enumerable set of ...
- 915
2
votes
1
answer
376
views
Constructing bicentric pentagon
I'm trying to construct a bicentric pentagon in geogebra. I read on Wikipedia that a Pentagon is bicentric if and only if it satisfies this formula $$r(R-x)=(R+x)\left(\sqrt{(R-r)^2-x^2}+\sqrt{2R(R-r-...
- 4,305
0
votes
1
answer
136
views
Geogebra special segment construction [closed]
Could someone help me constructing such segment AB in Geogebra that would satisfy such properties:
by moving the point A the segment moves as a solid body but does not rotate
by moving the point B ...
- 13
0
votes
2
answers
306
views
Is there a visualization tool that shows matrices transforming (multiplying) ellipses?
Matrices send ellipses to ellipses. Is there any online visualization tool where I can enter a matrix $M$ and see a plot of ellipse $e$ being sent to $Me$? This would be very helpful to visualize ...
- 6,461
0
votes
4
answers
147
views
Finding $a$ such that $\tanh(x)-a\sin^2(x)=0$ has a double root
Given $f(x) = \tanh(x)-a\sin^2(x)$, what is the value of $a$ for which $f(x) = 0$ has a double root, and what is the value of that double root?
My Work :
Using MAPLE , I plotted a few graphs and ...
1
vote
2
answers
742
views
Geodesics on a Saddle Surface
Does anyone know of any free and relatively easy-to-use math apps like Geogebra that can be programmed (or were explicitly designed) to draw the geodesic between any two selected points on a saddle ...
user1167128
1
vote
1
answer
80
views
Can someone please help me work out what software is being used to generate these diagrams. [closed]
Function Plot
Trigonometry
Circle
- 11
1
vote
0
answers
195
views
In which software I can draw these customized mathematical figures?
I'm digitizing my math notes, and I'm looking for a suitable software to draw mainly these 4 figures accurately. I've used GeoGebra, but in some cases I'm unable to draw the figure perfectly, for ...
0
votes
0
answers
74
views
meijer G parameters of common functions
I'm trying to understand how a Meijer G function changes in parameters when I change the function a little bit. For example, I know that the meijer G parameters of the following functions
\begin{...
- 1,458
2
votes
2
answers
302
views
Why does Desmos not plot $ \sqrt{\frac{(x+y)^2}{2}} = \sqrt{x^2+y^2} + \sqrt{2} $?
I am working on the following problem:
I need to find the points above the line $l:y=-x$ for which it holds that the distance to $l$ is $\sqrt{2}$ greater than the distance to the origin.
I worked out ...
- 170
1
vote
1
answer
110
views
Hypothesis testing involving linear regression model
Suppose I have range of x and y values which I have produced a linear regression model from.
How would you answer this question,"Is the mean response (predicted value) for the y value at x = 12 ...
- 47
-1
votes
1
answer
149
views
The sum of the probability of an event and its negation is not exactly 1?
the probability of an event is $(1-0.00015)^{16}$ and its negation has probability $16*0.00015-0.00015^{16}$
but their sum is: $1....
-1
votes
1
answer
221
views
graphing hyperbolic geodesics on a 3D surface
Does anyone know of a relatively simple and easy-to-use graphics app (like GeoGebra) that can graph hyperbolic geodesics on a hyperbolic paraboloid? I'm trying to graph the geodesics on the top image ...
user1167128
3
votes
1
answer
66
views
Visual software of Riemannian metric on $S^2$
Consider the unit sphere in $\mathbb R^3$, let $\theta$ be polar angle, $\varphi$ be azimuthal angle. Then, the standard metric is
$$
g=
\begin{pmatrix}
1 & 0 \\
0 & \sin^2\theta
\end{pmatrix}...
- 6,956
0
votes
0
answers
48
views
Where is John C Polking's DField package?
Most sites that had a copy are now blank. I am looking for the version that was based on JRE. There used to be a DField and a PPlane. I am aware of new versions that are tied to MatLab but I am ...
- 3,720
0
votes
0
answers
265
views
How to calculate inverse of large matrix?
I have recently been looking at random variables and did come upon the below matrix (in image form because it is too large to copy):
I have been attempting to find the inverse of this matrix, and ...
