Twin-float arithmetic

DOI10.1016/J.JSC.2011.12.005MaRDI QIDQ412221zbMATH OpenOpenAlexFDO

Authors John Abbott

Publication date 4 May 2012

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

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

zbMATH Keywords

heuristically guaranteed finite-precision arithmetic

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Recommendations

• scientific article; zbMATH DE number 516973
• Floating-point arithmetic in the Coq system
• Floating point Gröbner bases.
• scientific article; zbMATH DE number 1263361
• Computing floating-point Gröbner bases accurately

Cites work

• scientific article; zbMATH DE number 3657869 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 2151244 (Why is no real title available?)
• Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials
• The approximate GCD of inexact polynomials

Cited in

(3)

• scientific article; zbMATH DE number 589167 (Why is no real title available?)
• Computing and using minimal polynomials
• Binary Integer Decimal-Based Floating-Point Multiplication

Describes a project that uses

Uses Software

• MultRoot
• CoCoALib
• CoCoA

This page was built for publication: Twin-float arithmetic

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