Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 2/2022
Journal of Automated Reasoning

Issue 2/2022

share
SHARE
insite
SEARCH

Table of Contents (3 Articles)

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

Premium Partner