Author:
Bridge James P.,Paulson Lawrence Charles
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference15 articles.
1. Akbarpour, B., Paulson, L.: MetiTarski: An automatic theorem prover for real-valued special functions. J. Autom. Reason. 44(3), 175–205 (2010). doi: 10.1007/s10817-009-9149-2
2. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, chap. 2, pp. 19–99. Elsevier, Amsterdam (2001)
3. Denman, W., Akbarpour, B., Tahar, S., Zaki, M., Paulson, L.C.: Formal verification of analog designs using MetiTarski. In: Biere, A., Pixley, C. (eds.) Formal Methods in Computer Aided Design, pp. 93–100. IEEE, Piscataway (2009). doi: 10.1109/FMCAD.2009.5351136
4. Fietzke, A., Weidenbach, C.: Labelled splitting. Ann. Math. Artif. Intell. 55, 3–34 (2009). doi: 10.1007/s10472-009-9150-9
5. Hurd, J.: Metis first order prover (2007). URL: http://gilith.com/software/metis/
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated theorem proving;Wiley Interdisciplinary Reviews: Cognitive Science;2014-01-17
2. MetiTarski’s Menagerie of Cooperating Systems;Frontiers of Combining Systems;2013
3. MetiTarski: Past and Future;Interactive Theorem Proving;2012