Sam Owre

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
CoProver: a recommender system for proof construction Lecture Notes in Computer Science	2024-02-28	Paper
An augmented MetiTarski dataset for real quantifier elimination using machine learning Lecture Notes in Computer Science	2024-02-28	Paper
Making PVS accessible to generic services by interpretation in a universal format	2018-01-04	Paper
The semantics of Datalog for the evidential tool bus (extended abstract) Specification, Algebra, and Software	2014-03-25	Paper
A Brief Overview of PVS Lecture Notes in Computer Science	2008-12-04	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 1863375 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1798183 (Why is no real title available?)	2002-11-04	Paper
scientific article; zbMATH DE number 1701753 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1670802 (Why is no real title available?)	2001-12-18	Paper
scientific article; zbMATH DE number 1617290 (Why is no real title available?)	2001-07-11	Paper

Research outcomes over time

This page was built for person: Sam Owre