Group embedding of the projective plane PG(2, 3)

DOI10.1007/978-3-642-36675-8_6MaRDI QIDQ4913863zbMATH OpenOpenAlexFDO

Authors Eric Ens, R. Padmanabhan

Publication date 16 April 2013

Published in Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36675-8_6

zbMATH Keywords

automated deductiongroup embeddingsprojective planesProver9

Mathematics Subject Classification ID

Configuration theorems in linear incidence geometry (51A20) Algebraization in linear incidence geometry (51A25) Finite affine and projective planes (geometric aspects) (51E15)

Recommendations

• scientific article; zbMATH DE number 4036586
• Generalizing the Pappus and Reye configurations
• THEOREMS OF POINTS AND PLANES IN THREE-DIMENSIONAL PROJECTIVE SPACE
• On the representation of configurations in projective spaces
• scientific article; zbMATH DE number 4036585

Cites work

• Automated deduction in equational logic and cubic curves
• Configurations of points and lines
• scientific article; zbMATH DE number 835756 (Why is no real title available?)
• scientific article; zbMATH DE number 3308885 (Why is no real title available?)
• Placement of the Desargues configuration on a cubic curve

Cited in

(4)

• Embeddings and ambient automorphisms of the Pappus configuration
• scientific article; zbMATH DE number 4036586 (Why is no real title available?)
• Generalizing the Pappus and Reye configurations
• scientific article; zbMATH DE number 2174373 (Why is no real title available?)

Describes a project that uses

Uses Software

• Prover9

This page was built for publication: Group embedding of the projective plane \(PG(2, 3)\)

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