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

Search Results

Filter
  • 1-10 of  4,542 results for ""[MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA]""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem

Subjects: Formal proof; Coq; Measure theoryLübeck; Germany

  • Source: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on

Record details

×
Academic Journal

The Frisch-Parisi conjecture I: Prescribed multifractal behavior, and a partial solution

Subjects: Fréchet spaces; wavelets; Hausdorff dimension

  • Source: ISSN: 0021-7824 ; Journal de Mathématiques Pures et Appliquées ; https://cnrs.hal.science/hal-02899957 ; Journal de Mathématiques Pures et Appliquées, 2023, 175, pp.76-108.

Record details

×
Academic Journal

SHARP INEQUALITIES RELATED TO WILKER RESULTS

Subjects: Trigonometric functions; Sinc function; Inequalities. 1

  • Source: ISSN: 2616-4906 ; Open Journal of Mathematical Sciences ; https://hal.science/hal-03592742 ; Open Journal of Mathematical Sciences, 2023, 7 (1), pp.19-34. ⟨10.30538/oms2023.0196⟩.

Record details

×
  • 1-10 of  4,542 results for ""[MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA]""