𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - Quantifier elimination for real algebra---the cubic case

✍ Scribed by Weispfenning, Volker

Book ID: 121243351
Publisher: ACM Press
Year: 1994
Tongue: English
Weight: 529 KB
Category: Article
ISBN-13: 9780897916387
DOI: 10.1145/190347.190425

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the international symposium -

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - GENTRAN 90

✍ Borst, W. N.; Goldman, V. V.; van Hulzen, J. A. 📂 Article 📅 1994 🏛 ACM Press 🌐 English ⚖ 762 KB

[ACM Press the international symposium -

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - How to compute the Melnikov vector?

✍ Goriely, Alain; Tabor, Michael 📂 Article 📅 1994 🏛 ACM Press 🌐 English ⚖ 492 KB

[ACM Press the international symposium -

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - The identity problem for elementary functions and constants

✍ Richardson, Dan; Fitch, John 📂 Article 📅 1994 🏛 ACM Press 🌐 English ⚖ 672 KB

[ACM Press the international symposium -

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - Automatic identification of time scales in enzyme kinetics models

✍ Char, Bruce W.; Russo, Mark F. 📂 Article 📅 1994 🏛 ACM Press 🌐 English ⚖ 867 KB

[ACM Press the international symposium -

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - The use of the special semi-groups for solving differential equations

✍ Weil, Jacques-Arthur 📂 Article 📅 1994 🏛 ACM Press 🌐 English ⚖ 710 KB

[ACM Press the international symposium -

[ACM Press the international symposium - Oxford, United Kingdom (1994.07.20-1994.07.22)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 - On the implementation of a new algorithm for the computation of hyperelliptic integrals

✍ Bertrand, Laurent 📂 Article 📅 1994 🏛 ACM Press 🌐 English ⚖ 401 KB