Publication:4945804
From MaRDI portal
zbMath0957.14040MaRDI QIDQ4945804
Publication date: 20 March 2001
computational algebraic geometry; parametric equations; geometric theorem proving; Gröbner basis software
14Q15: Computational aspects of higher-dimensional varieties
Related Items
Gröbner bases for polynomial systems with parameters, Improving the DISPGB algorithm using the discriminant ideal
Uses Software