Venn Symmetry and Prime Numbers: A Seductive Proof Revisited.

Stan Wagon Peter Webb

Published in: Am. Math. Mon. (2008)

Keyphrases

multiscale
symmetry detection
database
wide range
relational databases
theorem prover
geometry theorem proving
data sets
databases
artificial intelligence
information systems
knowledge base
high level
probabilistic model
complete axiomatization