Determining the limits of bivariate rational functions by Sturm's theorem

DOI10.1016/j.jsc.2019.02.010zbMath1426.12001OpenAlexW2916719588WikidataQ128322287 ScholiaQ128322287MaRDI QIDQ2000289

Shuijing Xiao, Xiaoning Zeng

Publication date: 28 June 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2019.02.010

zbMATH Keywords

rational functionlimitSturm's theoremtransfer principleordered field

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Ordered fields (12J15) Real and complex fields (12D99) Real rational functions (26C15)

Cites Work

• Lectures on formally real fields
• Limits of quotients of bivariate real analytic functions
• Determination of the limits for multivariate rational functions
• Computing Limits of Real Multivariate Rational Functions
• Algorithms in real algebraic geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item