Comparison of CAD-based methods for computation of rational function limits

DOI10.1145/3208976.3208982MaRDI QIDQ5120219zbMATH OpenOpenAlexWikidataFDO

Authors Adam Strzeboński

Publication date 9 September 2020

Published in Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3208976.3208982

zbMATH Keywords

cylindrical algebraic decompositionmultivariate rational function limitsymbolic limit computation

Mathematics Subject Classification ID

Real rational functions (26C15) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computing limits of real multivariate rational functions
• Determination of the limits for multivariate rational functions
• Determining the limits of bivariate rational functions by Sturm's theorem
• Limits of quotients of polynomial functions in three variables
• On the extended Hensel construction and its application to the computation of real limit points

Cited in

(4)

• On the extended Hensel construction and its application to the computation of real limit points
• Computing limits of real multivariate rational functions
• Computing with Tarski formulas and semi-algebraic sets in a web browser
• Limits of real bivariate rational functions

This page was built for publication: Comparison of CAD-based methods for computation of rational function limits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5120219)