{"title":"Comparison of CAD-based Methods for Computation of Rational Function Limits","authors":"A. Strzebonski","doi":"10.1145/3208976.3208982","DOIUrl":null,"url":null,"abstract":"We present five methods for computation of limits of real multivariate rational functions. The methods do not require any assumptions about the rational function and compute the lower limit and the upper limit. All methods are based on the cylindrical algebraic decomposition (CAD) algorithm, but use different formulations of the problem. We give an empirical comparison of the methods on a large set of examples.","PeriodicalId":105762,"journal":{"name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3208976.3208982","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
We present five methods for computation of limits of real multivariate rational functions. The methods do not require any assumptions about the rational function and compute the lower limit and the upper limit. All methods are based on the cylindrical algebraic decomposition (CAD) algorithm, but use different formulations of the problem. We give an empirical comparison of the methods on a large set of examples.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
