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

نتائج البحث

Filter
  • 1-10 ل  39 نتائج ل ""[MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA]""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Theoretical Analysis of Compactness of the Light Transport Operator ; Analyse de la Compacité de l'Opérateur de Transport Radiatif

Subjects: Fredholm Equations; Light Transport Simulation; Functional analysisVancouverVancouver, Canada

  • Source: SIGGRAPH 2022 - ACM Conference and Exhibition on Computer Graphics and Interactive Techniques ; https://inria.hal.science/hal-03673578 ; SIGGRAPH 2022 - ACM Conference and Exhibition on Computer

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

×
Conference

A Coq formal proof of the Lax–Milgram theorem

Subjects: Coq; Lax-Milgram theorem; formal proofParis; France

  • Source: 6th ACM SIGPLAN Conference on Certified Programs and Proofshttps://hal.inria.fr/hal-013915786th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France.

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

×
Academic Journal

Properties of field functionals and characterization of local functionals

Subjects: functional analysis; nucleus; topology

  • Source: ISSN: 0022-2488 ; Journal of Mathematical Physics ; https://hal.science/hal-01654120 ; Journal of Mathematical Physics, 2018, 59 (2), pp.023508. ⟨10.1063/1.4998323⟩.

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

×
  • 1-10 ل  39 نتائج ل ""[MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA]""