Comparative Verification of Digital Mathematical Libraries and Computer Algebra Systems. Greiner-Petter, A. March, 2021. Invited Talk
Comparative Verification of Digital Mathematical Libraries and Computer Algebra Systems [link]Paper  bibtex   
@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, André},
	month = mar,
	year = {2021},
	note = {Invited Talk},
}

Downloads: 0