Concepedia

Cezary Kaliszyk

CK

36

Publications

1.6K

Citations

20

H-Index

2007

Active since

Affiliations

Universität Innsbruck(Current)

Radboud University Nijmegen

Czech Technical University in Prague

Technical University of Munich

University of Warsaw

Cezary Kaliszyk is an author at Universität Innsbruck specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceFormal MethodsFormal VerificationArtificial IntelligenceData ScienceVerificationKnowledge DiscoveryMachine Learning

Publications per year

2007–2022

36

Publications

36

A FORMAL PROOF OF THE KEPLER CONJECTURE

Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 328 citations · Full text

Geometry Of Number, Formal Proof, Discrete Geometry +6

Learning-Assisted Automated Reasoning with Flyspeck

Cezary Kaliszyk, Josef Urban · Journal of Automated Reasoning · 2014 · 137 citations · Full text

Artificial Intelligence, Learning-assisted Automated Reasoning, Engineering +16

Hammer for Coq: Automation for Dependent Type Theory

Łukasz Czajka, Cezary Kaliszyk · Journal of Automated Reasoning · 2018 · 106 citations · Full text

Coq Proof Assistant, Engineering, Automated Reasoning +14

Hammering towards QED

Jasmin Christian Blanchette, Cezary Kaliszyk, Lawrence C. Paulson et al. · Radboud Repository (Radboud University) · 2014 · 98 citations · Full text

MizAR 40 for Mizar 40

Cezary Kaliszyk, Josef Urban · Journal of Automated Reasoning · 2015 · 96 citations · Full text

Rows per page

1–5 of 36