We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed ...

SIAM Journal on Numerical Analysis, Vol. 27, No. 3 (Jun., 1990), pp. 704-735 (32 pages) Ordinary differential equations can be recast into a nonlinear canonical form called an S-system. Evidence for ...