An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. - Olga Caprotti (DISCO, 1992)

Extending RISC-CLP (Real) to Handle Symbolic Functions. - Olga Caprotti (DISCO, 1993)

Connecting Proof Checkers and Computer Algebra Using OpenMath. - Olga Caprotti; Arjeh M. Cohen (TPHOLs, 1999)

OpenMath and MathML: semantic markup for mathematics. - Olga Caprotti; David Carlisle (XRDS, 1999)

Integrating computational and deduction systems using OpenMath. - Olga Caprotti; Arjeh M. Cohen (Calculemus, 1999)

On Communicating Proofs in Interactive Mathematical Documents. - Olga Caprotti; Martijn Oostdijk (AISC, 2000)

JAVA Phrasebooks for computer algebra and automated deduction. - Olga Caprotti; Arjeh M. Cohen; Manfred Riem (SIGSAM Bull., 2000)

On the Role of OpenMath in Interactive Mathematical Documents. - Olga Caprotti; Arjeh M. Cohen (J. Symb. Comput., 2001)

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. - Olga Caprotti; Martijn Oostdijk (J. Symb. Comput., 2001)

Position Paper: Description Schemes for Mathematical Web Services. - Mike Dewar; David Carlisle; Olga Caprotti (EuroWeb, 2002)

International symposium on symbolic and algebraic computation poster abstracts 2003. - Olga Caprotti (SIGSAM Bull., 2003)

Mathematics on the (Semantic) NET. - Olga Caprotti; James H. Davenport; Mike Dewar; Julian A. Padget (ESWS, 2004)

Mathematical Service Matching Using Description Logic and OWL. - Olga Caprotti; Mike Dewar; Daniele Turi (MKM, 2004)

A Web Registry for Publishing and Discovering Mathematical Services. - Rebhi Baraka; Olga Caprotti; Wolfgang Schreiner (EEE, 2005)

Integration of automated reasoning and computer algebra systems. - Olga Caprotti; Volker Sorge (J. Symb. Comput., 2005)

The Future of Mathematics Education in Europe. - Olga Caprotti; Mika Seppälä (ERCIM News, 2008)

Shapes of Educational Data in an Online Calculus Course. - Olga Caprotti (J. Learn. Anal., 2017)