Keynote “Qualitative–Quantitative Reasoning: thinking informally about formal things” on September 10, 2021 at ICTAC 2021: 18th International Colloquium on Theoretical Aspects of Computing, Nazarbayev University, Nur-Sultan, Kazakhstan.
Qualitative–Quantitative Reasoning
the qualitative understanding of quantitative phenomena
