Back to Results
First PageMeta Content
Automated theorem proving / Logical syntax / Mathematical logic / Proof theory / Heuristics / Rippling / Mathematical proof / Theorem / NP / Logic / Mathematics / Theoretical computer science


Can a system learn from interactive proofs? Leo Freitas, Cliff B. Jones and Andrius Velykis Newcastle University {leo.freitas,cliff.jones,andrius.velykis}@newcastle.ac.uk Abstract This paper sets out the on-going researc
Add to Reading List

Document Date: 2014-04-07 06:29:38

Open Document

File Size: 357,94 KB

Share Result on Facebook

City

Edinburgh / /

/

Facility

Andrius Velykis Newcastle University / /

IndustryTerm

proof planning tools / machinery / cross-products / theorem proving systems / data-mining techniques / data-mining / proof tools / bank consortium / scale industrial applications / rule applications / e.g. tools / proof tool / search algorithms / /

Movie

R / /

Organization

European Union / Newcastle University / US Federal Reserve / /

Person

Cliff B. Jones / Leo Freitas / /

Position

first author / Fisher / representative / second author / engineer / /

Technology

data mining / automatic search algorithms / dom / machine learning / artificial intelligence / /

URL

www.rodintools.org / /

SocialTag