scientific article
From MaRDI portal
Publication:3838770
zbMath0910.03010MaRDI QIDQ3838770
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gröbner basesresearch surveygeometry theorem provingDixon resultantsproof-by-example approachrefutational approach
Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Euclidean geometries (general) and generalizations (51M05)
Related Items (8)
A bridge between dynamic geometry and computer algebra ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Detecting truth, just on parts ⋮ Classification of direct kinematics to planar generalized Stewart platforms ⋮ Computer algebra methods in the study of nonlinear differential systems ⋮ A fast algorithm for Gröbner basis conversion and its applications ⋮ Unnamed Item
This page was built for publication:
