海量图书期刊资源,随时随地畅享阅读乐趣
Solving Systems of Strict Polynomial InequalitiesAdam Strzeboński · 2000
Cylindrical Algebraic Decomposition using validated numericsAdam W. Strzeboński · 2006
Cylindrical algebraic decomposition using local projectionsStrzeboński, Adam · Journal of Symbolic Computation · 2015
Computing in the Field of Complex Algebraic NumbersADAM WOJCIECH STRZEBOŃSKI · 1997
Cylindrical decomposition for systems transcendental in the first variableAdam Strzeboński · 2011
[ACM Press the 2017 ACM - Kaiserslautern, Germany (2017.07.23-2017.07.28)] Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17 - CAD Adjacency Computation Using Validated NumericsStrzeboński, Adam · 2017
[ACM Press the 39th International Symposium - Kobe, Japan (2014.07.23-2014.07.25)] Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 - Cylindrical algebraic decomposition using local projectionsStrzeboński, Adam · 2014