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).

Filter by
Sorted by
Tagged with
-2
votes
0answers
32 views

What is the best allround mathematical software? [closed]

I know the big names such as MATLAB, Mathematica, and Maple. But they are all too expensive for me. I need a software with curve-fitting, 3D Graphs, and all other standard data visualization tools. ...
-4
votes
0answers
30 views

Problem in latex file. [closed]

I have a latex document on my PC which I create before 2 hours. unfortunately, it shows blank while opening in Texmaker or Texstudio. command-tab is also blank. an error log is: ! Text line contains ...
0
votes
2answers
22 views

Algorithm that matches decimal number to expression in terms of mathematical constants

I remember finding at some point a type of algorithm which provided a decimal value with enough precision, would try to match it to expressions in terms of mathematical constants (for example, ...
6
votes
1answer
138 views

World's smallest (Exception-based) proof-checking language (in Python). In what way is Coq, Lean, Isabelle “better”? [closed]

As you may already know, the codebases written for Coq, Lean, etc. are humungous. Thus a goal in a new proof assistant might be to simplify things. Suppose we restrict our attention not to general ...
0
votes
0answers
6 views

Software for working on rings like $\Bbb{Z}[x,y,z]/I$, where $I$ is an ideal

I'm looking for an algebra software that can help me with some simple algebraic computations. Situation: Let $(G,+)$ be an abelian group (or, equivalenty, a $\Bbb{Z}$-module) and suppose we have a ...
0
votes
0answers
20 views

Looking for software that will do geometric operations on a coordinate system

Say that I have a known point, point A, on a line L with known line equation, and I want to find out the coordinates of a point B on L at a given distance R from A. Can someone recommend software that ...
1
vote
0answers
40 views

Does snappy undertstand Gauss codes?

The documentation says it does, but experiment says it does not. For example, this: N=Manifold('Gauss: [(1,-2,3,-4),(5,-1,7,-3),(4,-5,2,-7)]') Errors out. Am I ...
0
votes
0answers
67 views

Software/Tool used in Stewart Calculus Book for 2D and 3D pictures

I am curious to know which software/tool have been used in book Calculus: Early Transcendentals 6th Edition by James Stewart to draw 2D and 3D schematics of the book. Thanking you in advance.
2
votes
1answer
30 views

Writing a group as a product of its generators in MAGMA [closed]

Let $G \subseteq S_8$ be generated by the elements $s=\begin{pmatrix} 1 & 2 \end{pmatrix}\begin{pmatrix} 3 & 5 \end{pmatrix}\begin{pmatrix} 4 & 6 \end{pmatrix}\begin{pmatrix} 7 & 8 \...
1
vote
0answers
35 views

Wrong use of minimal polynomial function in MAGMA?

I wrote the following MAGMA code ...
-1
votes
1answer
33 views

Difference between exclamation mark (!) and point (.) in MAGMA [closed]

In this MAGMA handbook, I found the following code: K := FiniteField(2, 160); // finite field of size 2^160 E := EllipticCurve([K!1, 0, 0, 0, K.1]); There, I noted ...
1
vote
0answers
43 views

A free, user-friendly matrix algebra app?

My MathCad disc is in storage in another state, but while I had it, I could click a button, give the dimensions, and easily have an empty matrix displayed, fill in the elements, and assign it a ...
1
vote
1answer
51 views

Tool for doing linear algebra with algebra instead of numbers

I have some linear algebra equations, which are a few succinct lines of pytorch code, where the matrices involved have dimensions N and ...
1
vote
1answer
39 views

Tips/tool required for writing fast in latex?

In my institute writing assignments in LaTeX is mandatory. Most of my assignment text involve plenty of mathematical expressions and figures like $\lim, \log, \Theta, \bigoplus $ etc. and many more. I ...
0
votes
1answer
27 views

Is there a software that can graph parametric equations where x and y are defined implicitly?

For example, I am working on an exercise from a Calculus book that asks to find the slope of $x=f(t), y=g(t)$ at $t=2$, where $$ \begin{align} x^2-2tx+2t^2&=4\\ 2y^3-3t^2&=4 \end{align} $$ I ...
0
votes
0answers
19 views

What software to use and how to plot 3 dimensonal Bifurcation diagrams like in this picture?

[Figure] 3D Bifurcation diagram, taken from J.D Murray's Mathematical Biology Figure shown is a bifurcation diagram between one population variable and 2 parameters. I am studying a kind of similar (...
0
votes
0answers
30 views

How to find defining ideal of an affine variety?

Consider the subvariety $V$ of $\mathbb{C}^{16} \times \mathbb{C}^{16}$ given by \begin{align*} V = \{ (X, Y) \in \mathbb{C}^{16} \times \mathbb{C}^{16}: X = \left( \begin {array}{cccc} 0&0&-\...
0
votes
0answers
32 views

About the solution of a Bessel differential equation and its limit

I would like to know the limits of a Bessel function. I solved this differential equation with Mathematica $$ y''(x)+\left(\frac{e^{4x}}{9}-C\right)y(x)=0 $$ where C is a constant and it could be ...
0
votes
0answers
34 views

Obtaining the composite field of two p-adic fields in MAGMA

Let $K= \mathbb{Q}_3$ and $L = \mathbb{Q}_3(\alpha)$ be defined by $\min_K(\alpha) = x^4 - 3x^2 +18$. Furthermore, let $F$ be the unramified extension of $K$ of degree $4$ (which is generated by a ...
0
votes
1answer
45 views

Implementation in MAGMA: Field extension over the p-adics with a polynomial which is neither inertial nor Eisenstein

Let $K = Q_3$ and $L = K(a)$ be the extension of $K$ defined by the polynomial $f = x^6+3x^5-2$ (i.e. this is the minimal polynomial of $a$ over $K$). Now I would like to obtain this field $L$ in ...
38
votes
5answers
797 views

What are some of the Websites/web-tools which must be a part of every mathematician's arsenal?

What are some of the web-tools which must be a part of every mathematician's arsenal? Tools which help mathematicians research, solve problems or even collaborate together! Here is a list I gathered. ...
0
votes
0answers
9 views

Transformation Matrix between 2 frames (rotation and translation)

I would like to get a transformation matrix from Frame 1 to Frame 2 Frame 1 is standard: x points to the right and y point upwards Frame 2 has x pointing to the left and y pointing downwards. Frame 2 ...
1
vote
1answer
38 views

How value of power Which is in decimal and Irrational to any base calculated manually using logarithms?

How to manually calculate $10^{0.434}=X$ using log ? And How Log tables value for such Weird Decimal Power were Derived?Take any base
0
votes
1answer
25 views

General form to standard form conics with xy non-zero?

Let be the general equation of a conic \begin{align*}Ax^2+Bxy+Cy^2+Dx+Ey+F=0\end{align*} with \begin{align*}B \neq 0 \end{align*} What is the most effective way to transform this general equation into ...
3
votes
1answer
76 views

Computing the rank of a specific group

The rank of a group is the minimum number of elements needed to generate the group. In general, the rank of a group is not algorithmically computable for finitely presented groups. I have a specific ...
0
votes
0answers
32 views

Interactive notepad equation editor and solver?

I'm looking for an interactive equation editor like SwiftCalcs to interactively solve various engineering equations that come up but that doesn't charge on a monthly bases and if possible preferably ...
-3
votes
1answer
55 views

OA + AB = AB vectors

OA= -2 2 OB 6 1 OC = 10 1 I drew on a diagram and I nave to use triangular law but I'm getting OA +AB = AB AND I DONT HOW TO ADD THIS BEACUAS IM TRYING TO GET AB
0
votes
4answers
32 views

How do I make spirograh diagrams using software?

There are these "string math artworks" I believe they are called "spirographs" where people usually take a circle or other geometric shape and put in nails on the shape and then ...
0
votes
1answer
35 views

Can some please help me?

Why I am getting nan in python. from sympy import * x,f,g=symbols('x f g') def f(x): return (1+x**2)**2 def g(x): return (1-f(x))/x expand(g(x)) g(0) I ...
0
votes
0answers
24 views

What mathematical software for reasoning, learning and discovery does exist?

Coming from a computing world I am so used to various tools that ensure my reasoning is correct: compilers, type checkers, linters, automatic tests. I am also used to REPL (read-eval-print loop) ...
0
votes
0answers
13 views

computing the power of a tridiagonal matrix in R: exact solution and implementation

I am trying to solve a tridiagonal matrix power in R, as shown below. This a tridiagonal matrix at the power of 't'. It can be interpreted as a classic transition matrix in a Markov chain. The paper ...
0
votes
0answers
60 views

Some problems about the sum of all the numbers of Sylow subgroups?

I have proven that all finite abelian simple $K_3$-groups can be characterised by their orders and the sum of all the numbers of Sylow subgroups. More precisely, I get the following consequence: Let $...
2
votes
1answer
31 views

Software for evaluating summation expressions involving Stirling numbers of the first kind.

I know that for a summation such as $$p=\sum_{n=o}^{k}{\binom{k}{n}}=2^k,$$ Wolfram Alpha and some other computational software can easily tell that indeed the above summation evaluates to $2^k$. I ...
0
votes
0answers
33 views

Software for drawing 2D geometry with autosizes, coloring, etc

I'm searching for a software that will help me in solving geometric problems I've found some similar questions like that one or this but they don't fit my expectations. All basic shapes (circle, ...
0
votes
0answers
55 views

Is it possible to use desmos to find an exponential function using a graphinc calcs 'stat' function?

I'm working my way through an online algebra textbook and so far have relied on two online calculators: https://www.desmos.com/calculator and https://live.sympy.org/. I've arrived at a question and am ...
0
votes
0answers
42 views

Are there any softwares which can solve equations from number theory?

Are there any softwares which can solve equations from number theory? For example, solve equations $x+y+z=100$, $x\equiv 2~{(\rm mod~5)}$, $y\equiv 3~{(\rm mod~7)}$, $2x+3y=50$, where $x,y,z$ are ...
2
votes
1answer
51 views

Software to visualise multivariable functions $f:Z^2\rightarrow Z^2$

I want to visualize the division algorithm as a function $f:Z^2\rightarrow Z^2$ . That is, given a unique value of (dividend, divisor) [$Z^2$ - domain], it will give a unique value of (quotient, ...
-1
votes
1answer
24 views

Filling a region in the complex plane in Matlab

So I have plotted the the function defined implicitly by fimplicit in Matlab. I want to fill the region inside. How to do that? ...
2
votes
1answer
95 views

Is there an educational platform like Webassign or OLI that you don't need to be in a class to use and offers upper level and/or grad level math?

(Please let me know if I am posting this in the right place, or if there are better tags I could use.) Is there an educational platform like Webassign or OLI (Open Learning Initiative) that you don't ...
0
votes
0answers
77 views

Guide book for Maths Animation Engine

AS we all know the Stanford mathematician author of the widely popular math YouTube channel 3Blue1Brown has created a python library, called manim, for creating beautiful and stunning math animations ...
2
votes
0answers
32 views

Reference Request: Software for Viewing Seifert Surfaces (Linux-compatible Seifertview alternatives)

As the title suggests, I'm aware of and have used Seifertview before. It's an excellent tool for folks running Windows machines. However, I recently switched to Ubuntu and won't be able to use this ...
7
votes
2answers
519 views

What theory of logic or types considers the “category of propositions”?

Was wondering if there was a theory already out there that considers the "category $\text{Prop}$ of propositions". It is a preorder (at most one arrow between two propositions), in which $A ...
-3
votes
2answers
51 views

Show these equations in terms of x and y only - ∅ has to be eliminated. x=sin ∅ +cos ∅ , y=tan ∅ +cot ∅ (hint find x2y) [closed]

Can anyone do this question? Show these equations in terms of x and y only - ∅ has to be eliminated. x=sin ∅ +cos ∅ , y=tan ∅ +cot ∅ (hint find x2y)
1
vote
2answers
94 views

What is a good graphing program and code to graph $F(x)=\prod_{p \leq x} \frac{p-1}{p}$ for prime $p$. [closed]

What is a good graphing program and code to graph $F(x)=\prod_{p \leq x} \frac{p-1}{p}$ where the product is taken over all primes $p \leq x$ and $x$ is an integer? I have been doing research on this ...
0
votes
0answers
18 views

“Poincaré disk model of fundamental domain triangles” software… [duplicate]

Is there a software to generate the Poincaré disk model of fundamental domain triangles? $\hskip1.7in$ Specially including "general triangles $(p, q, r)$"...
0
votes
1answer
28 views

Using software to supplement mathematical learning

I am currently studying mathematics on my own. In my imagination, software tools like Mathematica, R, etc. seem like they have great potential for mathematical education. Some (imagined) advantages of ...
1
vote
1answer
101 views

Using rnfequation to show that $\left(\frac{\frac{-1+\sqrt{5}}{2}+\sqrt{\frac{-\sqrt{5}-5}{2}}}{2}\right)^5=1$, in PARI/GP [closed]

I want to understand how can the code below shows that $\left(\frac{\frac{-1+\sqrt{5}}{2}+\sqrt{\frac{-\sqrt{5}-5}{2}}}{2}\right)^5=1$ ...
0
votes
0answers
10 views

Software to animate graphs (functions with $t$ as variable)

I want a software like geogebra, but which can take $t$ as a variable in the equation along with $x$ and $y$ so that it shows me how the graph progresses with time. I want this to better visualize and ...
0
votes
1answer
31 views

How can I find the position of the user, based on earnings, but without listing all users into Memory [closed]

I have $200000$ users in database. I want to know the given user's position depending on his earnings, but without listing all the $200000$ users (explodes the memory of my small laptop) So, given $...
1
vote
1answer
39 views

Software to solve equation

I'm trying to solve the following equation: \begin{align} 100.474 &= \frac{1\cdot 1000}{\left(1+18.94833392\right)} +\frac{1\cdot 1000}{\left(1+5.3028 \right)^ 2}+\\ &\frac{1000\cdot 1}{\...

1
2 3 4 5
22