Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 1/2021

Issue 1/2021

Table of Contents ( 4 Articles )

06-03-2020 | Issue 1/2021

Formalization of Euler–Lagrange Equation Set Based on Variational Calculus in HOL Light

Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li, Zhiping Shi, Yongdong Li

30-04-2020 | Issue 1/2021

Formalization of the Poincaré Disc Model of Hyperbolic Geometry

Danijela Simić, Filip Marić, Pierre Boutry

14-09-2020 | Issue 1/2021

HO in Coq

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

22-05-2020 | Issue 1/2021 Open Access

Building Strategies into QBF Proofs

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan

Current Publications

Premium Partner

    Image Credits