Skip to main content

Zeitschrift

Journal of Automated Reasoning 2/2022
Journal of Automated Reasoning

Ausgabe 2/2022

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (3 Artikel)

23.11.2021

A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero

30.01.2022

A Bi-Directional Extensible Interface Between Lean and Mathematica
Robert Y. Lewis, Minchao Wu

23.02.2022

Analyzing Read-Once Cutting Plane Proofs in Horn Systems
Piotr Wojciechowski, K. Subramani, R. Chandrasekaran

Aktuelle Ausgaben

Premium Partner