@Article{Sarma2017,
author = {Sarma, Gopal P and Hay, Nick J}, 
title = {Robust Computer Algebra, Theorem Proving, and Oracle AI}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {2017}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"T78GBoJAGRDKzfvzy","bibbaseid":"sarma-hay-robustcomputeralgebratheoremprovingandoracleai-2017","authorIDs":[],"author_short":["Sarma, G. P","Hay, N. J"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sarma"],"firstnames":["Gopal","P"],"suffixes":[]},{"propositions":[],"lastnames":["Hay"],"firstnames":["Nick","J"],"suffixes":[]}],"title":"Robust Computer Algebra, Theorem Proving, and Oracle AI","journal":"","volume":"","number":"","pages":"","year":"2017","abstract":"","location":"","keywords":"","bibtex":"@Article{Sarma2017,\nauthor = {Sarma, Gopal P and Hay, Nick J}, \ntitle = {Robust Computer Algebra, Theorem Proving, and Oracle AI}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2017}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Sarma, G. P","Hay, N. J"],"key":"Sarma2017","id":"Sarma2017","bibbaseid":"sarma-hay-robustcomputeralgebratheoremprovingandoracleai-2017","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.047Z","downloads":0,"keywords":[],"search_terms":["robust","computer","algebra","theorem","proving","oracle","sarma","hay"],"title":"Robust Computer Algebra, Theorem Proving, and Oracle AI","year":2017,"dataSources":["hEoKh4ygEAWbAZ5iy"]}