×

Found 10 Documents (Results 1–10)

Newest Citations Relevance
Benzmüller, Christoph

Invited talk: On a (quite) universal theorem proving approach and its application in metaphysics. (English) Zbl 1471.68302

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 213-220 (2015).
MSC:  68V15 03A05 03B16 03B35
Cite Review PDF
Full Text: DOI
Gransden, Thomas; Walkinshaw, Neil; Raman, Rajeev

Mining state-based models from proof corpora. (English) Zbl 1304.68155

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 282-297 (2014).
MSC:  68T15
Cite Review PDF
Full Text: DOI arXiv Link
Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen

Hipster: integrating theory exploration in a proof assistant. (English) Zbl 1304.68157

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 108-122 (2014).
MSC:  68T15
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

Volume

all top 5

Year of Publication

Main Field

all top 3

Software