scientific article; zbMATH DE number 4197462

zbMath0725.68090MaRDI QIDQ5203713

Franz Winkler

Publication date: 1990

Full work available at URL: https://eudml.org/doc/226707

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic theorem provingGröbner basedegeneracy problemmodule of syzygiessubsidiary condition

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ideals and multiplicative ideal theory in commutative rings (13A15) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items (5)

Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ A generalized Euclidean algorithm for geometry theorem proving ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Automated reducible geometric theorem proving and discovery by Gröbner basis method

This page was built for publication: