Open AccessAutomatically Generating Algebra Problems
Author(s) -
Rohit Singh,
Sumit Gulwani,
Sriram K. Rajamani
Publication year - 2021
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v26i1.8341
Subject(s) - computer science , variety (cybernetics) , class (philosophy) , set (abstract data type) , term (time) , pruning , algebra over a field , space (punctuation) , polynomial , identity (music) , symbolic computation , theoretical computer science , mathematics , artificial intelligence , programming language , pure mathematics , mathematical analysis , physics , quantum mechanics , acoustics , agronomy , biology , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom