Olga Caprotti - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2017

Shapes of Educational Data in an Online Calculus CourseOlga Caprotti. solarjla, 4(2), July 2017. [doi]

2008

The Future of Mathematics Education in EuropeOlga Caprotti, Mika SeppÃ¤lÃ¤. ercim, 2008(73), 2008. [doi]

2005

A Web Registry for Publishing and Discovering Mathematical ServicesRebhi Baraka, Olga Caprotti, Wolfgang Schreiner. eee 2005: 190-193 [doi]

Integration of automated reasoning and computer algebra systemsOlga Caprotti, Volker Sorge. JSC, 39(5):501-502, 2005. [doi]

2004

Mathematical Service Matching Using Description Logic and OWLOlga Caprotti, Mike Dewar, Daniele Turi. mkm 2004: 73-87 [doi]

Mathematics on the (Semantic) NETOlga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget. esws 2004: 213-224 [doi]

2003

International symposium on symbolic and algebraic computation poster abstracts 2003Olga Caprotti. cca, 37(3):65, 2003. [doi]

International symposium on symbolic and algebraic computation poster abstracts 2003Olga Caprotti. cca, 37(3):65-89, 2003. [doi]

2002

Position Paper: Description Schemes for Mathematical Web ServicesMike Dewar, David Carlisle, Olga Caprotti. euroweb 2002: [doi]

2001

Formal and Efficient Primality Proofs by Use of Computer Algebra OraclesOlga Caprotti, Martijn Oostdijk. JSC, 32(1/2):55-70, 2001.

On the Role of OpenMath in Interactive Mathematical DocumentsOlga Caprotti, Arjeh M. Cohen. JSC, 32(4):351-364, 2001.

2000

On Communicating Proofs in Interactive Mathematical DocumentsOlga Caprotti, Martijn Oostdijk. AISC 2001: 53-64 [doi]

JAVA Phrasebooks for computer algebra and automated deductionOlga Caprotti, Arjeh M. Cohen, Manfred Riem. cca, 34(2):33-37, 2000. [doi]

1999

OpenMath and MathML: semantic markup for mathematicsOlga Caprotti, David Carlisle. crossroads, 6(2):11-14, 1999. [doi]

Integrating computational and deduction systems using OpenMathOlga Caprotti, Arjeh M. Cohen. ENTCS, 23(3):469-480, 1999. [doi]

Connecting Proof Checkers and Computer Algebra Using OpenMathOlga Caprotti, Arjeh M. Cohen. tphol 1999: 109-112 [doi]

1993

Extending RISC-CLP (Real) to Handle Symbolic FunctionsOlga Caprotti. disco 1993: 241-255

1992

An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and SeriesOlga Caprotti. disco 1993: 203-214

Sign in or sign up to see more results.

runs on WebDSL