• Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Flyspeck

  • Referenced in 124 articles [sw10277]
  • Communicating formal proofs: the case of flyspeck. We...
  • kepler98

  • Referenced in 195 articles [sw23625]
  • The 1998 Proof of the Kepler Conjecture. The...
  • Boids

  • Referenced in 356 articles [sw38863]
  • Boids: In 1986 I made a computer model...