selected publications

• academic article

  • Agent Based Mathematical Reasoning1 1This work was partly supported by EPSRC grant GR/M22031..  Electronic Notes in Theoretical Computer Science.  23:340-351. 1999

• chapter

  • Critical Agents Supporting Interactive Theorem Proving.  Springer eBooks. 208-221. 1999
  • A blackboard architecture for guiding interactive proofs.  Lecture Notes in Computer Science. 102-114. 1998