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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
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 ⋮ 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
This page was built for publication:
