Theorems and algorithms: an interface between Isabelle and Maple
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
Hi-index | 0.00 |