Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/solarjla/Caprotti17
AU - Caprotti, Olga
TI - Shapes of Educational Data in an Online Calculus Course.
JO - J. Learn. Anal.
VL - 4
IS - 2
PY - 2017/07/
DO - 10.18608/JLA.2017.42.8
UR - https://doi.org/10.18608/jla.2017.42.8
ER -
TY - Informal or Other Publication
ID - DBLP:journals/ercim/CaprottiS08
AU - Caprotti, Olga
AU - Seppälä, Mika
TI - The Future of Mathematics Education in Europe.
JO - ERCIM News
VL - 2008
IS - 73
PY - 2008//
UR - http://ercim-news.ercim.eu/the-future-of-mathematics-education-in-europe
ER -
TY - JOUR
ID - DBLP:journals/jsc/CaprottiS05
AU - Caprotti, Olga
AU - Sorge, Volker
TI - Integration of automated reasoning and computer algebra systems.
JO - J. Symb. Comput.
VL - 39
IS - 5
SP - 501
EP - 502
PY - 2005//
DO - 10.1016/J.JSC.2004.12.001
UR - https://doi.org/10.1016/j.jsc.2004.12.001
ER -
TY - CPAPER
ID - DBLP:conf/eee/BarakaCS05
AU - Baraka, Rebhi
AU - Caprotti, Olga
AU - Schreiner, Wolfgang
TI - A Web Registry for Publishing and Discovering Mathematical Services.
BT - 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China
SP - 190
EP - 193
PY - 2005//
DO - 10.1109/EEE.2005.24
UR - https://doi.org/10.1109/EEE.2005.24
UR - https://doi.ieeecomputersociety.org/10.1109/EEE.2005.24
ER -
TY - CPAPER
ID - DBLP:conf/esws/CaprottiDDP04
AU - Caprotti, Olga
AU - Davenport, James H.
AU - Dewar, Mike
AU - Padget, Julian A.
TI - Mathematics on the (Semantic) NET.
BT - The Semantic Web: Research and Applications, First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings
SP - 213
EP - 224
PY - 2004//
DO - 10.1007/978-3-540-25956-5_15
UR - https://doi.org/10.1007/978-3-540-25956-5_15
ER -
TY - CPAPER
ID - DBLP:conf/mkm/CaprottiDT04
AU - Caprotti, Olga
AU - Dewar, Mike
AU - Turi, Daniele
TI - Mathematical Service Matching Using Description Logic and OWL.
BT - Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
SP - 73
EP - 87
PY - 2004//
DO - 10.1007/978-3-540-27818-4_6
UR - https://doi.org/10.1007/978-3-540-27818-4_6
ER -
TY - JOUR
ID - DBLP:journals/cca/Caprotti03
AU - Caprotti, Olga
TI - International symposium on symbolic and algebraic computation poster abstracts 2003.
JO - SIGSAM Bull.
VL - 37
IS - 3
SP - 65
EP - 89
PY - 2003//
DO - 10.1145/1093528.1093529
UR - https://doi.org/10.1145/1093528.1093529
ER -
TY - JOUR
ID - DBLP:journals/cca/Caprotti03a
AU - Caprotti, Olga
TI - International symposium on symbolic and algebraic computation poster abstracts 2003.
JO - SIGSAM Bull.
VL - 37
IS - 3
SP - 65
PY - 2003//
DO - 10.1145/990353.990355
UR - https://doi.org/10.1145/990353.990355
ER -
TY - CPAPER
ID - DBLP:conf/euroweb/DewarCC02
AU - Dewar, Mike
AU - Carlisle, David
AU - Caprotti, Olga
TI - Position Paper: Description Schemes for Mathematical Web Services.
BT - The Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, St Anne's College, Oxford, UK. 17-18 December 2002
PY - 2002//
UR - http://ewic.bcs.org/content/ConWebDoc/4083
ER -
TY - CONF
ID - DBLP:conf/aisc/2002
ED - Calmet, Jacques
ED - Benhamou, Belaid
ED - Caprotti, Olga
ED - Henocque, Laurent
ED - Sorge, Volker
TI - Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings
T3 - Lecture Notes in Computer Science
VL - 2385
PY - 2002//
PB - Springer
DO - 10.1007/3-540-45470-5
UR - https://doi.org/10.1007/3-540-45470-5
UR - https://www.wikidata.org/entity/Q62041415
SN - ISBN 3-540-43865-3
ER -
TY - JOUR
ID - DBLP:journals/jsc/CaprottiO01
AU - Caprotti, Olga
AU - Oostdijk, Martijn
TI - Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles.
JO - J. Symb. Comput.
VL - 32
IS - 1/2
SP - 55
EP - 70
PY - 2001//
DO - 10.1006/JSCO.2001.0457
UR - https://doi.org/10.1006/jsco.2001.0457
ER -
TY - JOUR
ID - DBLP:journals/jsc/CaprottiC01
AU - Caprotti, Olga
AU - Cohen, Arjeh M.
TI - On the Role of OpenMath in Interactive Mathematical Documents.
JO - J. Symb. Comput.
VL - 32
IS - 4
SP - 351
EP - 364
PY - 2001//
DO - 10.1006/JSCO.2000.0466
UR - https://doi.org/10.1006/jsco.2000.0466
ER -
TY - JOUR
ID - DBLP:journals/cca/CaprottiCR00
AU - Caprotti, Olga
AU - Cohen, Arjeh M.
AU - Riem, Manfred
TI - JAVA Phrasebooks for computer algebra and automated deduction.
JO - SIGSAM Bull.
VL - 34
IS - 2
SP - 33
EP - 37
PY - 2000//
DO - 10.1145/362001.362019
UR - https://doi.org/10.1145/362001.362019
ER -
TY - CPAPER
ID - DBLP:conf/aisc/CaprottiO00
AU - Caprotti, Olga
AU - Oostdijk, Martijn
TI - On Communicating Proofs in Interactive Mathematical Documents.
BT - Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers
SP - 53
EP - 64
PY - 2000//
DO - 10.1007/3-540-44990-6_4
UR - https://doi.org/10.1007/3-540-44990-6_4
ER -
TY - JOUR
ID - DBLP:journals/crossroads/CaprottiC99
AU - Caprotti, Olga
AU - Carlisle, David
TI - OpenMath and MathML: semantic markup for mathematics.
JO - XRDS
VL - 6
IS - 2
SP - 11
EP - 14
PY - 1999//
DO - 10.1145/333104.333110
UR - https://doi.org/10.1145/333104.333110
ER -
TY - CPAPER
ID - DBLP:conf/tphol/CaprottiC99
AU - Caprotti, Olga
AU - Cohen, Arjeh M.
TI - Connecting Proof Checkers and Computer Algebra Using OpenMath.
BT - Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings
SP - 109
EP - 112
PY - 1999//
DO - 10.1007/3-540-48256-3_8
UR - https://doi.org/10.1007/3-540-48256-3_8
ER -
TY - CPAPER
ID - DBLP:journals/entcs/CaprottiC99
AU - Caprotti, Olga
AU - Cohen, Arjeh M.
TI - Integrating computational and deduction systems using OpenMath.
BT - Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999
SP - 469
EP - 480
PY - 1999//
DO - 10.1016/S1571-0661(05)80616-4
UR - https://doi.org/10.1016/S1571-0661(05)80616-4
ER -
TY - CPAPER
ID - DBLP:conf/disco/Caprotti93
AU - Caprotti, Olga
TI - Extending RISC-CLP (Real) to Handle Symbolic Functions.
BT - Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings
SP - 241
EP - 255
PY - 1993//
DO - 10.1007/BFB0013181
UR - https://doi.org/10.1007/BFb0013181
ER -
TY - CPAPER
ID - DBLP:conf/disco/Caprotti92
AU - Caprotti, Olga
TI - An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series.
BT - Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings
SP - 203
EP - 214
PY - 1992//
DO - 10.1007/3-540-57272-4_36
UR - https://doi.org/10.1007/3-540-57272-4_36
ER -
