A canonical form for some piecewise defined functions
arXiv:cs/0702010
Abstract
We define a canonical form for piecewise defined functions. We show that this has a wider range of application as well as better complexity properties than previous work.
submitted to ISSAC 2007