Journal of Symbolic Computation · 2005 · 23 citations · 5 references
ComputingComputer ScienceMathematicsAlgorithmsCombinatoricsApproximation AlgorithmsData ReductionData Structure AlgorithmsDimension ReductionDimensionality ReductionMatrix ComputationBasis ReductionLattice ReductionSparse Matrix AlgorithmsSparse Matrix ComputationSparse Reduction
5
Algorithms for the Quillen-Suslin theorem
Alessandro Logar, Bernd Sturmfels · Journal of Algebra · 1992 · 95 citations
Algorithmic aspects of Suslin's proof of Serre's conjecture
Leandro Caniglia, Guillermo Corti�as, Joos Heintz et al. · Computational Complexity · 1993 · 32 citations