Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Proof-assistants using dependent type systems
Handbook of automated reasoning
View of computer algebra data from Coq
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
A computational approach to pocklington certificates in type theory
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Essential incompleteness of arithmetic verified by coq
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
A functional framework for result checking
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Hi-index | 0.00 |