Christoph Walther

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
Formally verified Montgomery multiplication Computer Aided Verification	2023-05-05	Paper
Verified Newton-Raphson iteration for multiplicative inverses modulo powers of any base ACM Transactions on Mathematical Software	2019-10-18	Paper
Termination of theorem proving by reuse Automated Deduction — Cade-13	2019-01-15	Paper
Fermat, Euler, Wilson -- three case studies in number theory Journal of Automated Reasoning	2018-04-03	Paper
Context dependent procedures and computed types in \texttt{VeriFun} Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
Reasoning About Incompletely Defined Programs Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
On terminating lemma speculations. Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1748590 (Why is no real title available?)	2002-06-03	Paper
Semantics and program verification Teubner-Texte zur Informatik	2001-12-18	Paper
scientific article; zbMATH DE number 1552515 (Why is no real title available?)	2001-10-21	Paper
Termination analysis for functional programs	2001-03-12	Paper
On proving the termination of algorithms by machine Artificial Intelligence	2000-06-21	Paper
Proving theorems by reuse Artificial Intelligence	2000-06-04	Paper
scientific article; zbMATH DE number 1324445 (Why is no real title available?)	1999-08-16	Paper
scientific article; zbMATH DE number 43237 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 107881 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 67963 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 4114098 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4072437 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4049132 (Why is no real title available?)	1986-01-01	Paper
A mechanical solution of Schubert's steamroller by many-sorted resolution Artificial Intelligence	1985-01-01	Paper
scientific article; zbMATH DE number 3902617 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Christoph Walther