Divasón, Jose; Joosten, Sebastiaan J. C.; Thiemann, René; Yamada, Akihisa A verified implementation of the Berlekamp-Zassenhaus factorization algorithm. (English) Zbl 1469.68165 J. Autom. Reasoning 64, No. 4, 699-735 (2020). MSC: 68V15 03B35 12-08 13P05 68V20 PDFBibTeX XMLCite \textit{J. Divasón} et al., J. Autom. Reasoning 64, No. 4, 699--735 (2020; Zbl 1469.68165) Full Text: DOI
Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method. (English) Zbl 1211.68373 J. Autom. Reasoning 45, No. 3, 243-266 (2010). MSC: 68T15 51-04 68U05 PDFBibTeX XMLCite \textit{Z. Ye} et al., J. Autom. Reasoning 45, No. 3, 243--266 (2010; Zbl 1211.68373) Full Text: DOI