Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
Journal of Symbolic Computation
On the synthetic factorization of projectively invariant polynomials
Journal of Symbolic Computation
Computational algebraic geometry of projective configurations
Journal of Symbolic Computation
On geometric and topological reasoning in robotics
Annals of Mathematics and Artificial Intelligence
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Artificial Intelligence Review
Real implicitization of curves and geometric extraneous components
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
Implicit polynomial support optimized for sparseness
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
A maple package for automatic theorem proving and discovery in 3D-geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A Polynomial Model for Logics with a Prime Power Number of Truth Values
Journal of Automated Reasoning
Mathematics and Computers in Simulation
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |