Funder
Universidad de La Rioja
Ministerio de Economía y Competitividad (ES)
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference54 articles.
1. Adelsberger, S., Hetzl, S., Pollak, F.: The Cayley–Hamilton theorem. Arch. Form. Proofs (2014). http://afp.sf.net/entries/Cayley_Hamilton.shtml , Formal proof development
2. Aehlig, K., Haftmann, F., Nipkow, T.: A compiled implementation of normalization by evaluation. J. Funct. Program. 22(1), 9–30 (2012)
3. Afshar, S.K., Aravantinos, V., Hasan, O., Tahar, S.: Formalization of complex vectors in higher-order logic. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) Intelligent Computer Mathematics: CICM 2014. Proceedings, Lecture Notes in Artificial Intelligence, vol. 8543, pp. 123–137. Springer, Berlin (2014)
4. Lecture Notes in Computer Science;J Aransay,2014
5. Aransay, J., Divasón, J.: Formalisation in higher-order logic and code generation to functional languages of the Gauss–Jordan algorithm. J. Funct. Program. 25, 1–21 (2015)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献