信徒
发表于 2025-3-26 21:25:55
9楼
Alpha-Cells
发表于 2025-3-27 03:18:40
9楼
诽谤
发表于 2025-3-27 05:44:58
http://reply.papertrans.cn/93/9270/926937/926937_33.png
CHYME
发表于 2025-3-27 12:41:31
http://reply.papertrans.cn/93/9270/926937/926937_34.png
Guileless
发表于 2025-3-27 14:44:57
,A combination of nonstandard analysis and geometry theorem proving, with application to Newton’s Pring is resolutely geometric in nature but contains “infinitesimal” elements and the presence of motion that take it beyond the traditional boundaries of Euclidean Geometry. These present difficulties that prevent Newton‘s proofs from being mechanised using only the existing geometry theorem proving
coagulate
发表于 2025-3-27 21:08:30
http://reply.papertrans.cn/93/9270/926937/926937_36.png