Interpolants in Nonlinear Theories: A Study in Real Numbers

Explore the application of interpolants in nonlinear theories over the real numbers, delving into topics such as reasoning about continuous formulae, Craig interpolation, and branch-and-prune strategies. Discover how nonlinear theories can be both undecidable and decidable with perturbations, captur

0 views • 20 slides