Title: Symbolic rewriting technique
Subjects: Gröbner bases, Numerical analysis, Rewriting systems (Computer science), Congresses, Data processing, Computer science, mathematics, Logic, symbolic and mathematical, Numerical analysis, data processing