Formalizing Wu-Ritt Method in Lean 4

MaRDI QIDQ7244121arXivFDO

Authors Yuxuan Xiao, Hao Shen, Junyu Guo, Dingkang Wang, Lihong Zhi

Publication date 2026

Published in arXiv

arXiv classification

math.AC

This page was built for publication: Formalizing Wu-Ritt Method in Lean 4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7244121)