狂热文化
发表于 2025-3-23 12:13:58
Basic Concepts and Preliminaries,ow describe the use of the hyperreals as valuable tools for mathematical analysis. Through the existence of infinitesimals, finite, and infinite numbers, NSA provides us with a rich structure which we use to formalize alternative treatments of topics in classical analysis. Such treatments are not on
暂时休息
发表于 2025-3-23 15:35:24
http://reply.papertrans.cn/15/1403/140247/140247_12.png
压倒
发表于 2025-3-23 18:18:30
Basic structure and metabolism of isomalt, NSA. The idea was to introduce a new number system known as the . which contains the real numbers but also infinitesimals and infinite numbers. The notions of infinitesimals and other nonstandard numbers introduce many subtleties into the theory that need to be dealt with.
食物
发表于 2025-3-24 01:02:19
http://reply.papertrans.cn/15/1403/140247/140247_14.png
无瑕疵
发表于 2025-3-24 06:19:50
http://reply.papertrans.cn/15/1403/140247/140247_15.png
quiet-sleep
发表于 2025-3-24 07:45:57
978-1-4471-1041-5Springer-Verlag London 2001
atopic
发表于 2025-3-24 11:37:26
Book 2001ocedures, which respects much of Newton‘s original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.
corpuscle
发表于 2025-3-24 15:37:05
of the procedures, which respects much of Newton‘s original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.978-1-4471-1041-5978-0-85729-329-9
BRINK
发表于 2025-3-24 22:28:06
http://reply.papertrans.cn/15/1403/140247/140247_19.png
CRATE
发表于 2025-3-25 02:26:36
Basic structure and metabolism of isomalt,omain emerged and no significant results could be proved. The developments over the last twenty years or so though have led to a revolution in the field. We survey several of the powerful methods proposed and analyse our own choice for formalization in Isabelle. Concepts that are important to deal with the geometry of the . are also introduced.