Slashdot Mirror

← Back to Topics

Topic: Math · 1 stories (clear)

• Achieving Mathematical Proofs Via Computers
  Science · Math · 2008-11-06 09:43 · posted by timothy · from the send-picture-of-abacus dept. · 209 comments