A canonical form for some piecewise defined functions

2007/02/01 by Jacques Carette, Carette, Jacques
Computer Science · Mathematics · #FOS: Computer and information sciences #I.1.1 #Mathematical Analysis and Transform Methods #Mathematical Software (cs.MS) #Mathematical and Theoretical Analysis #Mathematical functions and polynomials #Symbolic Computation (cs.SC) #cs.MS #cs.SC

paper · pdf · doi:10.48550/arxiv.cs/0702010

submitted to ISSAC 2007

arxiv created 2007/02/01 · openalex publication_date 2007/02/01 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991.

Related

• A canonical form for the continuous piecewise polynomial functions
• Discrete piecewise linear functions
• Performances piecewise defined functions in analytic form, prime-counting function, ξ sets
• Bounds on the Number of Pieces in Continuous Piecewise Affine Functions
• On the piecewise-concave approximations of functions