Theorems and algorithms: an interface between Isabelle and Maple
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Modeling inheritance as coercion in a symbolic computation system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
NKIMathE – a multi-purpose knowledge management environment for mathematical concepts
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Hi-index | 0.00 |