Searching for authors named "Olga Caprotti" – sorted by Relevance.
-
Extending RISC-CLP(Real) to Handle Symbolic Functions
- 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
- , 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- OpenMath Technology for Interactive Mathematical Documents Olga Caprotti, Arjeh M. Cohen, Hans
- Cited by 2 (1 self) – Add To MetaCart

