Login / Signup

Computer verification of the Ankeny-Artin-Chowla Conjecture for all primes less than 100 000 000 000.

Alfred J. van der PoortenHerman J. J. te RieleHugh C. Williams
Published in: Math. Comput. (2001)
Keyphrases
  • model checking
  • computer vision
  • expert systems
  • computer systems
  • decision trees
  • database systems
  • data processing
  • machine intelligence
  • formal analysis
  • computer programming
  • computer controlled
  • concurrent systems