Olga Caprotti

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 1

Top Topics

Social Networks

Knowledge Discovery

Top Venues

J. Learn. Anal.

Publications

Olga Caprotti
Shapes of Educational Data in an Online Calculus Course. J. Learn. Anal. 4 (2) (2017)
Olga Caprotti, Mika Seppälä
The Future of Mathematics Education in Europe. ERCIM News 2008 (73) (2008)
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner
A Web Registry for Publishing and Discovering Mathematical Services. EEE (2005)
Olga Caprotti, Volker Sorge
Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39 (5) (2005)
Olga Caprotti, Mike Dewar, Daniele Turi
Mathematical Service Matching Using Description Logic and OWL. MKM (2004)
Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget
Mathematics on the (Semantic) NET. ESWS (2004)
Olga Caprotti
International symposium on symbolic and algebraic computation poster abstracts 2003. SIGSAM Bull. 37 (3) (2003)
Olga Caprotti
International symposium on symbolic and algebraic computation poster abstracts 2003. SIGSAM Bull. 37 (3) (2003)
Mike Dewar, David Carlisle, Olga Caprotti
Position Paper: Description Schemes for Mathematical Web Services. EuroWeb (2002)
Olga Caprotti, Arjeh M. Cohen
On the Role of OpenMath in Interactive Mathematical Documents. J. Symb. Comput. 32 (4) (2001)
Olga Caprotti, Martijn Oostdijk
Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. J. Symb. Comput. 32 (1/2) (2001)
Olga Caprotti, Arjeh M. Cohen, Manfred Riem
JAVA Phrasebooks for computer algebra and automated deduction. SIGSAM Bull. 34 (2) (2000)
Olga Caprotti, Martijn Oostdijk
On Communicating Proofs in Interactive Mathematical Documents. AISC (2000)
Olga Caprotti, Arjeh M. Cohen
Integrating computational and deduction systems using OpenMath. Calculemus (1999)
Olga Caprotti, Arjeh M. Cohen
Connecting Proof Checkers and Computer Algebra Using OpenMath. TPHOLs (1999)
Olga Caprotti, David Carlisle
OpenMath and MathML: semantic markup for mathematics. XRDS 6 (2) (1999)
Olga Caprotti
Extending RISC-CLP (Real) to Handle Symbolic Functions. DISCO (1993)
Olga Caprotti
An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. DISCO (1992)