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

1210 questions
4
votes
1 answer

How do I prove "not (false = true)" in Lean?

As is perhaps obvious from the question, I am just starting with Lean and am missing some very basic knowledge about what features are available. Anyways, I'm trying to prove not (false = true) and I have this: example : not (false = true) :=…
Craig Gidney
  • 2,134
4
votes
2 answers

User friendly software for math drawings

I am a math grad student and these days I am writing my thesis using $\LaTeX$. I have to use few 2D graphs that contain curves and shaded regions with few labeling. Can anybody please recommend me a user friendly free software that I can use to draw…
Extremal
  • 5,785
4
votes
2 answers

Fast way to write down math on a computer

I am currently having the issue that I need to write down some mathemtaical equations that contains more complex items like matrixes and fractions rather quickly. While LaTeX is the standard when typesetting math, I would like to know, if there is…
mame98
  • 141
  • 2
4
votes
3 answers

Software for creating a definition library

For a while I've been looking for some kind of software that will let me create and cross-reference definitions. The way I imagine this working would be, for instance: I create a file named "Hopf algebra", I type in "A Hopf algebra over a field k is…
Astrid
3
votes
1 answer

Interactive Equation editor with Latex syntax

I was using the built in equation editor used by Pearson's "MyLab and Mastering" physics course, and I really like how it's both interactive and uses Latex syntax to insert equation elements. Screenshots are shown below: look what happens when I…
woojoo666
  • 229
3
votes
0 answers

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 rectangle. I was also wondering whether this…
John
  • 179
  • 15
3
votes
2 answers

Good freeware for solving equations symbolically

Many years ago I used maple to solve equations symbolically. Are there any good freeware alternatives? I have three equations in three unknowns and want to find the solution symbolically
Andrew S.
  • 473
3
votes
0 answers

Why does Grapher (a Mac application) plot the 3D inequality $|x|<1$ using spheres?

Grapher (sometimes called Grapher.app) is a mathematics graphing application that comes bundled with Mac computers (see https://en.wikipedia.org/wiki/Grapher). I was recently playing around with Grapher, trying to get a feel for it, and discovered…
mweiss
  • 23,647
3
votes
0 answers

Pari/GP: how do you use it?

I noticed that using Pari/GP in console mode is not very convenient in Windows: when using arrow keys, there is a long lag to see the cursor the key Home doesn't work, so it's not handy to move quickly inside a line of code. more generally using a…
Basj
  • 1,671
  • 1
  • 22
  • 44
3
votes
0 answers

What program can i use to create something similar to these charts

I'm using matlab and never see something similar, i saw this in a recent paper and wondering what software is used
3
votes
0 answers

How to solve Line integral over a p0lynomial of order $n$ programatically (in java)

I want to solve line integral over an polynomial of order $n$. i.e. Integration of $ds$ over an bounded polynomial ($a+bx+cx^2+dx^3+\ldots$) where $ds$ is an small element on the curve in $x$-$y$ Plane. On paper I can solve it by converting $ds$ in…
3
votes
2 answers

Graphic software

Can somebody recomend me a software(preferably free) to draw a graphic like this: I have downloaded GeoGebra, but it seems I can't use it to draw such a graphic.
Wei
  • 31
3
votes
1 answer

Fitting Lotka-Volterra equation with unknown constants to data

I'm trying to model a predator-prey interaction scenario given 100 years worth of data. I have no idea what the constants are and have been told to guess until I get a solution that is approximately correct, however this is proving fruitless and I'm…
Will
  • 31
2
votes
0 answers

Are there solvers for the Word Problem for finitely presented groups?

I know the Word Problem for finitely presented groups is undecidable in general. I am looking for software that takes a FPG and a word as input and tries to figure out (using some heuristics) whether it is equal to the neutral element.
TRP
  • 101
2
votes
0 answers

Are there any random problem generators?

Are there any apps, services, websites, etc., where they feed you a random stream of problems to solve, and give you the answer if you request it, and where you could choose the subject area and the difficulty?
julkarham
  • 247
1
2
3
8 9