Mathematics
Geometry
Algebra
Incidence geometry
Singularity theory
Abstract interpretation
Widening
Logic
Resultant
Unfolding
Oval