Journal Journal of Automated Reasoning 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 Download PDF-version View full text
