Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 1/2021

Content (4 Articles)

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

Formalization of the Poincaré Disc Model of Hyperbolic Geometry

Danijela Simić, Filip Marić, Pierre Boutry

HO in Coq

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

Open Access

Building Strategies into QBF Proofs

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan

Dec 20
Issue: 8/2020
Feb 21
Issue: 2/2021

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits