Login / Signup

A short proof of a theorem of dirac's about hadwiger's conjecture.

Douglas R. Woodall
Published in: J. Graph Theory (1992)
Keyphrases
  • interactive theorem proving
  • theorem proving
  • von neumann
  • case study
  • expert systems
  • multiresolution
  • databases
  • knowledge base
  • similarity measure
  • multi agent systems
  • radon transform
  • mathematical proofs