Fast arithmetics in Artin–Schreier towers over finite fields
- 作者Luca De Feo; Éric Schost
- 卷第47卷
- 期第7期
- 印刷ISSN0747-7171
- 电子ISSN1095-855X
- 文件大小1046.19KB
- 发表时间2012
- DOI10.1016/j.jsc.2011.12.008
- 页码771-792
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