Imagen de Portada

Quantitative Integral Comparison for Monotone Series IV: The Harmonic Sum via Weak Euler–Maclaurin Comparison

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Jefferson, Bob
Formato:	Recurso digital
Publicado:	Zenodo 2026
Materias:	harmonic series Euler–Maclaurin formula integral comparison Euler–Mascheroni constant monotone series convexity inequalities analytic number theory formal verification mathlib4 Lean theorem prover
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Thermal properties of three-dimensional Morse potential for some diatomic molecules via Euler-Maclaurin approximation
por: K. Chabi
Publicado: (2020)

The Clock Doesn't Close: Euler-Mascheroni as Torus Non-Closure
por: David Jan Lowder, et al.
Publicado: (2026)

CÁLCULO DE COEFICIENTES DE FOURIER EN DOS VARIABLES, UNA VERSIÓN DISTRIBUCIONAL
por: CARLOS MANUEL ULATE R.
Publicado: (2015)

Rational Harmonic Arithmetic: The First Universal Rational Framework for Constants, Sequences, and Geometry across All Bases
por: Hassanine, Sam
Publicado: (2025)

Um irracional: onúmero de Euler
por: Paulo Leandro Dattori da Silva
Publicado: (2015)

Order-Convex Subsets of Grid Posets: A New Exponential Combinatorial Class with Structural Classication, Transfer-Matrix Enumeration, and a Supermultiplicativity Theorem
por: DiFiore, Thomas
Publicado: (2026)

A Rational Euler Constant in Base 7: Fibonacci-Type Convergence in Rational Harmonic Arithmetic
por: Hassanine, Sam
Publicado: (2025)

Frecuencias propias de vigas Euler-Bernoulli no uniformes
por: Hugo Aya B.
Publicado: (2011)

The Euler-Poincaré Formula Through Contact Surfaces of Voxelized Objects
por: H. Sánchez-Cruz
Publicado: (2013)

The Brindel Transformation: A Fixed-Point Method in Analytic Number Theory — From the Zeta Function to Automorphic L-Functions
por: Brindel, Judicael
Publicado: (2026)

Modelado Euler-Lagrange del rotor de un aerogenerador tripala como sistema multicuerpo
por: Francisco Aguilar-Acevedo
Publicado: (2020)

The Trinity Triangle Proof Paper
por: Needham, Eric
Publicado: (2025)

Rigidity for the Riemann Hypothesis
por: OUKIL, Walid
Publicado: (2026)

Artificial dissipation model applied to Euler equations for analysis of supersonic flow around a geometric configurations ramp and diffusor type
por: J.S Rocha
Publicado: (2022)

Análisis de pérdida de estabilidad no lineal de elementos estructurales sometidos a compresión
por: C. Fabré Sentile
Publicado: (2007)

MÉTODO DEL PROMEDIO ESFÉRICO EN LA SOLUCIÓN DE ECUACIONES DIFERENCIALES PARCIALES DE TIPO HIPERBÓLICO
por: JOSÉ RODRIGO GONZALEZ GRANADA
Publicado: (2006)

A Signed Large–Sieve Inequality for the Prime–Power Log Lattice: Cancellation as the Only Surviving Mechanism in Strip–RKHS
por: Esposito, Giovanni
Publicado: (2026)

Fixed Point Hierarchy in Higher-Dimensional Geometry: Mathematical Foundations and String Theory Connections
por: Pound, Richard Thomas
Publicado: (2025)

A Utilização do Geogebra na Demonstração Matemática em Sala de Aula: o estudo da reta de Euler
por: Nélia Amado
Publicado: (2015)

General optimal euclidean Sobolev and Gagliardo-Nirenberg inequalities
por: Jurandir Ceccon
Publicado: (2005)

La espiral de Euler en la montaña rusa
por: Javier García-Matos
Publicado: (2019)

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
por: Marichal, Jean-Luc, et al.
Publicado: (2022)

O problema que tornou Euler famoso
por: Jairo Gayo
Publicado: (2015)

Alternative Way to Compute the Euler Number of a Binary Image
por: J. H. Sossa-Azuela
Publicado: (2011)

Computing the Euler Number of a Binary Image Based on a Vertex Codification
por: J. H. Sossa-Azuela
Publicado: (2013)

DECONVOLUCIÓN DE EULER DE DATOS GRAVIMÉTRICOS DEL SEGMENTO CENTRAL DE LA ZONA DE BORDE SUR DE LA PLACA CARIBE
por: Nuris Orihuela
Publicado: (2015)

Dynamic Model of Lower Limb Motion in the Sagittal Plane during the Gait Cycle
por: José Luis Sarmiento-Ramos
Publicado: (2024)

ANÁLISIS DE LA ESTABILIDAD ESPACIO-TEMPORAL DEL MÉTODO PETROV-GALERKIN EN CONTRACORRIENTE PARA LA ECUACIONES DE DIFUSIÓN-ADVECCIÓN
por: DIEGO GARZÓN
Publicado: (2010)

SOLUCIÓN DE LA ECUACIÓN DE CAUCHY - EULER POR MEDIO DE LA TRANSFORMADA DE MELLIN
por: JOSE RODRIGO GONZALEZ G.
Publicado: (2009)

Lean Aps Recursion Uniformization (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Observer Non Exhaustability (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Observer Non Exhaustability (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Representational Incompleteness (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Representational Incompleteness (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Reflexive Closure (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

UGP/GTE Lean formalization
por: Spivack, Nova
Publicado: (2026)

Computation of the Euler Number of a Binary Image Composed of Hexagonal Cells
por: J. Humberto Sossa-Azuela
Publicado: (2010)

ODD PERFECT NUMBERS: CONGRUENCE RELATION BETWEEN THEIR PROPER DIVISORS ANALYZED IN PAIRS OF EVEN NUMBERS AND ITS IMPLICATIONS
por: Urcola, Imanol
Publicado: (2025)

Financial determinants of private investment in Turkey An Euler Equation Approach to Time Series
por: Öner Güncavdi
Publicado: (2006)