For questions about symbolic computation, as opposed to numerical computations.
6
votes
0answers
109 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
72 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] ...
2
votes
0answers
61 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
...
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 ...
