อ้างอิง ของ การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์

  • Lenat, D.B., (1976), AM: An artificial intelligence approach to discovery in mathematics as heuristic search, Ph.D. Thesis, STAN-CS-76-570, and Heuristic Programming Project Report HPP-76-8, Stanford University, AI Lab., Stanford, CA.

ใกล้เคียง

การพิสูจน์ตัวจริงด้วยปัจจัยหลายอย่าง การพิสูจน์ว่าเป็นเท็จ การพิจารณาคดีเนือร์นแบร์ค การพิชิตจักรวรรดิแอซเท็กของสเปน การพิชิตดินแดนโดยมุสลิม การพิมพ์ การพิสูจน์ตัวจริงโดยไร้รหัสผ่าน การพิชิตมักกะฮ์ การพิมพ์ 3 มิติ การพิจารณาซัดดัม ฮุสเซน