A strategy for speeding-up the computation of characteristic sets

DOI10.1007/3-540-55808-X_49zbMath1493.68405OpenAlexW1793345750MaRDI QIDQ5096863

Dongming Wang

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55808-x_49

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• Maple

Cites Work

• Basic principles of mechanical theorem proving in elementary geometries
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A strategy for speeding-up the computation of characteristic sets