Image de couverture de livre

The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Banjac, Bojan, Malesevic, Branko, Micovic, Milos, Mihailovic, Bojana, Savatovic, Milica
Format:	Preprint
Publié:	2024
Sujets:	General Mathematics 68V15, 41A44, 26D05
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Jordan-Type Inequalities and Stratification
par: Micovic, Milos, et autres
Publié: (2024)

New Refinements of Cusa-Huygens inequality
par: Chesneau, Christophe, et autres
Publié: (2020)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
par: Wang, Zili, et autres
Publié: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
par: Kosaian, Katherine, et autres
Publié: (2024)

On discretization of some extremal problems
par: Kovalenko, Oleg
Publié: (2023)

Riemann-Liouville integrals in Besov spaces
par: Ushakova, Elena P.
Publié: (2025)

A note on the Kolmogorov-type inequalities for more than three norms
par: Kovalenko, Oleg
Publié: (2026)

On some sharp Landau--Kolmogorov--Nagy type inequalities in Sobolev spaces of multivariate functions
par: Babenko, V. F., et autres
Publié: (2023)

Nagy type inequalities in metric measure spaces and some applications
par: Babenko, Vladyslav, et autres
Publié: (2023)

Algorithm and abstraction in formal mathematics
par: Macbeth, Heather
Publié: (2024)

Primal-Dual Coordinate Descent for Nonconvex-Nonconcave Saddle Point Problems Under the Weak MVI Assumption
par: Walwil, Iyad, et autres
Publié: (2025)

Remote Verification System for Mizar Integrated with Emwiki
par: Kai, Toshiki, et autres
Publié: (2024)

Formalizing Pick's Theorem, efficiently
par: Eisermann, Michael
Publié: (2026)

On optimization of cubature formulae for Sobolev classes of functions defined on star domains
par: Kovalenko, Oleg
Publié: (2023)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
par: Edmonds, Chelsea, et autres
Publié: (2023)

Bridging the Gap Between Approximation and Learning via Optimal Approximation by ReLU MLPs of Maximal Regularity
par: Hong, Ruiyang, et autres
Publié: (2024)

Advancing Mathematical Research via Human-AI Interactive Theorem Proving
par: Li, Chenyi, et autres
Publié: (2025)

Optimal $C^{1,1}$ and Quasi-Optimal $C^2$ Monotone Interpolation with Curvature Control
par: Jiang, Fushuai, et autres
Publié: (2026)

Internalizing Extensions in Lattices of Type Theories
par: Chan, Jonathan
Publié: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
par: Chan, Jonathan, et autres
Publié: (2025)

Graph2Tac: Online Representation Learning of Formal Math Concepts
par: Blaauwbroek, Lasse, et autres
Publié: (2024)

Characterization theorem for best polynomial spline approximation with free knots
par: Sukhorukova, Nadezda, et autres
Publié: (2014)

Exact inequalities and optimal recovery by inaccurate information
par: Osipenko, K. Yu.
Publié: (2025)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
par: Firsching, Moritz, et autres
Publié: (2026)

Exponential-Family Membership Inference: From LiRA and RMIA to BaVarIA
par: Brännvall, Rickard
Publié: (2026)

Age model of sediment core V26-41 northern subtropical Atlantic (Table 3)
par: Koopmann, B
Publié: (1981)

A formalization of Borel determinacy in Lean
par: Manthe, Sven
Publié: (2025)

Ostrowski-type inequalities in abstract distance spaces
par: Babenko, Vladyslav, et autres
Publié: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

Monotonicity and inequalities for the ratios of two Bernoulli polynomials
par: Yang, Zhen-Hang, et autres
Publié: (2024)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
par: Linhares, Alexandre
Publié: (2026)

Anatomy of a Formal Proof
par: Avigad, Jeremy, et autres
Publié: (2024)

On Asymptotic Properties of Certain $B$-Splines in Terms of Theta-like Functions
par: Ganzburg, Michael I.
Publié: (2026)

A simple proof of the Grunbaum conjecture
par: Deregowska, Beata, et autres
Publié: (2022)

Calcium carbonate content of sediment core V26-41
par: Ruddiman, William F, et autres
Publié: (1996)

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline
par: Koomullil, George
Publié: (2026)

Formalizing Pick's Theorem in Isabelle/HOL
par: Binder, Sage, et autres
Publié: (2024)

Weighted norm inequalities for integral transforms with splitting kernels
par: Pinos, Alberto Debernardi
Publié: (2023)

Probabilistic bounds on best rank-one approximation ratio
par: Kozhasov, Khazhgali, et autres
Publié: (2022)

Levin-Cochran-Lee inequalities and best constants on homogeneous groups
par: Ruzhansky, Michael, et autres
Publié: (2025)