Martin Pollet
University of Bath(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, Mathematics, Computing, and Information Processing
Most-Cited Works
- ActiveMath: A Generic and Adaptive Web-Based Learning Environment(2001)
- → Proof Development with Ωmega(2002)69 cited
- The use of data-mining for the automatic formation of tactics(2004)
- → LΩUI: Lovely ΩMEGA User Interface(1999)34 cited
- → Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$(2003)32 cited
- → Comparing Approaches to the Exploration of the Domain of Residue Classes(2002)25 cited
- Proof Development with Omega-MEGA: sqrt(2) Is Irrational(2002)
- → Intuitive and Formal Representations: The Case of Matrices(2004)15 cited
- → Certifying Solutions to Permutation Group Problems(2003)13 cited
- Automatic learning in proof planning(2002)