Interactive theorem proving and finite projective planes

DOI10.1007/3-540-61732-9_61MaRDI QIDQ6560379zbMATH OpenFDO

Authors Johannes Ueberberg

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-61732-9_61

Mathematics Subject Classification ID

Computational methods for problems pertaining to geometry (51-08) Finite affine and projective planes (geometric aspects) (51E15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 3651315 (Why is no real title available?)
• scientific article; zbMATH DE number 749958 (Why is no real title available?)
• scientific article; zbMATH DE number 3257050 (Why is no real title available?)
• scientific article; zbMATH DE number 3421490 (Why is no real title available?)
• On regular {v, n}‐arcs in finite projective spaces

This page was built for publication: Interactive theorem proving and finite projective planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560379)