✦ LIBER ✦

[ACM Press the 2011 International Workshop - San Jose, California (2011.06.07-2012.06.09)] Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation - SNC '11 - An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

✍ Scribed by Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu

Book ID: 121429310
Publisher: ACM Press
Year: 2011
Weight: 342 KB
Category: Article
ISBN: 1450305156
DOI: 10.1145/2331684.2331712

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2011 International Worksh

[ACM Press the 2011 International Workshop - San Jose, California (2011.06.07-2012.06.09)] Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation - SNC '11 - Interval function and its linear least-squares approximation

✍ Hu, Chenyi 📂 Article 📅 2011 🏛 ACM Press ⚖ 345 KB

[ACM Press the 2nd international worksho

[ACM Press the 2nd international workshop - San Jose, California, USA (2011.06.08-2011.06.08)] Proceedings of the 2nd international workshop on Scientific cloud computing - ScienceCloud '11 - Experiences using cloud computing for a scientific workflow application

✍ Vöckler, Jens-Sönke; Juve, Gideon; Deelman, Ewa; Rynge, Mats; Berriman, Bruce 📂 Article 📅 2011 🏛 ACM Press ⚖ 810 KB

[ACM Press the 36th international sympos

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - A simple but exact and efficient algorithm for complex root isolation

✍ Yap, Chee K.; Sagraloff, Michael 📂 Article 📅 2011 🏛 ACM Press ⚖ 488 KB

[ACM Press the 1st International Worksho

[ACM Press the 1st International Workshop - San Jose, California (2011.06.05-2011.06.05)] Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era - EXADAPT '11 - Using a "codelet" program execution model for exascale machines

✍ Zuckerman, Stéphane; Suetterlein, Joshua; Knauerhase, Rob; Gao, Guang R. 📂 Article 📅 2011 🏛 ACM Press ⚖ 602 KB

[ACM Press the 36th international sympos

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices

✍ Faugère, Jean-Charles; Mou, Chenqi 📂 Article 📅 2011 🏛 ACM Press ⚖ 433 KB

[ACM Press the 36th international sympos

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices

✍ Faugère, Jean-Charles; Mou, Chenqi 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 433 KB

Let I ⊂ K[x 1 ,...,x n ] be a 0-dimensional ideal of degree D where K is a field. It is well-known that obtaining efficient algorithms for change of ordering of Gröbner bases of I is crucial in polynomial system solving. Through the algorithm FGLM, this task is classically tackled by linear algebra