Some definitions of the existential theory of the reals (ETR) allow a real closed field and some definitions allow only rational numbers as coefficients of polynomials. Which one i …

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 …

Is there any known (symbolic) method that solves a system of equations/inequalities that have trigonometric functions on the left-hand side of the system? Ex) Find $x,y,\theta \i …

Please give suggestions about soft to make symbolic computations with NON-commutative variables. Typical examples I am interesting - Capelli identities http://en.wikipedia.org/w …

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 PoSS …

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 feature …

Hello! I wonder how hard is it to implement more or less general symbolic integration algorithm (number of lines in a certain language)? Maybe someone here did this or knows some g …

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 …

I'm looking for resources discussing mathematical notation, the theory, the philosophy, the distinct advantages of various notations. Stuff about notation for computer algebra sys …