Sam Owre

From MaRDI portal
Person:1687751

Available identifiers

zbMath Open owre.samMaRDI QIDQ1687751

List of research outcomes





PublicationDate of PublicationType
CoProver: a recommender system for proof construction2024-02-28Paper
An augmented MetiTarski dataset for real quantifier elimination using machine learning2024-02-28Paper
Making PVS accessible to generic services by interpretation in a universal format2018-01-04Paper
The Semantics of Datalog for the Evidential Tool Bus2014-03-25Paper
A Brief Overview of PVS2008-12-04Paper
Automated Reasoning2007-09-25Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q47906492003-02-04Paper
https://portal.mardi4nfdi.de/entity/Q45532562002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q27695802002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27541182001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q27220142001-07-11Paper

Research outcomes over time

This page was built for person: Sam Owre

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