Format:
XIX, 431 S
,
Ill
ISBN:
9783211827949
,
3211827943
Series Statement:
Texts and monographs in symbolic computation
Note:
Literaturverz. S. [393] - 419
Language:
English
Subjects:
Mathematics
Keywords:
Zerlegung
;
Algebraischer Algorithmus
;
Quantorenelimination
;
Konferenzschrift
;
Konferenzschrift