An optimization of Seidenberg's elimination algorithm in differential algebra.

DOI10.1016/S0378-4754(96)00018-3zbMath1037.12502WikidataQ127861611 ScholiaQ127861611MaRDI QIDQ1565826

François Boulier

Publication date: 27 May 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

zbMATH Keywords

optimizationelimination theorycomputer algebrarewriting systemdifferential algebra

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Differential algebra (12H05)

Related Items (1)

Sufficient set of integrability conditions of an orthonomic system

Cites Work

• Elimination in control theory
• Contribution to the Picard-Vessiot Theory of Homogeneous Linear Differential Equations
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An optimization of Seidenberg's elimination algorithm in differential algebra.