A geometric proof of a theorem on antiregularity of generalized quadrangles.

Anna Y. Pun Philip P. W. Wong

Published in: Des. Codes Cryptogr. (2012)

Keyphrases

interactive theorem proving
geometry theorem proving
linear logic
theorem prover
geometric information
databases
artificial intelligence
three dimensional
data structure
theorem proving
digital topology
rotationally invariant