On the Order of Power Series and the Sum of Square Roots Problem

DOI10.1145/3597066.3597079arXiv2304.13605OpenAlexW4383222165MaRDI QIDQ6081955

Gorav Jindal, Unnamed Author

Publication date: 3 November 2023

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

Full work available at URL: https://arxiv.org/abs/2304.13605

zbMATH Keywords

Wronskiandifferential equationsformal power seriessum of square rootsstraight line programs.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How much precision is needed to compare two sums of square roots of integers?
• Quelques applications du théorème de densité de Chebotarev
• Chebotarëv and his density theorem
• Root separation for trinomials
• A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing
• On the Sum of Square Roots of Polynomials and Related Problems
• Wronskians and Linear Independence
• Logarithmic forms and group varieties.
• On the Complexity of Numerical Analysis
• Lineare Abhängigkeit von Wurzeln
• Fast Multiple-Precision Evaluation of Elementary Functions
• On a transfer theorem for the \(\text{P}\neq \text{NP}\) conjecture