✦ LIBER ✦

An Elimination Theory for Differential Algebra

✍ Scribed by A Seidenberg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elimination of algorithmic quantifiers f

✍ Yunfu Shen 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 64 KB

Differential algebraic elimination theor

✍ Rubel, Singer. 📂 Library 📅 1985 🌐 English ⚖ 65 KB

On an existence and uniqueness theory fo

✍ Sebastian Reich 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 709 KB

Algebraic proof theory for substructural

✍ Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 399 KB

An algebraic reduction theory for W∗ alg

✍ Şerban Strătilă; László Zsidó 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 846 KB

An Introduction to Differential Algebra

✍ Irving Kaplansky 📂 Library 📅 1957 🏛 Hermann 🌐 English ⚖ 1 MB