A modular method for Gro¨bner-basis construction over Q and solving system of algebraic equations

Journal of information processing · 1990 · 18 citations · 0 references