@第{FleuryKaufmann-AFP20条，author={Mathias Fleury和Daniela Kaufmann}，title={实用代数微积分检查器}，journal={Arch.Formal Proofs}，体积={2020年}，年份={2020年}，url={https://www.isa-afp.org/entries/PAC_Checker.html},}