Imagen de Portada

Classifying the groups of order $p q$ in Lean

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Harper, Scott, Wu, Peiran
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Group Theory 20-04 (Primary) 20A05 (Secondary) F.4.1; G.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Nonstandard free groups
por: Miasnikov, Alexei, et al.
Publicado: (2026)

Elements of finite order in the normalizer of a maximal torus of a semisimple group
por: Arzhantsev, Ivan, et al.
Publicado: (2026)

Minimal sized generating sets of permutation groups
por: Holt, Derek F., et al.
Publicado: (2024)

Verbal width in arithmetic Chevalley groups
por: Gvozdevsky, Pavel
Publicado: (2024)

Symbolic computation in cubic Jordan matrix algebras and in related structures
por: Wiedemann, Torben
Publicado: (2026)

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

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
por: Vodrazka, Daniel
Publicado: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Lifting relations in right orderable groups
por: Linton, Marco
Publicado: (2024)

Conciseness of first-order formulae
por: Conte, Martina, et al.
Publicado: (2025)

Regular bi-interpretability and finite axiomatizability of Chevalley groups
por: Bunina, Elena, et al.
Publicado: (2023)

On probabilistic identities and coset identities in pro-$p$ groups
por: Kionke, Steffen, et al.
Publicado: (2025)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
por: Edmonds, Chelsea, et al.
Publicado: (2022)

Thompson's group T has quadratic Dehn function
por: Migliorini, Matteo
Publicado: (2024)

A combinatorial proof of the extension property for partial isometries
por: Hubička, Jan, et al.
Publicado: (2018)

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

A Formalization of the Generalized Quantum Stein's Lemma in Lean
por: Meiburg, Alex, et al.
Publicado: (2025)

Hyperbolic one-relator groups
por: Linton, Marco
Publicado: (2022)

Bounding the degree of generic sharp transitivity
por: Altınel, Tuna, et al.
Publicado: (2024)

A formalization of Borel determinacy in Lean
por: Manthe, Sven
Publicado: (2025)

Residually rationally solvable one-relator groups
por: Linton, Marco
Publicado: (2024)

Uniform Interpolation
por: van Gool, Sam
Publicado: (2025)

Concise formulae in groups of non-positive curvature
por: Ciobanu, Laura, et al.
Publicado: (2026)

On two-generator subgroups of mapping torus groups
por: Andrew, Naomi, et al.
Publicado: (2024)

A Theory of Hanoi Omega-Automata and Games
por: Filiot, Emmanuel, et al.
Publicado: (2026)

Chasing maximal pro-p Galois groups via 1-cyclotomicity
por: Quadrelli, Claudio
Publicado: (2021)

Graph Powers of Groups
por: Cunningham, Gabe, et al.
Publicado: (2025)

On singular equations over torsion-free groups
por: Edjvet, Martin, et al.
Publicado: (2020)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
por: Grochow, Joshua A., et al.
Publicado: (2022)

Asymptotics of rational representations for algebraic groups
por: Sánchez, Lander Guerrero, et al.
Publicado: (2024)

Neural networks as fuzzy logic formulas
por: Heiman, Damian, et al.
Publicado: (2026)

Continuations and Completeness in Proof-theoretic Semantics
por: Gu, Tao, et al.
Publicado: (2026)

Automorphism groups of combinatorial Hantzsche-Wendt groups
por: Lutowski, Rafał, et al.
Publicado: (2024)

Powers of Coxeter elements with unbounded reflection length
por: Lotz, Marco
Publicado: (2024)

Structure-Guided Automated Reasoning
por: Bannach, Max, et al.
Publicado: (2023)

Embedding finitely generated free-by-cyclic groups in {finitely generated free}-by-cyclic groups
por: Linton, Marco
Publicado: (2025)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
por: Wiesnet, Franziskus
Publicado: (2025)

Machine-Checked Categorical Diagrammatic Reasoning
por: Guillemet, Benoît, et al.
Publicado: (2024)

Digraphs, pro-$p$ groups and Massey products in Galois cohomology
por: Quadrelli, Claudio
Publicado: (2024)

A Theory for Probabilistic Polynomial-Time Reasoning
por: Chen, Lijie, et al.
Publicado: (2026)