↓ Skip to main content

Theorem Proving with the Real Numbers

Overview of attention for book
Attention for Chapter 3: Formalized Analysis
Altmetric Badge

Citations

dimensions_citation
116 Dimensions