...
机译:九点圆定理的指导发现及其证明
Department of Mathematics and Statistics, University of New Hampshire, Durham, Unites States;
机译:九点圆锥曲线:计算机的重新发现和证明
机译:托勒密定理和九点圆定理的新证明
机译:通过能量函数方法证明圆形图案的Andreev-Thurston定理
机译:面向切削面定理的计算机辅助发现和自动证明
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:工程师年轻中尉的冥想的果实:主要影响的定理及其应用。从发现九点圈的两个世纪