Tags

learning
nonlinear arithmetic
linearization
spectral analysis
hybrid automata
solvable systems
Tarski's algebra
boundary propagation
homeomorphism
sensitivity