@misc{BibbaseGreinerPetterTalkSIGMathLing,
	type = {Invited talk},
	title = {Comparative {Verification} of {Digital} {Mathematical} {Libraries} and {Computer} {Algebra} {Systems}},
	url = {https://sigmathling.kwarc.info/seminar/},
	author = {Greiner-Petter, Andre},
	month = mar,
	year = {2021},
	note = {Invited Talk},
}

{"_id":"ddCkpqqs3N6qE7AZM","bibbaseid":"greinerpetter-comparativeverificationofdigitalmathematicallibrariesandcomputeralgebrasystems-2021","author_short":["Greiner-Petter, A."],"bibdata":{"bibtype":"misc","type":"Invited talk","title":"Comparative Verification of Digital Mathematical Libraries and Computer Algebra Systems","url":"https://sigmathling.kwarc.info/seminar/","author":[{"propositions":[],"lastnames":["Greiner-Petter"],"firstnames":["Andre"],"suffixes":[]}],"month":"March","year":"2021","note":"Invited Talk","bibtex":"@misc{BibbaseGreinerPetterTalkSIGMathLing,\n\ttype = {Invited talk},\n\ttitle = {Comparative {Verification} of {Digital} {Mathematical} {Libraries} and {Computer} {Algebra} {Systems}},\n\turl = {https://sigmathling.kwarc.info/seminar/},\n\tauthor = {Greiner-Petter, Andre},\n\tmonth = mar,\n\tyear = {2021},\n\tnote = {Invited Talk},\n}\n\n","author_short":["Greiner-Petter, A."],"key":"BibbaseGreinerPetterTalkSIGMathLing","id":"BibbaseGreinerPetterTalkSIGMathLing","bibbaseid":"greinerpetter-comparativeverificationofdigitalmathematicallibrariesandcomputeralgebrasystems-2021","role":"author","urls":{"Paper":"https://sigmathling.kwarc.info/seminar/"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"misc","biburl":"https://api.zotero.org/users/7689706/collections/IBJGRWZX/items?key=R0b523dc3oYLxTGap1H4YXgd&format=bibtex&limit=100","dataSources":["wZtCXbB8M6GYSQHMx","QGwcHf7xnb5mCCQi7"],"keywords":[],"search_terms":["comparative","verification","digital","mathematical","libraries","computer","algebra","systems","greiner-petter"],"title":"Comparative Verification of Digital Mathematical Libraries and Computer Algebra Systems","year":2021,"downloads":2}