1 |
BECKER R, SAGRALOFF M, SHARMA V, et al. A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration [J]. Journal of Symbolic Computation, 2018, 86: 51-96. 10.1016/j.jsc.2017.03.009
|
2 |
MEHLHORN K, SAGRALOFF M, WANG P M. From approximate factorization to root isolation with application to cylindrical algebraic decomposition [J]. Journal of Symbolic Computation, 2015, 66:34-69. 10.1016/j.jsc.2014.02.001
|
3 |
陈世平,刘忠.三角函数多项式的实根分离[J].汕头大学学报(自然科学版),2016,31(3):25-39. 10.31576/smryj.15
|
|
CHEN S P, LIU Z. Real root isolation of trigonometric function polynomial [J]. Journal of Shantou University (Natural Science Edition), 2016, 31(3):25-39. 10.31576/smryj.15
|
4 |
杨路,夏壁灿.不等式机器证明与自动发现[M].北京:科学出版社,2008:126-130.
|
|
YANG L, XIA B C. Inequality Machanical Proving and Automatic Discovery [M]. Beijing: Science Press, 2008: 126-130.
|
5 |
ACHATZ M, McCALLUM S, WEISPFENNING V. Deciding polynomial-exponential problems [C]// Proceedings of the 2008 21st International Symposium on Symbolic and Algebraic Computation. New York: ACM, 2008: 215-222. 10.1145/1390768.1390799
|
6 |
WU W T. Basic principles of mechanical theorem proving in elementary geometries [J]. Journal of Automated Reasoning, 1986, 2(3): 221-252. 10.1007/bf02328447
|
7 |
BUCHBERGER B, COLLINSS G E, KUTZLER B. Algebraic methods for geometric reasoning [J]. Annual Review of Computer Science, 1988, 3: 85-119. 10.1146/annurev.cs.03.060188.000505
|
8 |
YANG L, ZHANG J. A practical program of automated proving for a class of geometric inequalities [C]// Proceedings of the 2000 International Workshop on Automated Deduction in Geometry, LNCS 2061. Berlin: Springer, 2000: 41-57.
|
9 |
陆征一,何碧,罗勇.多项式系统的实根分离算法及其应用[M].北京:科学出版社,2004:34-44. 10.5687/sss.2004.29
|
|
LU Z Y, HE B, LUO Y, Real Root Isolation Algorithm of Polynomial System and Its Applications [M]. Beijing: Science Press, 2004: 34-44. 10.5687/sss.2004.29
|
10 |
DAI L Y, FAN Z, XIA B C, et al. Logcf: an efficient tool for real root isolation [J]. Journal of Systems Science and Complexity, 2019, 32(6): 1767-1782. 10.1007/s11424-019-7361-7
|
11 |
STRZEBOŃSKI A. Real root isolation for exp-log-arctan functions [J]. Journal of Symbolic Computation, 2012, 47(3): 282-314. 10.1016/j.jsc.2011.11.004
|
12 |
MCCALLUM S, WEISPFENNING V. Deciding polynomial-transcendental problems [J]. Journal of Symbolic Computation, 2012, 47(1): 16-31. 10.1016/j.jsc.2011.08.004
|
13 |
徐鸣.程序验证与系统分析中的若干符号问题[D].上海:华东师范大学,2010:11-20.
|
|
XU M. Some symbolic computation issues in program verification and system analysis [D]. Shanghai: East China Normal University, 2010: 11-20.
|
14 |
CHEN S P, LIU Z. Automated proof of mixed trigonometric-polynomial inequalities [J]. Journal of Symbolic Computation, 2020, 101: 318-329. 10.1016/j.jsc.2019.10.002
|
15 |
陈世平,刘忠.一类超越函数多项式不等式的自动证明[J].系统科学与数学,2019,39(5):804-822.
|
|
CHEN S P, LIU Z. Automated proving for a class of transcendental-polynomial inequalities [J]. Journal of Systems Science and Mathematical Sciences, 2019, 39(5): 804-822.
|
16 |
陈世平,刘忠.三角函数多项式不等式的自动证明[J].汕头大学学报(自然科学版),2015,30(3):43-55.
|
|
CHEN S P, LIU Z. Automated proving of trigonometric function polynomial inequalities [J]. Journal of Shantou University (Natural Science Edition), 2015, 30(3): 43-55.
|
17 |
陈世平,刘忠.指数多项式不等式的自动证明[J].系统科学与数学,2017,37(7):1692-1703. 10.12341/jssms13219
|
|
CHEN S P, LIU Z. Automated proving of exponent polynomial inequalities [J]. Journal of Systems Science and Mathematical Sciences, 2017, 37(7): 1692-1703. 10.12341/jssms13219
|
18 |
XU M, CHEN L Y, ZENG Z B, et al. Reachability analysis of rational eigenvalue linear systems [J]. International Journal of Systems Science, 2010, 41(12): 1411-1419. 10.1080/00207720903480691
|