Olga Caprotti

	2008
14		Olga Caprotti, Mika Seppälä: The Future of Mathematics Education in Europe. ERCIM News 2008(73): (2008)
	2005
13		Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner: A Web Registry for Publishing and Discovering Mathematical Services. EEE 2005: 190-193
12		Olga Caprotti, Volker Sorge: Integration of automated reasoning and computer algebra systems. J. Symb. Comput. 39(5): 501-502 (2005)
	2004
11		Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget: Mathematics on the (Semantic) NET. ESWS 2004: 213-224
10		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		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		Olga Caprotti, Martijn Oostdijk: On Communicating Proofs in Interactive Mathematical Documents. AISC 2000: 53-64
	1999
4		Olga Caprotti, Arjeh M. Cohen: Connecting Proof Checkers and Computer Algebra Using OpenMath. TPHOLs 1999: 109-112
3		Olga Caprotti, Arjeh M. Cohen: Integrating computational and deduction systems using OpenMath. Electr. Notes Theor. Comput. Sci. 23(3): 469-480 (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 (James Harold 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	Mika Seppälä	[14]
13	Volker Sorge	[9] [12]
14	Daniele Turi	[10]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page