Copertina

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Wiesnet, Franziskus
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 68V20 (Primary) 03F10, 03B35, 11Y05, 11Y16, 11A51 (Secondary) F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Considering The Satisfiability of Cubic Diophantine Equations
di: Rosko, Milan
Pubblicazione: (2025)

Algorithms for Modular Parametrizations of Elliptic Curves over $\mathbb{Q}$
di: Wang, SanMin
Pubblicazione: (2025)

Algebraic proof of modular form inequalities for optimal sphere packings
di: Lee, Seewoo
Pubblicazione: (2024)

On the Realizability of Prime Conjectures in Heyting Arithmetic
di: Rosko, Milan
Pubblicazione: (2025)

A Smooth Analytical Approximation of the Prime Characteristic Function
di: Semenov, Stanislav
Pubblicazione: (2025)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
di: Khani, Mohsen, et al.
Pubblicazione: (2025)

Punctually Standard and Nonstandard Models of Natural Numbers
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

On the computational properties of ambivalent sets and functions
di: Normann, Dag, et al.
Pubblicazione: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Expressions for weight 2 cusp forms in holomorphic eta quotients
di: Chan, Elisabeth, et al.
Pubblicazione: (2024)

The Modularity of Z.-W. Sun's Conjectural Formulas for $\frac{1}π$
di: van Hoeij, Mark, et al.
Pubblicazione: (2024)

Exact Constructive Digit-by-Digit Algorithms for Integer $e$-th Root Extraction
di: Pareth, Suresan
Pubblicazione: (2026)

Divisors in Residue Classes Revisited
di: Hales, Jonathon
Pubblicazione: (2024)

Some series representing the zeta function for $\Re s>1$
di: Burnol, Jean-François
Pubblicazione: (2026)

Relative Constructibility via Generalised Sequential Algorithms
di: Lau, Desmond
Pubblicazione: (2024)

On modular forms of rational weight satisfying the canonical second-order linear modular differential equation
di: Sakai, Yuichi, et al.
Pubblicazione: (2026)

On the analytic continuation of Dirichlet series with missing digits
di: Burnol, Jean-François
Pubblicazione: (2026)

Loops, Inverse Limits and Non-Determinism
di: Brattka, Vasco
Pubblicazione: (2025)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
di: Bacik, Piotr, et al.
Pubblicazione: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
di: Gaysin, Azza
Pubblicazione: (2024)

Some series representing the eta function for $\Re s>0$
di: Burnol, Jean-François
Pubblicazione: (2026)

Evaluating lattice sums via telescoping on $SL_+(2,\mathbb Z)$: a short proof of $\sum \frac{1}{|x|^2|y|^2|x+y|^2}=\fracπ{4}$ and Zagier's identity
di: Kalinin, Nikita
Pubblicazione: (2024)

Pure Data Spaces
di: Youssef, Saul
Pubblicazione: (2025)

On the solutions of the generalized Fermat equation over totally real number fields
di: Sahoo, Satyabrat
Pubblicazione: (2024)

On the Modern Structure of the Gauss-Landau Theorem
di: Aguilera, Manuel M.
Pubblicazione: (2025)

Baker's dozen digits of two sums involving reciprocal products of an integer and its greatest prime factor
di: Gogoberidze, Tengiz O.
Pubblicazione: (2024)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
di: Farmer, William M.
Pubblicazione: (2026)

Certifying rings of integers in number fields
di: Baanen, Anne, et al.
Pubblicazione: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
di: Wang, Zili, et al.
Pubblicazione: (2025)

The new Fermat-type factorization algorithm
di: Detto, Savino
Pubblicazione: (2025)

How Prime Factors Form Fractals
di: Tillman, Micah D.
Pubblicazione: (2025)

A Modular First Formalisation of Combinatorial Design Theory
di: Edmonds, Chelsea, et al.
Pubblicazione: (2021)

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

On the efficient computation of Fourier coefficients of eta-quotients
di: Barquero-Sanchez, Adrian, et al.
Pubblicazione: (2025)

Comparing Galois representations in the residually reducible case
di: Freitas, Nuno, et al.
Pubblicazione: (2025)

Computing the endomorphism ring of an elliptic curve over a number field
di: Cremona, John E., et al.
Pubblicazione: (2023)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
di: Cerda, Rémy, et al.
Pubblicazione: (2022)

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)