# Gröbner bases in geometry theorem proving and simplest degeneracy conditions.

Mathematica Pannonica (1990)

- Volume: 1, Issue: 1, page 15-32
- ISSN: 0865-2090

## Access Full Article

top## How to cite

topWinkler, Franz. "Gröbner bases in geometry theorem proving and simplest degeneracy conditions.." Mathematica Pannonica 1.1 (1990): 15-32. <http://eudml.org/doc/226707>.

@article{Winkler1990,

author = {Winkler, Franz},

journal = {Mathematica Pannonica},

keywords = {automatic theorem proving; degeneracy problem; Gröbner base; module of syzygies; subsidiary condition},

language = {eng},

number = {1},

pages = {15-32},

publisher = {University of Miskolc},

title = {Gröbner bases in geometry theorem proving and simplest degeneracy conditions.},

url = {http://eudml.org/doc/226707},

volume = {1},

year = {1990},

}

TY - JOUR

AU - Winkler, Franz

TI - Gröbner bases in geometry theorem proving and simplest degeneracy conditions.

JO - Mathematica Pannonica

PY - 1990

PB - University of Miskolc

VL - 1

IS - 1

SP - 15

EP - 32

LA - eng

KW - automatic theorem proving; degeneracy problem; Gröbner base; module of syzygies; subsidiary condition

UR - http://eudml.org/doc/226707

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.