Author:
Ábrahám Erika,Abbott John,Becker Bernd,Bigatti Anna M.,Brain Martin,Buchberger Bruno,Cimatti Alessandro,Davenport James H.,England Matthew,Fontaine Pascal,Forrest Stephen,Griggio Alberto,Kroening Daniel,Seiler Werner M.,Sturm Thomas
Publisher
Springer International Publishing
Reference59 articles.
1. Abbott, J., Bigatti, A.M., Lagorio, G.: CoCoA-5: a system for doing computations in commutative algebra. http://cocoa.dima.unige.it
2. Ábrahám, E.: Building bridges between symbolic computation and satisfiability checking. In: Proceedings ISSAC 2015, pp. 1–6. ACM (2015)
3. Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings ISSAC 2014, pp. 1–8. ACM (2014)
4. Lecture Notes in Computer Science;C Barrett,2011
5. Barrett, C., Kroening, D., Melham, T.: Problem solving for the 21st century: efficient solvers for satisfiability modulo theories. Technical report 3, London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering, Knowledge Transfer Report (2014). http://www.cs.nyu.edu/~barrett/pubs/BKM14.pdf
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献