Theorem Proving in Large Formal Mathematics as an Emerging AI Field

Urban, J., Vyskočil, J.

URBAN, J. and J. VYSKOČIL. Theorem Proving in Large Formal Mathematics as an Emerging AI Field. In: BONACINA, M.P. and M.E. STICKEL, eds. Automated Reasoning and Mathematics. Heidelberg: Springer, 2013. pp. 240-257. ISSN 0302-9743. ISBN 978-3-642-36674-1.

URL: http://link.springer.com/chapter/10.1007%2F978-3-642-36675-8_13