Author:
Brown Christopher W.,Daves Glenn Christopher
Publisher
Springer International Publishing
Reference9 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The satisfiability modulo theories library (SMT-LIB) (2016).
www.SMT-LIB.org
2. Brown, C.W.: Open non-uniform cylindrical algebraic decompositions. In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, pp. 85–92. ACM, New York (2015)
3. Brown, C.W., Vale-Enriquez, F.: From simplification to a partial theory solver for non-linear real polynomial constraints. J. Symb. Comput. 100, 72–101 (2020). Symbolic Computation and Satisfiability Checking
4. Chollet, F., et al.: Keras (2015).
https://keras.io
5. Florescu, D., England, M.: Algorithmically generating new algebraic features of polynomial systems for machine learning (2019)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献