Publisher
Springer Nature Switzerland
Reference47 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The satisfiability modulo theories library (SMT-LIB) (2016). www.SMT-LIB.org
2. Brown, C.: Tutorial: cylindrical algebraic decomposition, at ISSAC (2004). http://www.usna.edu/Users/cs/wcbrown/research/ISSAC04/handout.pdf
3. Brown, C.W., Davenport, J.H.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, pp. 54–60. ACM (2007)
4. Lecture Notes in Computer Science;CW Brown,2020
5. Burés, J., Larrosa, I.: Organic reaction mechanism classification using machine learning. Nature 613(7945), 689–695 (2023)