Christoph Walther

From MaRDI portal
Person:1060858

Available identifiers

zbMath Open walther.christophMaRDI QIDQ1060858

List of research outcomes





PublicationDate of PublicationType
Formally verified Montgomery multiplication2023-05-05Paper
Verified Newton-Raphson iteration for multiplicative inverses modulo powers of any base2019-10-18Paper
Termination of theorem proving by reuse2019-01-15Paper
Fermat, Euler, Wilson -- three case studies in number theory2018-04-03Paper
Context dependent procedures and computed types in \texttt{VeriFun}2013-12-13Paper
Reasoning About Incompletely Defined Programs2008-05-27Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
On terminating lemma speculations.2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45304752002-06-03Paper
Semantics and program verification2001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q45247742001-10-21Paper
Termination analysis for functional programs2001-03-12Paper
On proving the termination of algorithms by machine2000-06-21Paper
Proving theorems by reuse2000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q42555171999-08-16Paper
https://portal.mardi4nfdi.de/entity/Q39928211993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q40234581993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q40139711992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q47294091989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38042371988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37860211986-01-01Paper
A mechanical solution of Schubert's steamroller by many-sorted resolution1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36808051984-01-01Paper

Research outcomes over time

This page was built for person: Christoph Walther