( en | de | ru )

 

Disambiguation of "Caprotti, Olga"

Author of the publication

copydeleteadd this publication to your clipboard
Connecting Proof Checkers and Computer Algebra Using OpenMath.

, and . TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 109-112. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Üstün Olgay

Olga Munteanu

Rapidly changing automotive global value chains in Hungary: multinational vs. local firm perspectives. Uni Leipzig, (2009)

Olga Bruskina

Periinterventionelle Blutungskomplikationen und die Auswirkung auf den 1-Jahresverlauf nach perkutaner Koronarintervention: Blutungen als zusätzliche Komponente eines kombinierten klinischen Endpunktes. TU München, (2008)

Olga Osetska

Homo- and heterodinuclear luminescent helicates. TU Aachen, (2008)

Olga Narygina

 

Other publications of authors with the same name

On Communicating Proofs in Interactive Mathematical Documents., and . AISC, volume 1930 of Lecture Notes in Computer Science, page 53-64. Springer, (2000)Extending RISC-CLP (Real) to Handle Symbolic Functions.. DISCO, volume 722 of Lecture Notes in Computer Science, page 241-255. Springer, (1993)A Web Registry for Publishing and Discovering Mathematical Services., , and . EEE, page 190-193. IEEE Computer Society, (2005)Mathematical Service Matching Using Description Logic and OWL., , and . MKM, volume 3119 of Lecture Notes in Computer Science, page 73-87. Springer, (2004)Mathematics on the (Semantic) NET., , , and . ESWS, volume 3053 of Lecture Notes in Computer Science, page 213-224. Springer, (2004)Position Paper: Description Schemes for Mathematical Web Services., , and . EuroWeb, BCS, (2002)Shapes of Educational Data in an Online Calculus Course.. J. Learn. Anal., (July 2017)An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series.. DISCO, volume 721 of Lecture Notes in Computer Science, page 203-214. Springer, (1992)Connecting Proof Checkers and Computer Algebra Using OpenMath., and . TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 109-112. Springer, (1999)Mathematical service matching using description logic and OWL, and . (2004)