Computing limits with the regularchains and powerseries libraries

DOI10.1145/3015306.3015311zbMath1365.68481OpenAlexW2548940749MaRDI QIDQ5270198

Mahsa Kazemi, Parisa Alvandi, Marc Moreno Maza

Publication date: 22 June 2017

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Real algebraic sets (14P05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Foundations: limits and generalizations, elementary topology of the line (26A03) Power series rings (13J05) Real rational functions (26C15)

Related Items (1)

PowerSeries

Uses Software

• RegularChains

Cites Work

• Unnamed Item
• Symbolic asymptotics: Multiseries of inverse functions
• Solving multivariate algebraic equation by Hensel construction
• Limits of quotients of bivariate real analytic functions
• Determination of the limits for multivariate rational functions
• Computing Limits of Real Multivariate Rational Functions
• Regular Chains under Linear Changes of Coordinates and Applications
• A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
• Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One

This page was built for publication: Computing limits with the regularchains and powerseries libraries