MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Olga Caprotti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Extending RISC-CLP(Real) to Handle Symbolic Functions
by Olga Caprotti — 1993 — DISCO '93: International Symposium on Design and Implementation of Symbolic Computation Systems
…Extending RISC-CLP(Real) to Handle Symbolic Functions Olga Caprotti ? Research Institute…
Cited by 4 (0 self) – Add To MetaCart

Multilingual Access to Mathematical Exercise Problems
by Andreas Strotmann, Olga Caprotti — 2005 — Electronic Proceedings of the Internet Accessible Mathematical Computation Workshop
… , and Olga Caprotti 3 1 University of Cologne, ZAIK/RRZK 2 University of Helsinki, Dept. of Linguistics 3…
Cited by 1 (0 self) – Add To MetaCart

Joining Educational Mathematics 1
by Olga Caprotti, Matti Pauna
…Joining Educational Mathematics 1 Olga Caprotti and Mika Seppälä and Matti Pauna Department…
Add To MetaCart

c ○ 2002–2003 The MONET Consortium (IST-2001-34145) Deliverable D05 (Public) Contents
by Olga Caprotti, Mike Dewar, Ist-- Monet — 2002
…Version: 1.0 Date: November 2002 Mathematical Problem Ontology: Initial Draft Olga Caprotti 1…
Add To MetaCart

Certified and Portable Mathematical Documents from Formal Contexts
by Olga Caprotti, Herman Geuvers, Martijn Oostdijk — 2001
…Certied and Portable Mathematical Documents from Formal Contexts Olga Caprotti 1 , Herman…
Cited by 3 (1 self) – Add To MetaCart

A Web Registry for Publishing and Discovering Mathematical Services
by Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner — 2005 — In Proceedings of IEEE Conference on e-Technology, eCommerce, and e-Service, Hong Kong, March 29 – April 1, 2005. IEEE Computer Society
…A Web Registry for Publishing and Discovering Mathematical Services Rebhi Baraka ∗ , Olga Caprotti…
Cited by 3 (2 self) – Add To MetaCart

Reachability Test in Petri Nets by Gröbner Bases
by Olga Caprotti, Alois Ferscha, Hoon Hong — 1995
…Reachability Test in Petri Nets by Grobner Bases Olga Caprotti Alois Ferscha z Hoon Hong…
Cited by 1 (0 self) – Add To MetaCart

Mathematical service matching using Description Logic and OWL
by Olga Caprotti, Mike Dewar, Daniele Turi — 2004 — in Proceedings 3rd Int’l Conference on Mathematical Knowledge Management (MKM’04). Volume 3119 of Lecture Notes in Computer Science., SpringerVerlag
…Mathematical Service Matching Using Description Logic and OWL Olga Caprotti 1 , Mike Dewar 2…
Cited by 10 (4 self) – Add To MetaCart

Spline Implicitization of Planar Curves
by Communicated Olga Caprotti, B. Jüttler, J. Schicho, M. Shalaby — 2003 — In Automated deduction in geometry, volume 2930 of LNCS
… and Algebraic Computation Poster Abstracts 2003 Communicated by Olga Caprotti RISC-Linz Research Institute…
Cited by 4 (3 self) – Add To MetaCart

OpenMath Technology for Interactive Mathematical Documents
by Olga Caprotti, Arjeh M. Cohen, Hans Cuypers, Hans Sterk — 2002
…OpenMath Technology for Interactive Mathematical Documents Olga Caprotti, Arjeh M. Cohen, Hans…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB