Copertina

Formalization of Harder-Narasimhan theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Yuan, Yijun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Algebraic Geometry Formal Languages and Automata Theory Logic in Computer Science Number Theory 68V20, 14H60, 03B35, 06B23, 91A80
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formalizing Computational Paths and Fundamental Groups in Lean
di: Ramos, Arthur F., et al.
Pubblicazione: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Algebraic Closure of Matrix Sets Recognized by 1-VASS
di: Manssour, Rida Ait El, et al.
Pubblicazione: (2025)

On properness of moduli stacks of $D^{\times}$-shtukas over ramified legs
di: Choi, Yong-Gyu, et al.
Pubblicazione: (2025)

Implicit automata in λ-calculi III: affine planar string-to-string functions
di: Pradic, Cécilia, et al.
Pubblicazione: (2024)

Further results on generalized cellular automata
di: Castillo-Ramirez, Alonso, et al.
Pubblicazione: (2023)

Formalizing zeta and L-functions in Lean
di: Loeffler, David, et al.
Pubblicazione: (2025)

Sparse regular subsets of the reals
di: Bell, Jason, et al.
Pubblicazione: (2023)

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
di: Bell, Jason, et al.
Pubblicazione: (2025)

Finite-Horizon First-Order Rank Profiles of Regular Languages
di: Bazarova, Madina, et al.
Pubblicazione: (2026)

A vector logic for intensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2026)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
di: Lin, Deren, et al.
Pubblicazione: (2022)

Multipass automata and group word problems
di: Ceccherini-Silberstein, Tullio, et al.
Pubblicazione: (2014)

Multidimensional tilings and MSO logic
di: Pallen, Rémi, et al.
Pubblicazione: (2025)

Mahler equations for Zeckendorf numeration
di: Carton, Olivier, et al.
Pubblicazione: (2024)

Chatelet's Theorem in Synthetic Algebraic Geometry
di: Coquand, Thierry, et al.
Pubblicazione: (2025)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Multiband linear cellular automata and endomorphisms of algebraic vector groups
di: Byszewski, Jakub, et al.
Pubblicazione: (2022)

Probabilistic automatic complexity of finite strings
di: Gill, Kenneth
Pubblicazione: (2024)

On the minimal memory set of cellular automata
di: Castillo-Ramirez, Alonso, et al.
Pubblicazione: (2024)

One-dimensional cellular automata with a unique active transition
di: Castillo-Ramirez, Alonso, et al.
Pubblicazione: (2024)

Point Counting on Igusa Varieties for function fields
di: Hamacher, Paul, et al.
Pubblicazione: (2022)

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

A differential approach to Ax-Schanuel, I
di: Blázquez-Sanz, David, et al.
Pubblicazione: (2021)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
di: Best, Alex, et al.
Pubblicazione: (2024)

Topoi of automata I: Four topoi of automata and regular languages
di: Hora, Ryuya
Pubblicazione: (2024)

No weakly factor-universal cellular automaton
di: Gwozdz, Maja
Pubblicazione: (2026)

Flavors of Quantifiers in Hyperlogics
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Lambek pregroups are Frobenius spiders in preorders
di: Pavlovic, Dusko
Pubblicazione: (2021)

A motivic Fundamental Lemma
di: Forey, Arthur, et al.
Pubblicazione: (2023)

A Logic For Fresh Labelled Transition Systems
di: Bandukara, Mohamed H, et al.
Pubblicazione: (2025)

Languages given by Finite Automata over the Unary Alphabet
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2023)

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

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory
di: Kuznetsov, Alexander
Pubblicazione: (2026)

An elementary proof of Bridy's theorem
di: Rowland, Eric, et al.
Pubblicazione: (2023)

On the growth of hypergeometric sequences
di: Kenison, George, et al.
Pubblicazione: (2025)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
di: Schaeffer, Luke, et al.
Pubblicazione: (2024)

Cellular Automaton Reducibility as a Measure of Complexity for Infinite Words
di: Zubia, Markel, et al.
Pubblicazione: (2026)

Anatomy of a Formal Proof
di: Avigad, Jeremy, et al.
Pubblicazione: (2024)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
di: Böhm, Corrado, et al.
Pubblicazione: (2025)