Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter

فلترة النتائج

Subject : [math.math-fa]mathematics [math]/functional analysis [math.fa]
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

A Coq Formalization of Lebesgue Integration of Nonnegative Functions ; Une formalisation en Coq de l'intégrale de Lebesgue des fonctions positives

Subjects: Lebesgue integration; Measure theory; Formal proof

  • Source: https://inria.hal.science/hal-03194113 ; [Research Report] RR-9401, Inria, France. 2021, pp.38.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Lebesgue Induction and Tonelli's Theorem in Coq ; Induction de Lebesgue et théorème de Tonelli en Coq

Subjects: Formal proof; Coq; Measure theory

  • Source: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Étude du formalisme multifractal pour les fonctions

Subjects: mathématiques appliquées; fonction mathématique; analyse mathématique

  • Source: https://pastel.hal.science/pastel-00569006 ; Analyse fonctionnelle [math.FA]. Ecole Nationale des Ponts et Chaussées, 1996. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Approximation of functions with small jump sets and existence of strong minimizers of Griffith's energy

Subjects: functions with bounded deformation; Brittle fracture; strong solutions

  • Source: ISSN: 0021-7824 ; Journal de Mathématiques Pures et Appliquées ; https://hal.science/hal-01610691 ; Journal de Mathématiques Pures

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Probabilistic bounds on best rank-one approximation ratio

Subjects: [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA]; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]; [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

  • Source: ISSN: 0308-1087 ; Linear and Multilinear Algebra ; https://inria.hal.science/hal-03517267 ; Linear and Multilinear Algebra, 2024, pp.1-29. ⟨10.1080/03081087.2024.2304146⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

SELF-IMPROVEMENT OF THE BAKRY-EMERY CRITERION FOR POINCARÉ INEQUALITIES AND WASSERSTEIN CONTRACTION USING VARIABLE CURVATURE BOUNDS

Subjects: Bakry-Emery curvature condition; Poincaré inequality; Wasserstein contraction

  • Source: ISSN: 0021-7824 ; Journal de Mathématiques Pures et Appliquées ; https://uca.hal.science/hal-02486264 ; Journal de Mathématiques

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Reconstruction from the Fourier transform on the ball via prolate spheroidal wave functions

Subjects: ill-posed inverse problems; band-limited Fourier transform; prolate spheroidal wave functions

  • Source: ISSN: 0021-7824 ; Journal de Mathématiques Pures et Appliquées ; https://hal.science/hal-03289374 ; Journal de Mathématiques Pures

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Hoeffding decomposition of black-box models with dependent inputs

Subjects: Sensitivity analysis; Interpretability; Hoeffding decomposition

  • Source: https://hal.science/hal-04233915 ; 2024.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

The principal eigenvalue problem for time-periodic nonlocal equations with drift

Subjects: integro-partial differential equations; time periodic coefficients; Floquet's principal eigenvalue

  • Source: https://hal.science/hal-04690839 ; 2024.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Quantitative estimates of $L^p$ maximal regularity for nonautonomous operators and global existence for quasilinear equations

Subjects: Nonautonomous Cauchy problem; Lp maximal regularity; relatively continuous operators

  • Source: https://hal.science/hal-04484486 ; 2024.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×