references.bib

@online{sparql,
    title = {SPARQL Query Language for RDF},
    organization = {W3C},
    date = {2009},
    urldate = {2020-06-10},
    url = {https://www.w3.org/TR/rdf-sparql-query/},
}

@online{gosparql,
    title = {package sparql},
    organization = {godoc.org},
    date = {2019},
    urldate = {2020-06-10},
    url = {https://godoc.org/github.com/knakk/sparql},
}

@online{sparqlimpls,
    title = {SparqlImplementations},
    organization = {W3C},
    url = {https://www.w3.org/wiki/SparqlImplementations},
    urldate = {2020-07-06},
}

@online{uloisabelle,
    title = {Isabelle: Libraries of the Isabelle proof assistant in OMDoc/MMT representation},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-06-10},
    url = {https://gl.mathhub.info/Isabelle}
}

@online{ulocoq,
    title = {XML Coq Exports},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-06-16},
    url = {https://gl.mathhub.info/Coqxml}
}

@online{ulocoqspec,
    title = {coq.8.9.0},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-07-30},
    url = {https://gl.mathhub.info/Coqxml/coq.8.9.0}
}

@online{sparqlpagination,
    title = {Paginating SPARQL results},
    author = {Joshua Taylor},
    date = {2014},
    urldate = {2020-06-10},
    url = {https://stackoverflow.com/questions/27488403/paginating-sparql-results},
}

@online{rdf4j,
    title = {Eclipse rdf4j},
    organization = {The Eclipse Foundation},
    date = {2020},
    urldate = {2020-06-10},
    url = {https://rdf4j.org/},
}

@online{graphdb,
    title = {GraphDB 9.3 documentation},
    organization = {Ontotext},
    date = {2020},
    urldate = {2020-06-16},
    url = {http://graphdb.ontotext.com/documentation/free/}
}

@online{graphdbapi,
    title = {Using GraphDB with the RDF4J API},
    organization = {Ontotext},
    date = {2020},
    urldate = {2020-06-10},
    url = {http://graphdb.ontotext.com/documentation/free/using-graphdb-with-the-rdf4j-api.html},
}

@inproceedings{ulo,
    title={Relational data across mathematical libraries},
    author={Condoluci, Andrea and Kohlhase, Michael and M{\"u}ller, Dennis and Rabe, Florian and Coen, Claudio Sacerdoti and Wenzel, Makarius},
    booktitle={International Conference on Intelligent Computer Mathematics},
    pages={61--76},
    year={2019},
    organization={Springer}
}

@article{onebrain,
    title={Mathematical knowledge management: transcending the one-brain-barrier with theory graphs},
    author={Kohlhase, Michael},
    journal={European Mathematical Society (EMS) Newsletter},
    volume={92},
    pages={22--27},
    year={2014}
}

@online{tetra,
    title={Towards a Heterogeneous Query Language for Mathematical Knowledge: Extended Report},
    author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
    urldate = {2020-06-24},
    url = {https://kwarc.info/people/mkohlhase/papers/tetrasearch.pdf},
}

@book{owl,
    title={A semantic web primer},
    author={Antoniou, Grigoris and Van Harmelen, Frank},
    year={2004},
    pages={113--152},
    chapter={4},
    publisher={MIT press}
}

@article{groebner,
    title={Gr{\"o}bner bases algorithm},
    author={Ajwa, Iyad A and Liu, Zhuojun and Wang, Paul S},
    journal={Technical Reports of the Institute for Computational Mathematics, ICM-199502-00 (versi{\'o} del 2003) Kent State University},
    year={1995}
}

@techreport{dcreport,
    title={The Dublin core metadata element set},
    author={Kunze, John and Baker, Thomas},
    year={2007},
    institution={RFC 5013, August}
}

@online{dcowl,
    title={DCMI Metadata expressed in RDF Schema Language},
    organization = {Dublin Core Metadata Initiative},
    urldate = {2020-06-30},
    url = {https://www.dublincore.org/schemas/rdfs/},
}

@online{afp,
    title={Archive of Formal Proofs},
    urldate = {2020-07-01},
    url = {https://www.isa-afp.org/},
}

@online{rdf4jgen,
    title = {ansell/rdf4j-schema-generator},
    author = {Peter Ansell},
    urldate = {2020-07-02},
    url = {https://github.com/ansell/rdf4j-schema-generator},
}

@inproceedings{align,
  title={Classification of alignments between concepts of formal mathematical systems},
  author={M{\"u}ller, Dennis and Gauthier, Thibault and Kaliszyk, Cezary and Kohlhase, Michael and Rabe, Florian},
  booktitle={International Conference on Intelligent Computer Mathematics},
  pages={83--98},
  year={2017},
  organization={Springer},
  urldate = {2020-07-06},
  url = {https://kwarc.info/people/frabe/Research/GKKMR_alignments_17.pdf},
}

@book{sparqlbook,
    title={Learning SPARQL: querying and updating with SPARQL 1.1},
    author={DuCharme, Bob},
    year={2013},
    publisher={" O'Reilly Media, Inc."}
}

@article{kdisc,
  title={Knowledge discovery in databases: An overview},
  author={Frawley, William J and Piatetsky-Shapiro, Gregory and Matheus, Christopher J},
  journal={AI magazine},
  volume={13},
  number={3},
  pages={57--57},
  year={1992}
}

@inproceedings{aidisc,
  title={Discovering Missing Values in Semi-Structured Databases.},
  author={Yi, Xing and Allan, James and Lavrenko, Victor},
  booktitle={RIAO},
  year={2007}
}

@online{elempro,
    title = {The Definitive Glossary of Higher Mathematical Jargon},
    organization = {Math Vault},
    urldate = {2020-07-07},
    url = {https://mathvault.ca/math-glossary/#elementary}
}

@online{uloonto,
    title = {ulo},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-07-07},
    url = {https://gl.mathhub.info/ulo/ulo}
}

@inproceedings{virt,
    title={Virtual theories--a uniform interface to mathematical knowledge bases},
    author={Wiesing, Tom and Kohlhase, Michael and Rabe, Florian},
    booktitle={International Conference on Mathematical Aspects of Computer and Information Sciences},
    pages={243--257},
    year={2017},
    organization={Springer},
    url = {https://kwarc.info/people/frabe/Research/WKR_virtual_17.pdf},
    urldate = {2020-07-09},
}

@inproceedings{adl,
    author = {Aspinall, David Denney, Ewen and Lüth Christoph},
    title = {A semantic basis for proof queries and transformations},
    booktitle = {International Conference on Logic for Programming Artificial Intelligence and Reasoning},
    organization = {Springer},
    year = {2013}
}

@inproceedings{proofund,
    title={Undergraduate students’ difficulties in proving mathematics},
    author={Maslahah, FN and Abadi, AM and others},
    booktitle={Journal of Physics: Conference Series},
    volume={1320},
    number={1},
    pages={012072},
    year={2019},
    organization={IOP Publishing}
}

@article{proofteach,
    title={Prospective Mathematics Teachers' Difficulties in Doing Proofs and Causes of Their Struggle with Proofs.},
    author={Doruk, Muhammet and Kaplan, Abdullah},
    journal={Online Submission},
    volume={10},
    number={2},
    pages={315--328},
    year={2015},
    publisher={ERIC}
}

@inproceedings{proofsat,
    title={Relating proof complexity measures and practical hardness of SAT},
    author={J{\"a}rvisalo, Matti and Matsliah, Arie and Nordstr{\"o}m, Jakob and {\v{Z}}ivn{\`y}, Stanislav},
    booktitle={International Conference on Principles and Practice of Constraint Programming},
    pages={316--331},
    year={2012},
    organization={Springer},
    url = {https://www.cs.helsinki.fi/u/mjarvisa/papers/jarvisalo-matsliah-nordstrom-zivny.cp12.pdf},
    urldate = {2020-07-30}
}