| The open math standard S Buswell, O Caprotti, DP Carlisle, MC Dewar, M Gaetano, M Kohlhase version 2.0. Technical report, The Open Math Society, 2004. http://www …, 2004 | 190 | 2004 |
| Mathematical service matching using Description Logic and OWL O Caprotti, M Dewar, D Turi Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004 | 55 | 2004 |
| OpenMath and MathML: semantic markup for mathematics O Caprotti, D Carlisle XRDS: Crossroads, The ACM Magazine for Students 6 (2), 11-14, 1999 | 46 | 1999 |
| The OpenMath Standard, Version 2.0 S Buswell, O Caprotti, DP Carlisle, MC Dewar, M Gaëtano, M Kohlhase The OpenMath Society, 2004 | 38 | 2004 |
| The OpenMath Standard O Caprotti, DP Carlisle, AM Cohen The OpenMath Consortium, 2002 | 36 | 2002 |
| Formal and efficient primality proofs by use of computer algebra oracles O Caprotti, M Oostdijk Journal of Symbolic Computation 32 (1-2), 55-70, 2001 | 34 | 2001 |
| WebALT! Deliver mathematics everywhere O Caprotti Society for Information Technology & Teacher Education International …, 2006 | 32 | 2006 |
| Mathematics on the (Semantic) NET O Caprotti, JH Davenport, M Dewar, J Padget The Semantic Web: Research and Applications: First European Semantic Web …, 2004 | 30 | 2004 |
| Draft of the Open Math standard. The Open Math Society O Caprotti, AM Cohen | 26 | 1998 |
| A Web registry for publishing and discovering mathematical services R Baraka, O Caprotti, W Schreiner 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2005 | 25 | 2005 |
| Towards a mathematical services description language O Caprotti, W Schreiner Mathematical Software, 442-452, 2002 | 24 | 2002 |
| JAVA phrasebooks for computer algebra and automated deduction O Caprotti, AM Cohen, M Riem ACM SIGSAM Bulletin 34 (2), 33-37, 2000 | 20 | 2000 |
| Connecting Proof Checkers and Computer Algebra Using OpenMath O Caprotti, AM Cohen Theorem Proving in Higher Order Logics: 12th International Conference …, 1999 | 18 | 1999 |
| Reachability test in Petri nets by Gröbner bases O Caprotti, A Ferscha, H Hong Johannes Kepler University Linz Technical Report, 1995 | 17 | 1995 |
| Mathematical Markup Language (MathML) version 3.0. W3C Working Draft of 4. June 2009 R Ausbrooks, B Bos, O Caprotti, D Carlisle, G Chavchanidze, A Coorg, ... World Wide Web Consortium, 2009 | 15 | 2009 |
| Draft of the open math standard. Open Math Consortium O Caprotti, AM Cohen | 15 | 1998 |
| Novel aspects of the use of ICT in mathematics education O Caprotti, M Seppälä, S Xambó Innovations in e-learning, instruction technology, assessment, and …, 2007 | 14 | 2007 |
| On communicating proofs in interactive mathematical documents O Caprotti, M Oostdijk Artificial Intelligence and Symbolic Computation: International Conference …, 2001 | 14 | 2001 |
| Integrating computational and deduction systems using OpenMath O Caprotti, AM Cohen Electronic Notes in Theoretical Computer Science 23 (3), 469-480, 1999 | 14 | 1999 |
| Using web technologies to teach mathematics M Seppala, O Caprotti, S Xambó Society for Information Technology & Teacher Education International …, 2006 | 13 | 2006 |
Aarne RantaProfessor of Computer Science, University of GothenburgVerified email at chalmers.se
