scientific article; zbMATH DE number 1795752

MaRDI QIDQ4550808zbMATH OpenFDO

Authors Jimin Wang, Lian Li, Fuding Xie

Publication date 8 July 2003

zbMATH Keywords

decision algorithmdecision methoddifferential quasi-algebraic varietiesfirst-order logicinclusion

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Differential algebra (12H05) Decidability and field theory (12L05) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1824153
• scientific article; zbMATH DE number 4104382
• The differential ideal \([P] : M^ \infty\).
• scientific article; zbMATH DE number 4079376
• Differential-algebraic decision methods and some applications to system theory

Cited in

(2)

• scientific article; zbMATH DE number 1824153 (Why is no real title available?)
• scientific article; zbMATH DE number 4104382 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4550808)