:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Boyd, James
Format:	Recurso digital
Langue:
Publié:	Zenodo 2025
Accès en ligne:	https://doi.org/10.5281/zenodo.17526015
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Integration in Hensel minimal fields
par: Stout, Mathias, et autres
Publié: (2025)

Spectral Triples for Hensel-Steinitz Algebras
par: Hebert, Shelley, et autres
Publié: (2025)

Hensel lifting algorithms for quadratic forms
par: Brandhorst, Simon, et autres
Publié: (2023)

Noncommutative Geometry of Hensel-Steinitz Algebras
par: Hebert, Shelley, et autres
Publié: (2024)

Tame topology in Hensel minimal structures
par: Nowak, Krzysztof Jan
Publié: (2021)

Multivariate Hensel Lemma for ultrametric fields
par: Alonso, M. -E., et autres
Publié: (2023)

Hensel's lemma for the norm principle for spinor groups
par: Soofiani, Amin
Publié: (2024)

Extension of Lipschitz maps definable in Hensel minimal structures
par: Nowak, Krzysztof Jan
Publié: (2022)

A Pila--Wilkie theorem for Hensel minimal curves
par: Cantoral-Farfán, Victoria, et autres
Publié: (2021)

Spherically complete models of Hensel minimal valued fields
par: Bradley-Williams, David, et autres
Publié: (2021)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
par: Eterović, Sebastian, et autres
Publié: (2026)

About closed subsets definable in Hensel minimal structures
par: Nowak, Krzysztof Jan
Publié: (2024)

Hensel minimality: Geometric criteria for $\ell$-h-minimality
par: Vermeulen, Floris
Publié: (2022)

Towards Automated Verification of Logarithmic Arithmetic
par: Arnold, Mark G., et autres
Publié: (2024)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
par: Berthomieu, Jérémy, et autres
Publié: (2024)

A Traditional Library Goes Virtual.
par: Boyd, Stephanie
Publié: (2002)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
par: Mohanty, Hansa, et autres
Publié: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
par: Hozzová, Petra, et autres
Publié: (2024)

Arithmetic Duality
par: Milne, James S.
Publié: (2025)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
par: Hofstadler, Clemens, et autres
Publié: (2026)

Formal Verification of Secure Encrypted Virtualization
par: Weerasena, Hansika, et autres
Publié: (2026)

Construction of Arithmetic Teichmuller Spaces I
par: Joshi, Kirti
Publié: (2021)

Creating Space for an I.M.C. With Only
par: Boyd, M. F.
Publié: (1969)

Challenges of Virtual Validation and Verification for Automotive Functions
par: Cabrero-Daniel, Beatriz, et autres
Publié: (2025)

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

Non-Binary LDPC Arithmetic Error Correction For Processing-in-Memory
par: Shi, Daijing, et autres
Publié: (2025)

Component parts of the World Heat Flow Data Collection
par: Combs, James Boyd
Publié: (1971)

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

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

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

Arithmetic properties of $t$-Schur overpartitions
par: Nadji, Mohammed L., et autres
Publié: (2025)

Improving Arithmetic Reasoning Ability of Large Language Models through Relation Tuples, Verification and Dynamic Feedback
par: Miao, Zhongtao, et autres
Publié: (2024)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
par: Schmerl, James
Publié: (2026)

Information Identification and Organization. Student Study Guide. Module I: Collection Management and Administration.
par: Bolvin, Boyd M., et autres
Publié: (1983)

One-Token Verification for Reasoning Correctness Estimation
par: Zhuang, Zhan, et autres
Publié: (2026)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
par: Schmerl, James H.
Publié: (2019)

A Study of Library Delivery Systems with an Emphasis on Bookmobiles vs Books-By-Mail.
par: Benson, James, et autres
Publié: (1980)

Geometry of Arithmetic Expressions: I. Basic Concepts and Unsolved Problems
par: Yuan, Mingli
Publié: (2025)

Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy
par: Rojas, J. Maurice
Publié: (2000)

Arithmetic Properties of Andrews' Singular Overpartitions
par: Chen, Shi-Chao, et autres
Publié: (2014)