botany
发表于 2025-3-26 23:59:52
Using , in the Formalization of Theoretical Economicsematical proofs for certain axiomatized economical situations. Such proofs can—at least in principle—also be carried through in formal systems such as .. In this paper we describe experiments carried through using the . system to prove theorems about a particular form of games called pillage games.
灵敏
发表于 2025-3-27 03:04:50
http://reply.papertrans.cn/47/4695/469427/469427_32.png
经典
发表于 2025-3-27 05:24:35
Computer Certified Efficient Exact Reals in , can be shifted away from the user by providing a library of . analysis in which the computer handles the error estimates. We provide an implementation of the exact real numbers in the . proof assistant. This improves on the earlier .-implementation by O’Connor in two ways: we use dyadic rationals b
Ringworm
发表于 2025-3-27 12:39:51
A Foundational View on Integration Problemsr, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoreti
STALL
发表于 2025-3-27 14:29:02
http://reply.papertrans.cn/47/4695/469427/469427_35.png
Isometric
发表于 2025-3-27 17:53:49
Large Formal Wikis: Issues and Solutionss handled by the general wiki system described in . A smart re-verification scheme for the large formal libraries in the wiki is suggested for ./MML and ./CoRN, based on recently developed precise tracking of mathematical dependencies. We propose to use features of state-of-the-art filesystems t
DRAFT
发表于 2025-3-28 01:07:38
Licensing the , Mathematical Librarye number of authors and maintainers. Yet the legal status of these efforts of the . community has never been clarified. In 2010, after many years of loose deliberations, the community decided to investigate the issue of licensing the content of the ., thereby clarifying and crystallizing the status
标准
发表于 2025-3-28 03:00:54
http://reply.papertrans.cn/47/4695/469427/469427_38.png
projectile
发表于 2025-3-28 09:33:49
http://reply.papertrans.cn/47/4695/469427/469427_39.png
Alcove
发表于 2025-3-28 12:58:15
http://reply.papertrans.cn/47/4695/469427/469427_40.png