$Imagen de Portada$

The Shape of Math To Come

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Kontorovich, Alex
Formato:	Preprint
Publicado:	2025
Materias:	History and Overview 68T50, 68Q45
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Algorithmic information theory and martingales
por: Bienvenu, Laurent, et al.
Publicado: (2009)

Higher dimensional visual proofs, Nicomachus' 4D Theorem and the mysterious irreducible factor $(3n^2+3n-1)$ in the sum of fourth powers
por: Buijs, Urtzi
Publicado: (2026)

Diamond Open Access: The AMR Experiment
por: Kontorovich, Alex
Publicado: (2026)

Collapsi is strongly solved
por: Young, Michael
Publicado: (2025)

The extension of zbMATH Open by arXiv preprints
por: Beckenbach, Isabel, et al.
Publicado: (2024)

Ivo G. Rosenberg's Work on Maximal Clones and Minimal Clones
por: Szendrei, Agnes
Publicado: (2024)

Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
por: Li, Xinze
Publicado: (2026)

From Euler to Today: Universal Mathematical Fallibility A Large-Scale Computational Analysis of Errors in ArXiv Papers
por: Rivin, Igor
Publicado: (2025)

Positivity of Schubert Coefficients
por: Pak, Igor, et al.
Publicado: (2024)

Algebraic Topology for Data Scientists
por: Postol, Michael S.
Publicado: (2023)

Anatomy of a Formal Proof
por: Avigad, Jeremy, et al.
Publicado: (2024)

A simple recursive representation of the Faulhaber series
por: Pfeifer, Dietmar
Publicado: (2025)

On Quantum Context-Free Grammars
por: Aruja, Merina, et al.
Publicado: (2025)

Multimodal Structure-Aware Quantum Data Processing
por: Hawashin, Hala, et al.
Publicado: (2024)

Separate Before You Compress: The WWHO Tokenization Architecture
por: Darshana, Kusal
Publicado: (2026)

Analysis of multivariate symbol statistics in primitive rational models
por: Goldwurm, Massimiliano, et al.
Publicado: (2026)

Bandwidth of Nondeterministic Finite Automata
por: Cho, Da-Jung, et al.
Publicado: (2026)

Semidirect Product Decompositions for Periodic Regular Languages
por: Inoue, Yusuke, et al.
Publicado: (2024)

How Well Do Vision-Language Models Understand Sequential Driving Scenes? A Sensitivity Study
por: Brusnicki, Roberto, et al.
Publicado: (2026)

Advancing mathematics research with generative AI
por: Carbone, Lisa
Publicado: (2025)

Alexandrov's embedding theorem
por: Lebedeva, Nina, et al.
Publicado: (2022)

Huygens and $π$
por: Villarino, Mark B., et al.
Publicado: (2024)

Faulhaber's formula, Bernoulli numbers, power sums of natural numbers and totatives and the functional equation $f(x)+x^k=f(x+1)$
por: Wu, Chai Wah
Publicado: (2024)

Leveraging guidelines for ethical practice of statistics and computing to develop standards for ethical mathematical practice: A White Paper
por: Buell, Catherine, et al.
Publicado: (2022)

Reduced Jeffries-Matusita distance: A Novel Loss Function to Improve Generalization Performance of Deep Classification Models
por: Lashkari, Mohammad, et al.
Publicado: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
por: Arefin, Mohammad Rifat, et al.
Publicado: (2025)

Dynamic Level Sets
por: Fiske, Michael Stephen
Publicado: (2026)

Product gales and Finite state dimension
por: S, Akhil
Publicado: (2025)

On A. V. Anisimov's problem for finding a polynomial algorithm checking inclusion of context-free languages in group languages
por: Yordzhev, Krasimir
Publicado: (2026)

Semantic Search over 9 Million Mathematical Theorems
por: Alexander, Luke, et al.
Publicado: (2026)

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

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development
por: Bouzinier, Michael, et al.
Publicado: (2025)

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
por: Pinto, Ido, et al.
Publicado: (2026)

Algorithm and abstraction in formal mathematics
por: Macbeth, Heather
Publicado: (2024)

The Math Teaching Atlas: Trails, Anchors, and Compass in Action
por: Feng, Ivan Z.
Publicado: (2025)

A Note on a Recent Conjecture in Mathematics Magazine
por: Malinovsky, Yaakov
Publicado: (2025)

Designing for the Development of Probabilistic Thinking: A Design-Based Research Study in Lower Secondary Education
por: Caputo, Luigia, et al.
Publicado: (2026)

Recent Advances in Named Entity Recognition: A Comprehensive Survey and Comparative Study
por: Keraghel, Imed, et al.
Publicado: (2024)

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

First Proof
por: Abouzaid, Mohammed, et al.
Publicado: (2026)