Estimation of Measurement Characteristics of Ultrasound Fetal Heart Rate Monitor
- 作者Y. Noguchi; H. Mamune; S. Sugimoto; A. Yoshida; H. Sasa; H. Kobayashi; M. Kobayashi
- 文件大小741.85KB
- 发表时间1995
- DOI10.1143/JJAP.34.2840
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