1. Research with MATF
  2. Research Outputs

Browsing by Subject Isabelle/HOL

Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)Rank
15-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip 
1-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
1-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip 
Showing results 1 to 3 of 3