Olga Caprotti

According to our database, Olga Caprotti authored at least 17 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Shapes of Educational Data in an Online Calculus Course.

Olga Caprotti

J. Learn. Anal., July, 2017

2008

The Future of Mathematics Education in Europe.

Olga Caprotti, Mika Seppälä

ERCIM News, 2008

2005

Integration of automated reasoning and computer algebra systems.

Olga Caprotti, Volker Sorge

J. Symb. Comput., 2005

A Web Registry for Publishing and Discovering Mathematical Services.

Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner

Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

2004

Mathematical Service Matching Using Description Logic and OWL.

Olga Caprotti, Mike Dewar, Daniele Turi

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Mathematics on the (Semantic) NET.

Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget

Proceedings of the Semantic Web: Research and Applications, 2004

2003

International symposium on symbolic and algebraic computation poster abstracts 2003.

Olga Caprotti

SIGSAM Bull., 2003

2002

Position Paper: Description Schemes for Mathematical Web Services.

Mike Dewar, David Carlisle, Olga Caprotti

Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002

2001

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles.

Olga Caprotti, Martijn Oostdijk

J. Symb. Comput., 2001

On the Role of OpenMath in Interactive Mathematical Documents.

Olga Caprotti, Arjeh M. Cohen

J. Symb. Comput., 2001

2000

JAVA Phrasebooks for computer algebra and automated deduction.

Olga Caprotti, Arjeh M. Cohen, Manfred Riem

SIGSAM Bull., 2000

On Communicating Proofs in Interactive Mathematical Documents.

Olga Caprotti, Martijn Oostdijk

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999

Integrating computational and deduction systems using OpenMath.

Olga Caprotti, Arjeh M. Cohen

Proceedings of the Systems for Integrated Computation and Deduction, 1999

OpenMath and MathML: semantic markup for mathematics.

Olga Caprotti, David Carlisle

XRDS, 1999

Connecting Proof Checkers and Computer Algebra Using OpenMath.

Olga Caprotti, Arjeh M. Cohen

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1993

Extending RISC-CLP (Real) to Handle Symbolic Functions.

Olga Caprotti

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series.

Olga Caprotti

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992