Author:
Huang Zongyan,England Matthew,Wilson David,Davenport James H.,Paulson Lawrence C.,Bridge James
Publisher
Springer International Publishing
Reference50 articles.
1. Akbarpour, B., Paulson, L.: MetiTarski: An automatic theorem prover for real-valued special functions. Journal of Automated Reasoning 44(3), 175–205 (2010)
2. Alpaydin, E.: Introduction to machine learning. MIT Press (2004)
3. Arnon, D., Collins, G., McCallum, S.: Cylindrical algebraic decomposition I: The basic algorithm. SIAM Journal of Computing 13, 865–877 (1984)
4. Baldi, P., Brunak, S., Chauvin, Y., Andersen, C.A., Nielsen, H.: Assessing the accuracy of prediction algorithms for classification: an overview. Bioinformatics 16(5), 412–424 (2000)
5. Basu, S.: Algorithms in real algebraic geometry: A survey (2011), www.math.purdue.edu/~sbasu/raag_survey2011_final.pdf
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献