Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1212.3618
Cited By
Machine Learning in Proof General: Interfacing Interfaces
14 December 2012
Ekaterina Komendantskaya
Jónathan Heras
G. Grov
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Machine Learning in Proof General: Interfacing Interfaces"
1 / 1 papers shown
Title
ML4PG in Computer Algebra verification
Jónathan Heras
Ekaterina Komendantskaya
31
11
0
26 Feb 2013
1
