Exact arithmetic on the Stern-Brocot tree

DOI10.1016/j.jda.2005.03.007zbMath1127.68029OpenAlexW2111113575MaRDI QIDQ2457309

Milad Niqui

Publication date: 30 October 2007

Published in: Journal of Discrete Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jda.2005.03.007

zbMATH Keywords

multilinear formsrational numbersStern-Brocot treeexact arithmeticquadratic algorithmshomographic algorithms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Number-theoretic algorithms; complexity (11Y16) Data structures (68P05) Error analysis and interval analysis (65G99)

Related Items

Mathematical model and implementation of rational processing, Numeration and discrete dynamical systems, On the Stern-Brocot expansion of real numbers, Locating terms in the Stern-Brocot tree, A simple canonical representation of rational numbers, Exact real arithmetic for interval number systems, The n-dimensional Stern–Brocot tree, Bounds on the period of the continued fraction after a Möbius transformation, Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers, On the complexity of conversion between classic real number representations

Uses Software

• Coq

Cites Work

• Algebraic computations with continued fractions
• On continued fractions and finite automata
• A simple canonical representation of rational numbers
• Types for Proofs and Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item