EasyChair Smart SlideUser guide
Conference: CICM 2021 (14th Conference on Intelligent Computer Mathematics)

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

Automatically Generalizing Theorems Using Typeclasses

Automatically Generalizing Theorems Using Typeclasses

Alexander Best

Formalizing the Gromov-Hausdorff Space

Formalizing the Gromov-Hausdorff Space

Sebastien Gouezel

Porting Mathlib (Invited Talk)

Porting Mathlib (Invited Talk)

Mario Carneiro

Sophize. Mathematics Library and Collaboration Platform

Sophize. Mathematics Library and Collaboration Platform

Abhishek Chugh

WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code

WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code

Dávid Lupták, Vít Novotný, Michal Štefánik and Petr Sojka

Formalization of Gambler’s Ruin Problem in Isabelle/HOL

Formalization of Gambler’s Ruin Problem in Isabelle/HOL

Zibo Yang

Scalar Actions in Lean's Mathlib

Scalar Actions in Lean's Mathlib

Eric Wieser

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