Christoph Walther

Available identifiers

zbMath Open walther.christophMaRDI QIDQ1060858

List of research outcomes

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 ✓eriFun	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
https://portal.mardi4nfdi.de/entity/Q2761214	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4524774	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2702599	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Walther