共 41 条
[1]
Almagor S., 2018, 45 INT C AUT LANG PR
[2]
[Anonymous], 1988, New Advances in Transcendence Theory
[3]
[Anonymous], 2007, The calculus of computation: decision procedures with applications to verification
[4]
Babai L, 1996, PROCEEDINGS OF THE SEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P498
[5]
Basu S., 2006, Algorithms and Computation in Mathematics
[6]
Becker T., 1993, GRADUATE TEXTS MATH, V141
[10]
Cousot P., 1978, POPL, P84, DOI DOI 10.1145/512760.512770