scientific article; zbMATH DE number 4065140

MaRDI QIDQ3798768zbMATH OpenFDO

Authors Bruno Buchberger

Publication date 1988

zbMATH Keywords

geometric theorem provingGröbner basisinverse robot kinematicsparametric objectspolynomial ideal theory

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Symbolic computation and algebraic computation (68W30)

Cited in

(26)

• On the synthetic factorization of projectively invariant polynomials
• Computing combinatorial decompositions of rings
• Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• Nonclassical symmetry reductions of the Boussinesq equation
• Nonclassical reductions of a (3+1)-cubic nonlinear Schrödinger system
• Mechanical theorem proving in projective geometry
• Geometric characterization of data sets with unique reduced Gröbner bases
• A parametric approach to 3D dynamic geometry
• A Groebner bases-based approach to backward reasoning in rule based expert systems
• A polynomial model for logics with a prime power number of truth values
• Classical invariant theory and the equivalence problem for particle Lagrangians. I: Binary forms
• Automated theorem proving in GeoGebra: current achievements
• Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
• A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
• Gröbner bases: An introduction
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra
• Automated Deduction in Geometry
• A new approach to primary decomposition
• A bridge between dynamic geometry and computer algebra
• Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems
• An inference engine for propositional two-valued logic based on the radical membership problem
• Geometry machines: from AI to SMC
• Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
• Connecting the 3D DGS Calques3D with the CAS Maple

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3798768)