EasyChair Smart SlideUser guide
Conference: CADE-30 (30th International Conference on Automated Deduction)

This page shows all presentations from this conference published in EasyChair Smart Slide.

An Automated Approach towards Constructivizing the GeoCoq Library

An Automated Approach towards Constructivizing the GeoCoq Library

Alexandre Jean, Pierre Boutry and Nicolas Magaud

First-Order Simplification of GeoCoq using Dedukti

First-Order Simplification of GeoCoq using Dedukti

Yoan Géran and Pierre Boutry

On the Coq/Rocq Mechanization of Beeson's "On the Notion of Equal Figures in Euclid"

On the Coq/Rocq Mechanization of Beeson's "On the Notion of Equal Figures in Euclid"

Prunelle Colin and Pierre Boutry

Faithful Logic Embeddings in HOL – Deep and Shallow

Faithful Logic Embeddings in HOL – Deep and Shallow

Christoph Benzmüller

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search.

Enrico Lipparini, Thomas Hader, Ahmed Irfan and Stéphane Graham-Lengrand

Anti-pattern templates

Anti-pattern templates

Jan Otop

Presentations in this collection: 6
Copyright © 2002 – 2026 EasyChair