Author:
Florescu Dorian,England Matthew
Publisher
Springer International Publishing
Reference25 articles.
1. Alemi, A., Chollet, F., Een, N., Irving, G., Szegedy, C., Urban, J.: DeepMath - deep sequence models for premise selection. In: Proceedings of the NIPS 2016, pp. 2243–2251 (2016).
https://doi.org/10.5555/3157096.3157347
2. Bradford, R., et al.: Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98, 84–119 (2020).
https://doi.org/10.1016/j.jsc.2019.07.008
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Bradford,2013
4. Brown, C.: Companion to the tutorial: cylindrical algebraic decomposition. In: Presented at ISSAC 2004 (2004).
http://www.usna.edu/Users/cs/wcbrown/research/ISSAC04/handout.pdf
5. Brown, C., Davenport, J.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proceedings of the ISSAC 2007, pp. 54–60. ACM (2007).
https://doi.org/10.1145/1277548.1277557
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献