𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

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


Book ID
121405841
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
704 KB
Volume
479
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.