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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.