S. McCallum, Elena Kartaschova,
"Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators"
, in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger: Towards Mechanized Mathematical Assistants (Proc. of MKM and Calculemus 2007), Serie Lecture Notes in Computer Science (LNCS), Vol. 4573, Springer, Heidelberg, Seite(n) 106-115, 2007
Original Titel:
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
Sprache des Titels:
Englisch
Original Buchtitel:
Towards Mechanized Mathematical Assistants (Proc. of MKM and Calculemus 2007)