𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Deciding polynomial-exponential problems

✍ Scribed by Achatz, Melanie; McCallum, Scott; Weispfenning, Volker

Book ID: 125523246
Publisher: ACM Press
Year: 2008
Weight: 205 KB
Category: Article
ISBN: 1595939040
DOI: 10.1145/1390768.1390799

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the twenty-first internationa

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Moving frames for laplace invariants

✍ Shemyakova, Ekaterina; Mansfield, Elizabeth L. 📂 Article 📅 2008 🏛 ACM Press ⚖ 268 KB

[ACM Press the twenty-first internationa

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Gröbner bases for public key cryptography

✍ Caboara, Massimo; Caruso, Fabrizio; Traverso, Carlo 📂 Article 📅 2008 🏛 ACM Press ⚖ 255 KB

[ACM Press the twenty-first internationa

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Computing the multiplicity structure from geometric involutive form

✍ Wu, Xiaoli; Zhi, Lihong 📂 Article 📅 2008 🏛 ACM Press ⚖ 413 KB

[ACM Press the twenty-first internationa

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Computational D-module theory with singular, comparison with other systems and two new algorithms

✍ Levandovskyy, Viktor; Morales, Jorge Martin 📂 Article 📅 2008 🏛 ACM Press ⚖ 295 KB

[ACM Press the twenty-first internationa

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Computational D-module theory with singular, comparison with other systems and two new algorithms

✍ Levandovskyy, Viktor; Morales, Jorge Martin 📂 Article 📅 2008 🏛 ACM Press ⚖ 295 KB

[ACM Press the twenty-first internationa

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields

✍ Poteaux, Adrien; Rybowicz, Marc 📂 Article 📅 2008 🏛 ACM Press ⚖ 260 KB