Olga Caprotti

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