on Computer algebra: symbolic and algebraic computation (2nd ed.)
on Computer algebra: symbolic and algebraic computation (2nd ed.)
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Computer algebra: systems and algorithms for algebraic computation
Computer algebra: systems and algorithms for algebraic computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Sufficiency analysis for the calculus of variations
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
| Hi-index | 0.00 |