Exact solutions to linear systems of equations using output sensitive lifting

DOI10.1145/1940475.1940513zbMath1308.68190OpenAlexW2065987853MaRDI QIDQ5175270

Daniel E. Steffy

Publication date: 20 February 2015

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Iterative numerical methods for linear systems (65F10)

Related Items (5)

Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ Nearly optimal solution of rational linear systems of equations with symbolic lifting and numerical initialization ⋮ Linear programming using limited-precision oracles ⋮ Hyperdeterminants from the \(E_8\) discriminant ⋮ Certified Hermite Matrices from Approximate Roots - Univariate Case

Uses Software

• IML - Integer Matrix Library

This page was built for publication: Exact solutions to linear systems of equations using output sensitive lifting