Cover Image

Virtual Hensel I Arithmetic: Verification of Correctness

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Boyd, James
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Integration in Hensel minimal fields
by: Stout, Mathias, et al.
Published: (2025)

Spectral Triples for Hensel-Steinitz Algebras
by: Hebert, Shelley, et al.
Published: (2025)

Hensel lifting algorithms for quadratic forms
by: Brandhorst, Simon, et al.
Published: (2023)

Noncommutative Geometry of Hensel-Steinitz Algebras
by: Hebert, Shelley, et al.
Published: (2024)

Tame topology in Hensel minimal structures
by: Nowak, Krzysztof Jan
Published: (2021)

Multivariate Hensel Lemma for ultrametric fields
by: Alonso, M. -E., et al.
Published: (2023)

Hensel's lemma for the norm principle for spinor groups
by: Soofiani, Amin
Published: (2024)

Extension of Lipschitz maps definable in Hensel minimal structures
by: Nowak, Krzysztof Jan
Published: (2022)

A Pila--Wilkie theorem for Hensel minimal curves
by: Cantoral-Farfán, Victoria, et al.
Published: (2021)

Spherically complete models of Hensel minimal valued fields
by: Bradley-Williams, David, et al.
Published: (2021)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

About closed subsets definable in Hensel minimal structures
by: Nowak, Krzysztof Jan
Published: (2024)

Hensel minimality: Geometric criteria for $\ell$-h-minimality
by: Vermeulen, Floris
Published: (2022)

Towards Automated Verification of Logarithmic Arithmetic
by: Arnold, Mark G., et al.
Published: (2024)

A Traditional Library Goes Virtual.
by: Boyd, Stephanie
Published: (2002)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
by: Berthomieu, Jérémy, et al.
Published: (2024)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
by: Hozzová, Petra, et al.
Published: (2024)

Arithmetic Duality
by: Milne, James S.
Published: (2025)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Construction of Arithmetic Teichmuller Spaces I
by: Joshi, Kirti
Published: (2021)

A Computational Certificate for the Riemann Hypothesis: Bridging Arithmetic Quantum Mechanics and Proof Verification
by: Morales, Frank
Published: (2026)

Challenges of Virtual Validation and Verification for Automotive Functions
by: Cabrero-Daniel, Beatriz, et al.
Published: (2025)

Non-Binary LDPC Arithmetic Error Correction For Processing-in-Memory
by: Shi, Daijing, et al.
Published: (2025)

Creating Space for an I.M.C. With Only
by: Boyd, M. F.
Published: (1969)

Component parts of the World Heat Flow Data Collection
by: Combs, James Boyd
Published: (1971)

Arithmetic properties of $t$-Schur overpartitions
by: Nadji, Mohammed L., et al.
Published: (2025)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
by: Schmerl, James
Published: (2026)

Improving Arithmetic Reasoning Ability of Large Language Models through Relation Tuples, Verification and Dynamic Feedback
by: Miao, Zhongtao, et al.
Published: (2024)

Patching for étale algebras and the period-index problem for higher degree Galois cohomology groups over Hensel semi-global fields
by: Wang, Yidi
Published: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

One-Token Verification for Reasoning Correctness Estimation
by: Zhuang, Zhan, et al.
Published: (2026)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
by: Schmerl, James H.
Published: (2019)

Estimating food consumption of marine predators : Antarctic fur seals and macaroni penguins / I. L. Boyd
by: Boyd, I.L
Published: (2002)

Arithmetic Properties of Andrews' Singular Overpartitions
by: Chen, Shi-Chao, et al.
Published: (2014)

Correction to “The Spread of Information in Virtual Communities”
Published: (2025)

Geometry of Arithmetic Expressions: I. Basic Concepts and Unsolved Problems
by: Yuan, Mingli
Published: (2025)

On the Decidability of Presburger Arithmetic Expanded with Powers
by: Karimov, Toghrul, et al.
Published: (2024)

Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy
by: Rojas, J. Maurice
Published: (2000)