Olga Caprotti

2005
13	EE	Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner: A Web Registry for Publishing and Discovering Mathematical Services. EEE 2005: 190-193
12	EE	Olga Caprotti, Volker Sorge: Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39(5): 501-502 (2005)
2004
11	EE	Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget: Mathematics on the (Semantic) NET. ESWS 2004: 213-224
10	EE	Olga Caprotti, Mike Dewar, Daniele Turi: Mathematical Service Matching Using Description Logic and OWL. MKM 2004: 73-87
2002
9		Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings Springer 2002
8	EE	Mike Dewar, David Carlisle, Olga Caprotti: Position Paper: Description Schemes for Mathematical Web Services. EuroWeb 2002
2001
7		Olga Caprotti, Martijn Oostdijk: Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. J. Symb. Comput. 32(1/2): 55-70 (2001)
6		Olga Caprotti, Arjeh M. Cohen: On the Role of OpenMath in Interactive Mathematical Documents. J. Symb. Comput. 32(4): 351-364 (2001)
2000
5	EE	Olga Caprotti, Martijn Oostdijk: On Communicating Proofs in Interactive Mathematical Documents. AISC 2000: 53-64
1999
4	EE	Olga Caprotti, Arjeh M. Cohen: Connecting Proof Checkers and Computer Algebra Using OpenMath. TPHOLs 1999: 109-112
3	EE	Olga Caprotti, Arjeh M. Cohen: Integrating computational and deduction systems using OpenMath. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1993
2		Olga Caprotti: Extending RISC-CLP (Real) to Handle Symbolic Functions. DISCO 1993: 241-255
1992
1		Olga Caprotti: An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. DISCO 1992: 203-214

Coauthor Index

1	Rebhi Baraka	[13]
2	Belaid Benhamou	[9]
3	Jacques Calmet	[9]
4	David Carlisle	[8]
5	Arjeh M. Cohen	[3] [4] [6]
6	James H. Davenport	[11]
7	Mike Dewar	[8] [10] [11]
8	Laurent Henocque	[9]
9	Martijn Oostdijk	[5] [7]
10	Julian A. Padget	[11]
11	Wolfgang Schreiner	[13]
12	Volker Sorge	[9] [12]
13	Daniele Turi	[10]

Colors in the list of coauthors