CICM'21 systems entries

DOI10.1007/978-3-030-81097-9_20zbMath1485.68300OpenAlexW3186357218MaRDI QIDQ2128833

Vít Novotný, Petr Sojka, Makarius Wenzel, Michal Růžička, Michal Štefánik, Dávid Lupták, Martin Líška, Boris Shminke

Publication date: 22 April 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81097-9_20

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68V99)

Related Items (1)

CICM'22 system entries

Uses Software

• Isabelle
• Isabelle/jEdit
• GitHub
• Archive Formal Proofs

Cites Work

• Bootstrap variants of the Akaike information criterion for mixed model selection
• From LCF to Isabelle/HOL
• Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings
• Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit

This page was built for publication: CICM'21 systems entries