关注
Olga Caprotti
Olga Caprotti
WEPS Portal
在 mappi.helsinki.fi 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
The open math standard
S Buswell, O Caprotti, DP Carlisle, MC Dewar, M Gaetano, M Kohlhase
version 2.0. Technical report, The Open Math Society, 2004. http://www …, 2004
2002004
Mathematical service matching using Description Logic and OWL
O Caprotti, M Dewar, D Turi
Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004
562004
OpenMath and MathML: semantic markup for mathematics
O Caprotti, D Carlisle
XRDS: Crossroads, The ACM Magazine for Students 6 (2), 11-14, 1999
461999
The OpenMath Standard, Version 2.0
S Buswell, O Caprotti, DP Carlisle, MC Dewar, M Gaëtano, M Kohlhase
The OpenMath Society, 2004
392004
The OpenMath Standard
O Caprotti, DP Carlisle, AM Cohen
The OpenMath Consortium, 2002
372002
WebALT! Deliver mathematics everywhere
O Caprotti
Society for Information Technology & Teacher Education International …, 2006
342006
Formal and efficient primality proofs by use of computer algebra oracles
O Caprotti, M Oostdijk
Journal of Symbolic Computation 32 (1-2), 55-70, 2001
332001
Mathematics on the (Semantic) NET
O Caprotti, JH Davenport, M Dewar, J Padget
European Semantic Web Symposium, 213-224, 2004
292004
A Web registry for publishing and discovering mathematical services
R Baraka, O Caprotti, W Schreiner
2005 IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2005
262005
Draft of the Open Math standard. The Open Math Society
O Caprotti, AM Cohen
251998
Towards a mathematical services description language
O Caprotti, W Schreiner
Mathematical Software, 442-452, 2002
242002
JAVA phrasebooks for computer algebra and automated deduction
O Caprotti, AM Cohen, M Riem
ACM SIGSAM Bulletin 34 (2), 33-37, 2000
212000
Connecting Proof Checkers and Computer Algebra Using OpenMath
O Caprotti, AM Cohen
Theorem Proving in Higher Order Logics: 12th International Conference …, 1999
171999
Reachability test in Petri nets by Gröbner bases
O Caprotti, A Ferscha, H Hong
Johannes Kepler University Linz Technical Report, 1995
171995
Mathematical Markup Language (MathML) version 3.0. W3C Working Draft of 4. June 2009
R Ausbrooks, B Bos, O Caprotti, D Carlisle, G Chavchanidze, A Coorg, ...
World Wide Web Consortium, 2009
152009
Novel aspects of the use of ICT in mathematics education
O Caprotti, M Seppälä, S Xambó
Innovations in e-learning, instruction technology, assessment, and …, 2007
152007
Draft of the open math standard. Open Math Consortium
O Caprotti, AM Cohen
151998
Description schemes for mathematical web services
M Dewar, D Carlisle, O Caprotti
EuroWeb 2002 Conference, 2002
142002
OpenMath Technology for Interactive Mathematical Documents
O Caprotti, AM Cohen, H Cuypers, H Sterk
Multimedia Tools for Communicating Mathematics, 51-65, 2002
142002
Shapes of educational data in an online calculus course
O Caprotti
Journal of Learning Analytics 4 (2), 76–90-76–90, 2017
132017
系统目前无法执行此操作,请稍后再试。
文章 1–20