# 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,141 questions
Filter by
Sorted by
Tagged with
26 views

### What software can I use to graph a solid of revolution between 2 functions?

What software is used to graph solids of revolution between 2 functions like the ones below?
55 views

### PHI function to list relative primes

I am using a website called dcode to input numbers into the PHI function, and then receive an output of numbers relatively prime with my input. The website, unfortunately, limits output to just 500 ...
• 133
52 views

### What software do you use to do algebra operations when the number of operations get out of hand?

I need to solve a 12th degree polynomial with coefficients that are not numbers, but are made out of lots of algebra operations with letters. I could do them all by hand, but I counted them and it ...
1 vote
42 views

### Is there a software with which you can visualise a complex function?

I just discovered that complex functions exist, and that you need four dimensions to represent them (i.e. three space dimensions and one represented by colours => Riemman’s surfaces). I was ...
• 11
1 vote
26 views

### Is there a way to describe a conditional statement algebraically?

Coming from a software engineering background, I am quite used to using conditional statements in my everyday mathematics. I know there are some higher math symbols to represent conditional statements,...
• 13
45 views

### SOSTOOLS in MATLAB: findbound gives wrong output

Here is the MATLAB code that uses SOSTOOLS toolbox: ...
31 views

### (Software) Drawing spherical coordinates - triple integrals

How can I create figures such as the following: Is there a LaTeX solution? I tried using GeoGebra but it didn't work. Any help is appreciated. Cheers,
• 233
52 views

### Publishing Research Papers on Mathematical Software Packages

I have written some LaTeX package for Mathematics. It involves substantial work. In general only a person having good knowledge of Mathematics and TeX could develop such things. There are other ...
• 390
18 views

### How to construct coinvariant rings in Math software?

Let $W=\mathfrak{S}_n$ be the symmetric group of $n$-elements. Can we construct the coinvariant ring for it? Say, $$\mathbb{Q}[x_1,\ldots,x_n]\bigg/(e_1,\ldots,e_n)$$ where $V=\mathbb{C}^n$ is the ...
• 1,445
1 vote
21 views

### Excel and the T-Distribution

My stat book has an index of values relating to the t-distribution. And Excel has a bunch of apparently related functions: T.DIST (x, deg_freedom, cumulative) T.DIST.2T (x, deg_freedom) T.DIST.RT (x,...
• 589
11 views

### Best software (open-source if possible) for modelling free boundary problems and general constitutive relations in Computational Mechanics.

I am in search of a good software package (open-source if possible) with capabilities of modelling free boundaries, polymeric behavior (i.e. stress is defined by a evolutionary PDE) and multi-physics ...
48 views

### In GAP, how can we write functions whose signatures have optional variables?

We know that some GAP functions present additional options in their signature. For example, consider the IsomorphicSubgroups function, if we set ...
• 333
17 views

### Computational method to compute the subgraphs with $i$ edges and $j$ vertices of a bipartite graph

Let $G$ be a bipartite graph, having $m$ vertices and $n$ edges. We want to compute using a computational method the subgraphs with $i$ edges and $j$ vertices of $G$ ($j\leq m$ and $i\leq n$). Input: ...
• 125
93 views

### What software is used to draw mathematical shapes in books like this one?

What software is used to draw mathematical shapes in books like this one?
26 views

### Determine the sinusoidal function that will fall entirely within the exponential envelope. [closed]

How do I determine the sinusoidal function that will lie perfectly between the two exponential functions (envelope): $1+e^{\left(-2t\right)}$ and $1-e^{\left(-2t\right)}$? Thank you in advance.
49 views

### Computing how many elements of a finitely generated group has a certain word length, using software?

What I want is to give the generators and relations, as well as an integer $n$, then tell the program to compute the number of elements having word length $\leq n$. Can someone please show me how to ...
• 5,099
1 vote
79 views

### The first syzygy module of a binomial ideal

It is known how you compute the first syzygy module of a monomial ideal but it seems an hard work to do the same for binomial ones. I don't know any procedure to aim that, so I would like kindly if ...
• 125
30 views

### How do you express $\nu_2(n)$ as a SymPy expression so that SymPy's simplification algorithm supports it?

$\nu_2(n)$ is the completely additive arithmetic function that is the maximum power $k$ such that $2^k \mid n$. How do I use SymPy to represent this function. I can calculate it by hand doing: ...
• 19.5k
1 vote
38 views

• 11.9k
143 views

### Why isn't there an app that allows you to enter in all the rules of a given formal system so that the app supports all formal systems of math?

I'm jumping around between articles about ETCS to Simple TT to Calculus of Constructions wondering what my app should focus on. I'm wondering, why there isn't yet a software app in which you can ...
• 19.5k
89 views

### Why isn't $\forall x \in X, P(x)$ the same thing as a map of types $P:X \to \text{TrueProp}$?

For example, $\forall x \in X, P(x)$ can be viewed as a map $P : X \to \text{TrueProp}$ the collection of true propositions. Why do we make the distinction in type theory, which seems to want to ...
• 19.5k
1 vote
114 views

### Evaluating $\frac{100x^{100}+98x^{98}+96x^{96}+\cdots+6x^6+4x^4+2x^2}{99x^{99}+97x^{97}+95x^{95}+\cdots+5x^5+3x^3+x}$ for $x=99$ billion

Approximately what is the value of $f$ evaluated at $99$ billion, where \begin{equation*} f(x) = \frac{100x^{100} + 98x^{98} + 96x^{96} + \dotsb + 6x^6+4x^4+2x^2} {99x^{99}+97x^{97}+...
• 18.2k
The orbits of $G \leq Sym(\Omega)$ on $\Omega × \Omega$ are called the orbitals of $G$ on $\Omega$. For each orbital $\Delta$ there is a paired orbital denoted $\Delta'$, where $(y, x) \in \Delta'$ if ...