A canonical form for some piecewise defined functions
Abstract
Description
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
submitted to ISSAC 2007