ML4PG in computer algebra verification

Jonathan Heras, Ekaterina Komendantskaya

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

7 Citations
1 Other
1 Article

1 results

Filter

2013
Machine learning in Proof General: interfacing interfaces
Komendantskaya, E., Heras, J. & Grov, G., 2013, In: Electronic Proceedings in Theoretical Computer Science. 118, p. 15-41 26 p.
Research output: Contribution to journal › Article › peer-review