Proof of a conjecture of Segre and Bartocci on monomial hyperovals in projective planes.
Fernando HernandoGary McGuirePublished in: Des. Codes Cryptogr. (2012)
Keyphrases
- projective space
- reconstruction from multiple views
- three dimensional
- theorem prover
- database
- planar surfaces
- geometry theorem proving
- d objects
- point correspondences
- projective transformations
- natural deduction
- decision trees
- piecewise planar
- information systems
- camera self calibration
- mathematical proofs
- neural network