A short survey of automated reasoning

Cached

Download Links

by John Harrison
Citations:2 - 0 self

Documents Related by Co-Citation

534 Degree Theory – N G LLOYD - 1978
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
451 On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem – J B Kruskal - 1956
276 The travelling salesman problem: a case study – D S Johnson, L A McGeoch - 1997
190 Fast decision procedures based on congruence closure – Greg Nelson, Derek, C. Oppen - 1980
75 Implementing mathematics with the NuPrl development system – R Constable, S Allen, H Bromley, W Cleaveland, J Cremer, R Harper, D Howe, T Knoblock, N Mendler, P Panangaden, J Sasaki, S Smith - 1986
65 Probability theory of classical Euclidean optimization problems – J E Yukich - 1998
47 Benthem Jutting. Checking Landau’s “Grundlagen” in the Automath system – L S van - 1977
24 A formally verified proof of the prime number theorem – Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff - 2006