Bruno Buchberger,
"Theorema Proving for and with Gröbner Bases"
, in K. Glakowski and E. Rogers: Proceedings of the Second International Workshop on Multidimensional Systems, 12-2000, B. Buchberger; in: K.-Galkowski and E. Rogers, eds., Proceedings of the Second International Workshop on Multidimensional Systems, June 27-30, Czocha Castle, Poland, pages 15-22, 2000.
Original Titel:
Theorema Proving for and with Gröbner Bases
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Second International Workshop on Multidimensional Systems
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger; in: K.-Galkowski and E. Rogers, eds., Proceedings of the Second International Workshop on Multidimensional Systems, June 27-30, Czocha Castle, Poland, pages 15-22, 2000.