Simon Robillard

Available identifiers

zbMath Open robillard.simonMaRDI QIDQ1799097

List of research outcomes

Publication	Date of Publication	Type
A comprehensive framework for saturation theorem proving	2022-12-12	Paper
\textsf{Goéland}: a concurrent tableau-based theorem prover (system description)	2022-12-07	Paper
Verified Approximation Algorithms	2022-11-09	Paper
A comprehensive framework for saturation theorem proving	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094121	2022-08-02	Paper
Loop Analysis by Quantification over Iterations	2019-07-04	Paper
Superposition with datatypes and codatatypes	2018-10-18	Paper
Coming to terms with quantified reasoning	2017-10-20	Paper
Reasoning About Loops Using Vampire in KeY	2016-01-12	Paper
Anomalous diffusion on fractal lattices with site disorder	1986-01-01	Paper

Research outcomes over time

This page was built for person: Simon Robillard