Christoph Walther

Available identifiers

Publication	Date of Publication	Type
Formally verified Montgomery multiplication	2023-05-05	Paper
Verified Newton-Raphson iteration for multiplicative inverses modulo powers of any base	2019-10-18	Paper
Termination of theorem proving by reuse	2019-01-15	Paper
Fermat, Euler, Wilson -- three case studies in number theory	2018-04-03	Paper
Context dependent procedures and computed types in \texttt{VeriFun}	2013-12-13	Paper
Reasoning About Incompletely Defined Programs	2008-05-27	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
On terminating lemma speculations.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4530475	2002-06-03	Paper
Semantics and program verification	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4524774	2001-10-21	Paper
Termination analysis for functional programs	2001-03-12	Paper
On proving the termination of algorithms by machine	2000-06-21	Paper
Proving theorems by reuse	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4255517	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3992821	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4023458	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4013971	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4729409	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804237	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786021	1986-01-01	Paper
A mechanical solution of Schubert's steamroller by many-sorted resolution	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680805	1984-01-01	Paper

This page was built for person: Christoph Walther