Matrix representations for generalized term orders

Beschreibung

We suggest a representation of a generalized term order $\prec$ on the set of difference-differential terms or equivalently on $\mathbb N^m\times\mathbb Z^n$ by a matrix. The approach is based on showing that there exists $m+n

Zeitraum	27 Okt. 2010
Ereignistitel	DART-IV (Fourth International Workshop on Differential Algebra and Related Topics)
Veranstaltungstyp	Konferenz
Ort	ChinaAuf Karte anzeigen