共 50 条
- [24] Cutting to the Chase Solving Linear Integer Arithmetic AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 338 - +
- [28] Fast solution of confluent Vandermonde-like linear systems using polynomial arithmetic APPLICATIONS AND COMPUTATION OF ORTHOGONAL POLYNOMIALS, 1999, 131 : 79 - 92