The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
0answers
1k views

Why is mechanical differentiation so hard to get right?

This question is related to this question on differentiation/integration which asks why differentiation is mechanical but integration is an art. The answers given all make a huge assumption: that one ...
5
votes
0answers
221 views

What became of PoSSo and FRISCO

I know PoSSo and FRISCO were pretty big projects involving many European universities. Interestingly, I couldn't find much information about these projects (the the top of the PoSSo homepage says ...
2
votes
0answers
59 views

Algorithmic quantifier elimination over p-adic fields

It is known that the first-order theory of p-adic fields is decidable, and that the p-adics admit elimination of quantifiers. What is the state of the art in algorithmic aspects of quantifier ...
2
votes
0answers
91 views

Tools for “bound guessing”

I have a somewhat complicated symbolic expression of the form $\frac{J-a+\frac{q}{a}}{J(J-a)+q}$, where $J,a$ and $q$ are themselves affine functions of four other variables $d,r,c,s$, and I want to ...
1
vote
0answers
66 views

Testing functional equivalence

We are looking for the most efficient (most recent, or best) techniques to check if two algebraic expressions (elementary, Calculus-type functions) are equivalent (or if an expression is equivalent to ...
1
vote
0answers
563 views

symbolic diagonalization of a matrix

Hi, I am looking for algorithms that can perform a diagonalization, in a symbolic way, of a given matrix. I need to find a similarity transformation, if it exists. Desired features of the algorithms ...