Robert S. Boyer

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
A theorem prover for a computational logic	2023-04-28	Paper
A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we? Automated Deduction — CADE-12	2020-01-21	Paper
A fast string searching algorithm Communications of the ACM	2011-08-31	Paper
Toward automating the discovery of decreasing measures Journal of Automated Reasoning	2007-01-30	Paper
Periodic attractors of random truncator maps	2006-06-27	Paper
Properties of a renewal process approximation for a spin market model	2005-01-16	Paper
Statistical properties of the phase transitions in a spin model for market microstructure	2005-01-15	Paper
Automated proofs of object code for a widely used microprocessor Journal of the ACM	1998-01-19	Paper
scientific article; zbMATH DE number 193479 (Why is no real title available?)	1993-06-05	Paper
scientific article; zbMATH DE number 88983 (Why is no real title available?)	1993-01-16	Paper
scientific article; zbMATH DE number 4164171 (Why is no real title available?)	1990-01-01	Paper
The addition of bounded quantification and partial functions to a computational logic and its theorem prover Journal of Automated Reasoning	1988-01-01	Paper
scientific article; zbMATH DE number 4112064 (Why is no real title available?)	1988-01-01	Paper
A Mechanical Proof of the Unsolvability of the Halting Problem Journal of the ACM	1984-01-01	Paper
scientific article; zbMATH DE number 3938596 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3880145 (Why is no real title available?)	1984-01-01	Paper
Proof Checking the RSA Public Key Encryption Algorithm The American Mathematical Monthly	1984-01-01	Paper
scientific article; zbMATH DE number 3702108 (Why is no real title available?)	1979-01-01	Paper
Proving Theorems about LISP Functions Journal of the ACM	1975-01-01	Paper
scientific article; zbMATH DE number 3395362 (Why is no real title available?)	1972-01-01	Paper
Computer proofs of limit theorems Artificial Intelligence	1972-01-01	Paper

Research outcomes over time

This page was built for person: Robert S. Boyer