Edit Profile (opens in new tab) Caprotti, Olga Co-Author Distance Author ID: caprotti.olga Published as: Caprotti, Olga; Caprotti, O. Documents Indexed: 9 Publications since 1997 2 Contributions as Editor Co-Authors: 11 Co-Authors with 10 Joint Publications 326 Co-Co-Authors all top 5 Co-Authors 1 single-authored 4 Oostdijk, Martijn Diederik 2 Cohen, Arjeh Marcel 1 Benhamou, Belaid 1 Buchberger, Bruno 1 Calmet, Jacques 1 Dewar, Mike 1 Geuvers, Jan Herman 1 Henocque, Laurent 1 Schreiner, Wolfgang 1 Sorge, Volker 1 Turi, Daniele Serials 2 Journal of Symbolic Computation 1 Lecture Notes in Computer Science Fields 11 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Number theory (11-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 22 times in 18 Documents Cited by ▼ Year ▼ Formal and efficient primality proofs by use of computer algebra oracles. Zbl 1044.03503 Caprotti, Olga; Oostdijk, Martijn 6 2001 On the role of OpenMath in interactive mathematical documents. Zbl 0981.68185 Caprotti, O.; Cohen, A. M. 4 2001 Integrating computational and deduction systems using OpenMath. Zbl 0958.68154 Caprotti, O.; Cohen, A. M. 3 1999 Mathematical service matching using description logic and OWL. Zbl 1108.68585 Caprotti, Olga; Dewar, Mike; Turi, Daniele 3 2004 On communicating proofs in interactive mathematical documents. Zbl 1042.00510 Caprotti, Olga; Oostdijk, Martijn 2 2001 How to formally and efficiently prove prime(2999). Zbl 0999.68264 Caprotti, Olga; Oostdijk, Martijn 1 2001 Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24–26, 2001. Zbl 0978.00042 1 2001 Certified and portable mathematical documents from formal contexts. Zbl 0982.68167 Caprotti, Olga; Geuvers, Herman; Oostdijk, Martijn 1 2001 Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Zbl 0993.00048 1 2002 Mathematical service matching using description logic and OWL. Zbl 1108.68585 Caprotti, Olga; Dewar, Mike; Turi, Daniele 3 2004 Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Zbl 0993.00048 1 2002 Formal and efficient primality proofs by use of computer algebra oracles. Zbl 1044.03503 Caprotti, Olga; Oostdijk, Martijn 6 2001 On the role of OpenMath in interactive mathematical documents. Zbl 0981.68185 Caprotti, O.; Cohen, A. M. 4 2001 On communicating proofs in interactive mathematical documents. Zbl 1042.00510 Caprotti, Olga; Oostdijk, Martijn 2 2001 How to formally and efficiently prove prime(2999). Zbl 0999.68264 Caprotti, Olga; Oostdijk, Martijn 1 2001 Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24–26, 2001. Zbl 0978.00042 1 2001 Certified and portable mathematical documents from formal contexts. Zbl 0982.68167 Caprotti, Olga; Geuvers, Herman; Oostdijk, Martijn 1 2001 Integrating computational and deduction systems using OpenMath. Zbl 0958.68154 Caprotti, O.; Cohen, A. M. 3 1999 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 2 Guidi, Ferruccio 2 Kohlhase, Michael 2 Konovalov, Olexandr 2 Rabe, Florian 2 Sacerdoti Coen, Claudio 1 Abánades, Miguel Angel 1 Armando, Alessandro 1 Barendregt, Hendrik Pieter 1 Botana, Francisco 1 Bréhard, Florent 1 Caprotti, Olga 1 Carette, Jacques 1 Coglio, Alessandro 1 Cohen, Arjeh Marcel 1 Davenport, James Harold 1 Dehaye, Paul-Olivier 1 Delahaye, David 1 Dunchev, Cvetan 1 Farmer, William M. 1 Giunchiglia, Fausto 1 Horn, Peter D. 1 Hurd, Joe 1 Iancu, Mihnea 1 Khan Afshar, Sanaz 1 Komendantsky, Vladimir 1 Lelièvre, Samuel 1 Linton, Stephen A. 1 Mahboubi, Assia 1 Majumder, Bivash 1 Manna, Goutam 1 Mayero, Micaela 1 Müller, Dennis 1 Oostdijk, Martijn Diederik 1 Pfeiffer, Markus 1 Pous, Damien 1 Ranise, Silvio 1 Ray, Saibal 1 Roozemond, Dan 1 Seddiki, Ons 1 Tahar, Sofiène 1 Thiéry, Nicolas Marc 1 Wiesing, Tom all top 5 Cited in 7 Serials 5 Journal of Symbolic Computation 1 Fortschritte der Physik 1 Information and Computation 1 Journal of Automated Reasoning 1 Computational Geometry 1 The Journal of Logic and Algebraic Programming 1 Mathematics in Computer Science all top 5 Cited in 7 Fields 16 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Number theory (11-XX) 1 Special functions (33-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year