Numeric computation usually uses floating point numbers. Symbolic computations use symbols, and can give exact answers, such as $\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$. Mathematica, Maple, and Geometry Expressions all use symbolic computation, when desired. An online source is WolframAlpha.
Questions tagged [symbolic-computation]
272 questions
19
votes
1 answer
Algorithms for symbolic manipulation
If you take a look at WolframAlpha, or other computer algebraic system, you will find that it is able to do symbolic manipulation like real humans.
For example, if you type in an integral, it can show you step by step on how to solve the…
Graviton
- 2,292
12
votes
2 answers
Computer algebra system to simplify huge rational functions (of order 100 Mbytes)
I have a huge rational function of three variables (which is of order ~100Mbytes if dumped to a text file) which I believe to be identically zero. Unfortunately, neither Mathematica nor Maple succeeded in simplifying the expression to zero.
I…
Yuji
- 322
4
votes
3 answers
software for symbolic math plotter
I'm wondering if there is a plotting tool out there that will work in symbolic math?
For example, if I plot $x+y=a$ and $y=x$ on a chart, I should be able to click on the point of intersection to get $\left(\large \frac{a}{2},\frac{a}{2}\right)$.
figuringout
- 143
2
votes
1 answer
Online tool for symbolic calculation
I don't know the exact english terms needed to write a proper question or perform a proper search, so here it is a detailed explanation of what I need:
I have these expressions:
t = U * acosh(e^(h/(F*U)))
and
v = F*sqrt(1-e^((-2*g*h)/F^2))
I want to…
jumpjack
- 173
1
vote
0 answers
Symbolic math package for n-dimensional calculus
Is there a math package that can solve ODEs with $n$ derivatives with $n$ undefined and on $n$-dimensional vectors?
I tried defining $n$-dimensional vectors in Matlab and Maple and had no luck.
harshkarve
- 11
1
vote
1 answer
Multiplicative inverse (Sets of representatives)
The question is:
"Decide which elements of $Z/12Z$ have inverses, and for each such element find its inverse, then solve $[11]_{12} X=[6]_{12}$"
I belive that the only inverse of $Z/12Z$ are $[1]$ and $[11]$ ($[1]_{12} * [11]_{12} = [-1]_{12}$
How…
jsan
- 345
1
vote
1 answer
how to set variables in mathematica
I have this optimization problem that Mathematica solves correctly:
NMinimize[{x0^2 + x1^2 + x2^2, x0 - x1 + 2.0 x2 == 1.0,
x0 + x1* + x2 == 0.0}, {x0, x1, x2}]
{0.17748, {x0 -> 0.0739345, x1 -> -0.205098, x2 -> 0.360484}}
My problem is I…
user89699
- 151
1
vote
0 answers
sympy: group given expressions within other expressions, e.g. $a + 2 x y + b x + 2 x z$
I would like to use sympy to locate and group instances of a given symbolic expression within a set of expressions, so that the given expression may be replaced by a variable. For instance, with expressions like
a + 2 * x * y + b * x + 2 * x * z
I…
Steve White
- 31
- 4
1
vote
1 answer
Are there any symbolic solvers that can use matrices and vectors directly?
I frequently deal with matrix/vector calculus problems and would like to get the answers in matrix/vector form. The number of elements in these matrices and vectors is not specified, and the desired results are in matrix form anyway, not exploded…
Mastiff
- 135
1
vote
0 answers
Is there anything online like the old "calca"?
Calca was a tool for Windows/Mac where you could type formulas with markdown text interspersed, like:
# My work
a=7
b=2+a^2
b=> 51
Where it would dynamically show you the results after => and recalculate everything when you change anything. I think…
GaryO
- 121
1
vote
1 answer
Mathematical form of a symbolic expressions
I'd like to present a symbolic expression in mathematical form for any number of members from 3 to n ($m=3...n$).
The expression for $m=3$ is:
$$
\begin{split}
M_3
&= R_1 R_2 R_3^2 \cos(\alpha_1 + \alpha_2 - 2\alpha_3) \\
&+ R_1 R_2^2 R_3\cos(…
NESHOM
- 205
1
vote
2 answers
Express $I_{n}(x)=\int (x^{2}+1)^{(n-0.5)} dx$ with recursion
Let $I_{n}(x)=\int (x^{2}+1)^{(n-0.5)} dx$. I want to express $I_{n}(x)$ with earlier terms $\sum_{k\leq n} h_{k} I_{k}(x)$ where $h_{k}$ is a constant. I have no idea by which terms.
If I am going to do this manually, I am suspecting that I need…
hhh
- 5,469
0
votes
1 answer
null space of a specific 4x4 symbolic matrix
I need to find the symbolic null space vector (let's call it X ) of a symbolic matrix:
P = [a*P1 (1-a)*P1 (1-b)*(1-P1) b*(1-P1);
a*P1 (1-a)*P1 (1-b)*(1-P1) b*(1-P1);
b*(1-P2) (1-b)*(1-P2) (1-b)*P2 b*(1-P2); …
Моше Шуцерман
- 1
- 1
0
votes
0 answers
How do I extend SymPy pretty printing for new structures in Jupyter notebook?
Note 1: I am asking this on Math Stack Exchange rather than Stack Overflow, where most SymPy questions are, because StackOverflow doesn't have MathJax, making it very difficult to pose the question.
Note 2: There is no sympy tag on Math Stack…
Lars Ericson
- 160
0
votes
2 answers
How to mathematically express square to not "lose" sign of a vector
I need to express force exerted on a body due to aerodynamic drag mathematically as vector in matrix form. Let $F_f$ be the exerted force, $k_{lf}$ the aerodynamic constant and $\vec{V} = [u, v, w]^T$ the velocity vector. $[u, v, w]^T$ can either be…
mmm
- 271