A canonical form for some piecewise defined functions
符号计算
2007-05-23 v1 数学软件
摘要
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.
引用
@article{arxiv.cs/0702010,
title = {A canonical form for some piecewise defined functions},
author = {Jacques Carette},
journal= {arXiv preprint arXiv:cs/0702010},
year = {2007}
}
备注
submitted to ISSAC 2007