Results 1 to 6 of 6
Sort by:

  • 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...