×
Author ID: caprotti.olga Recent zbMATH articles by "Caprotti, Olga"
Published as: Caprotti, Olga; Caprotti, O.

Publications by Year

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

Citations by Year