For questions about symbolic computation, as opposed to numerical computations.
2
votes
1answer
90 views
Reducing exponential inequalities fails
I am quite stumped by this problem :
Reduce[ N^(x-y) <1 && N > 0 , x, Reals]
gives the expected result
...
6
votes
0answers
122 views
Symbolic integration in real domain only ( assumptions and ComplexExpand don't work)
Integrate[m^2/((x - m^2)^2 + y^2), m]
mathematica gives me a complex-valued reuslt, but maple 17 gives me what I want.
I tried using assumptions, but it doesn't ...
4
votes
0answers
73 views
Using Resolve and ForAll to prove takes a really long time
I've been trying to prove a lemma for my paper using Mathematica... basically that
$$\forall \{n, d_i, d_j\} \in \mathbb{Z},\ n \ge d_i > d_j \ge 2$$
it's true that
$$V[1, n, d_i-1, d_j-1] ...
3
votes
0answers
86 views
Analytically solve the eigenvalue problem with infinite dimensions by Mathematica?
If I am given a symbolic expression of all the matrix elements in an infinite-dimensional space, e.g., the Hamiltonian of a quantum mechanical system, is it possible to get the symbolic expression for ...
2
votes
0answers
163 views
Numerical-Symbolical Integration (Calculus)
I created a simple numeric-symbolic integration. Here you can use symbolical and numerical techniques at the same time. You can also interpolate numerical integrals.
The problem with my function is ...
1
vote
0answers
69 views
Problems with Simultaneous Equation Solving
Let me first explain what I am doing and then I will explain the problem that I can't figure out. I am basically trying to solve 2 equations for 2 unknowns (a1 and ...
0
votes
0answers
38 views
Symbolically implementing the following product
I have two products I hope to compare symbolically and I am hoping to use Mathematica for this. They are as follows:
$$
\prod_{1 \leq i < j \leq n} {(a_i + ...
