starting point: let's write some specification for using existing software libraries 😊
hurdle: oh, floats are nasty
going down the weird road: let's write a constraint solver
catching my breath on top of this cursed mountain: sparse polynomial zonotopes and constrained polynomial zonotopes are my best friends now.
currently in the valley of: cylindrical algebraic decomposition is going to be my salvation. real algebraic geometry is the hole that was made for me. i'm sure of it.