System Description: MBASE, an Open Mathematical Knowledge Base

Proof Development with Omega-MEGA: sqrt(2) Is Irrational

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

PROSPER - An Investigation into Software Architecture for Embedded Proof Engines

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems

Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management

OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge

AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation

Algorithms, Datastructures, and other Issues in Efficient Automated Deduction

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

NKIMathE – a multi-purpose knowledge management environment for mathematical concepts

KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management