Image de couverture de livre

Formalization of Amicable Numbers Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Zhipeng, Tang, Haolun, Zhan, Jingyi
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
par: Brough, Jackson
Publié: (2026)

Formal Verification of the Empty Hexagon Number
par: Subercaseaux, Bernardo, et autres
Publié: (2024)

A Theory of Formal Choreographic Languages
par: Barbanera, Franco, et autres
Publié: (2022)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
par: Pąk, Karol, et autres
Publié: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
par: Konečný, Michal, et autres
Publié: (2024)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
par: Affeldt, Reynald, et autres
Publié: (2023)

The Formal Theory of Monads, Univalently
par: van der Weide, Niels
Publié: (2022)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
par: Gallego-Hernández, Jorge, et autres
Publié: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
par: Chen, Chen, et autres
Publié: (2025)

A Theory of Formalisms for Representing Knowledge
par: Zhang, Heng, et autres
Publié: (2024)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
par: Lewis, Marco, et autres
Publié: (2021)

A Graded Modal Dependent Type Theory with Erasure, Formalized
par: Abel, Andreas, et autres
Publié: (2026)

Formalizing equivalences without tears
par: de Jong, Tom
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

Meta-Modelling in Formal Concept Analysis
par: Wang, Yingjian
Publié: (2024)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Formal Modelling and Analysis of Slot Machines
par: Groote, Jan Friso, et autres
Publié: (2024)

Formal Verification of Isothermal Chemical Reactors
par: Feyzishendi, Parivash, et autres
Publié: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
par: Iemhoff, Rosalie, et autres
Publié: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Formalizing Gröbner Basis Theory in Lean
par: Guo, Junyu, et autres
Publié: (2026)

A Rocq Formalization of Monomial and Graded Orders
par: Boldo, Sylvie, et autres
Publié: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
par: Brown, Chad E., et autres
Publié: (2025)

Proceedings Eighth Symposium on Working Formal Methods
par: Marin, Mircea, et autres
Publié: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
par: Sabelli, Pietro
Publié: (2024)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
par: Takahashi, Yuta
Publié: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)