- Referenced in 13702 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 124 articles
- Communicating formal proofs: the case of flyspeck. We...
- Referenced in 46 articles
- Waldmeister is a theorem prover for unit equational...
- Referenced in 195 articles
- The 1998 Proof of the Kepler Conjecture. The...
- Referenced in 356 articles
- Boids: In 1986 I made a computer model...