External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of the Equivalence Between Dedekind's Fundamental Theorem and the Supremum Theorem Based on Axiomatic Set Theory

Ce Zhang, Wensheng Yu. Formal Verification of the Equivalence Between Dedekind's Fundamental Theorem and the Supremum Theorem Based on Axiomatic Set Theory. In Proceedings of the 2025 17th International Conference on Computer Modeling and Simulation, ICCMS 2025, Zhuhai, Guangdong, China, June 13-15, 2025. pages 23-27, ACM, 2025. [doi]

Abstract

Abstract is missing.

runs on