Coordinating mathematical content and presentation markup in interactive mathematical documents
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
A constructive algebraic hierarchy in Coq
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Comparing Mathematical Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Verification of probabilistic properties in HOL using the cumulative distribution function
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A wiki for Mizar: motivation, considerations, and initial prototype
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Automated theorem provers: a practical tool for the working mathematician?
Annals of Mathematics and Artificial Intelligence
Theorem proving in large formal mathematics as an emerging AI field
Automated Reasoning and Mathematics
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |