ML4PG in Computer Algebra Verification
From MaRDI portal
Publication:2843038
DOI10.1007/978-3-642-39320-4_28zbMath1390.68780arXiv1302.6421MaRDI QIDQ2843038
Ekaterina Komendantskaya, Jónathan Heras
Publication date: 9 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1302.6421
68W30: Symbolic computation and algebraic computation
68T05: Learning and adaptive systems in artificial intelligence
Related Items
Uses Software