Interactive theorem proving and finite projective planes

DOI10.1007/3-540-61732-9_61zbMATH Open1541.68425MaRDI QIDQ6560379

Johannes Ueberberg

Publication date: 21 June 2024

Mathematics Subject Classification ID

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

Cites Work

• On regular {v, n}‐arcs in finite projective spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)