C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
IJCAR (2)
2020
2020
2020
Keyphrases
Publications
2020
Zarathustra Amadeus Goertzel
Make E Smart Again (Short Paper).
IJCAR (2)
(2020)
Adam Pease
A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description).
IJCAR (2)
(2020)
Thomas C. Hales
,
Rodrigo Raya
Formal Proof of the Group Law for Edwards Elliptic Curves.
IJCAR (2)
(2020)
Stephan Schulz
,
Adam Pease
Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description).
IJCAR (2)
(2020)
Clément Pit-Claudel
,
Peng Wang
,
Benjamin Delaware
,
Jason Gross
,
Adam Chlipala
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.
IJCAR (2)
(2020)
Jan Jakubuv
,
Karel Chvalovský
,
Miroslav Olsák
,
Bartosz Piotrowski
,
Martin Suda
,
Josef Urban
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).
IJCAR (2)
(2020)
Kazuhiko Sakaguchi
Validating Mathematical Structures.
IJCAR (2)
(2020)
Sebastian Ullrich
,
Leonardo de Moura
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
IJCAR (2)
(2020)
Jean-Christophe Léchenet
,
Sandrine Blazy
,
David Pichardie
A Fast Verified Liveness Analysis in SSA Form.
IJCAR (2)
(2020)
Tiziano Dalmonte
,
Nicola Olivetti
,
Gian Luca Pozzato
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).
IJCAR (2)
(2020)
Anne Baanen
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper).
IJCAR (2)
(2020)
Robin Eßmann
,
Tobias Nipkow
,
Simon Robillard
Verified Approximation Algorithms.
IJCAR (2)
(2020)
Basil Fürer
,
Andreas Lochbihler
,
Joshua Schneider
,
Dmitriy Traytel
Quotients of Bounded Natural Functors.
IJCAR (2)
(2020)
Paulo Emílio de Vilhena
,
Lawrence C. Paulson
Algebraically Closed Fields in Isabelle/HOL.
IJCAR (2)
(2020)
Giselle Reis
,
Zan Naeem
,
Mohammed Hashim
Sequoia: A Playground for Logicians - (System Description).
IJCAR (2)
(2020)
Filip Maric
Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation.
IJCAR (2)
(2020)
Dominik Kirst
,
Dominique Larchey-Wendling
Trakhtenbrot's Theorem in Coq - A Constructive Approach to Finite Model Theory.
IJCAR (2)
(2020)
Raúl Gutiérrez
,
Salvador Lucas
mu-term: Verify Termination Properties Automatically (System Description).
IJCAR (2)
(2020)
Ahmed Bhayat
,
Giles Reger
A Polymorphic Vampire - (Short Paper).
IJCAR (2)
(2020)
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
Formalization of Forcing in Isabelle/ZF.
IJCAR (2)
(2020)
Martin Rau
,
Tobias Nipkow
Verification of Closest Pair of Points Algorithms.
IJCAR (2)
(2020)
Xavier Allamigeon
,
Ricardo D. Katz
,
Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra.
IJCAR (2)
(2020)
Pengyu Nie
,
Karl Palmskog
,
Junyi Jessy Li
,
Milos Gligoric
Deep Generation of Coq Lemma Names Using Elaborated Terms.
IJCAR (2)
(2020)
Reynald Affeldt
,
Cyril Cohen
,
Marie Kerjean
,
Assia Mahboubi
,
Damien Rouhling
,
Kazuhiko Sakaguchi
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.
IJCAR (2)
(2020)
André Duarte
,
Konstantin Korovin
Implementing Superposition in iProver (System Description).
IJCAR (2)
(2020)
Marianna Girlando
,
Lutz Straßburger
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description).
IJCAR (2)
(2020)
Grant O. Passmore
,
Simon Cruanes
,
Denis Ignatovich
,
Dave Aitken
,
Matt Bray
,
Elijah Kagan
,
Kostya Kanishev
,
Ewen Maclean
,
Nicola Mometto
The Imandra Automated Reasoning System (System Description).
IJCAR (2)
(2020)
Lukasz Czajka
Practical Proof Search for Coq by Type Inhabitation.
IJCAR (2)
(2020)
Hadrien Bride
,
Cheng-Hao Cai
,
Jin Song Dong
,
Rajeev Goré
,
Zhé Hóu
,
Brendan P. Mahony
,
Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description).
IJCAR (2)
(2020)
Peter Lammich
Efficient Verified Implementation of Introsort and Pdqsort.
IJCAR (2)
(2020)
Zsolt Zombori
,
Josef Urban
,
Chad E. Brown
Prolog Technology Reinforcement Learning Prover - (System Description).
IJCAR (2)
(2020)
Walter Guttmann
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL.
IJCAR (2)
(2020)
Raúl Gutiérrez
,
Salvador Lucas
Automatically Proving and Disproving Feasibility Conditions.
IJCAR (2)
(2020)
volume 12167, 2020
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
IJCAR (2)
12167 (2020)