Olga Caprotti

From MaRDI portal
Person:597111

Available identifiers

zbMath Open caprotti.olgaMaRDI QIDQ597111

List of research outcomes





PublicationDate of PublicationType
Mathematical Knowledge Management2005-08-26Paper
Formal and efficient primality proofs by use of computer algebra oracles2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44719392004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q47904772003-01-28Paper
How to formally and efficiently prove prime(2999)2002-07-03Paper
Certified and portable mathematical documents from formal contexts2002-02-14Paper
On the role of OpenMath in interactive mathematical documents2002-01-02Paper
https://portal.mardi4nfdi.de/entity/Q44991522001-03-06Paper
https://portal.mardi4nfdi.de/entity/Q43628981998-06-11Paper

Research outcomes over time

This page was built for person: Olga Caprotti

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:597111&oldid=10511833"
Powered by MediaWiki