Optimized Q-pivot for Exact Linear Solvers

Authors:
David-Olivier Azulay;Jean François Pique
Affiliations:
-;-
Venue:
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Year:
1998

Citing 4
Cited 0

Algorithms for computer algebra

Algorithms for computer algebra
An algorithm for exact division

Journal of Symbolic Computation
The Algebraic Solution of Sparse Linear Systems via Minor Expansion

ACM Transactions on Mathematical Software (TOMS)
Algorithm and bound for the greatest common divisor of n integers

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

We use Q-matrices to efficiently solve incremental linear systems over IR, using integer computations. An algorithm optimized for the Q-pivot operation of Q-matrices is described, allowing a noticeable improvement in the efficiency of linear constraint solvers with infinite precision. We then present a coding of Q-matrices suitable for this algorithm and give some performance measurements.