Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In Proceedings TFPIE 2015/6, arXiv:1611 ...
Cezar Ionescu, Patrik Jansson
openaire +4 more sources
Special Issue of Symmetry: “Symmetry in Mathematical Analysis and Functional Analysis” [PDF]
Symmetry, 2022 This Special Issue consists of 11 papers recently published in MDPI’s journal Symmetry under the general thematic title “Symmetry in Mathematical Analysis and Functional Analysis” (see [...]
Octav Olteanu
openaire +2 more sources
A Mathematical Modeling Framework for Analysis of Functional Clothing [PDF]
Journal of Engineered Fibers and Fabrics, 2007 In the analysis and design of functional clothing systems, it is helpful to quantify the effects of a system on a wearer's physical performance capabilities. Toward this end, a clothing modeling framework for quantifying the mechanical interactions between a given clothing system design and a specific wearer performing defined physical tasks is ...
Xiaolin Man, Colby C. Swan, Ph.D
openaire +3 more sources
Symmetry in Mathematical Analysis and Functional Analysis [PDF]
, 2023 Olteanu, Octav, Treanta, Savin
openaire +2 more sources
An Introduction to Functional Analysis in Computational Mathematics [PDF]
, 1996 V.I. Lebedev
openaire +2 more sources
Compactness in Metric Spaces [PDF]
, 2016 In this article, we mainly formalize in Mizar [2] the equivalence among a few compactness definitions of metric spaces, norm spaces, and the real line. In the first section, we formalized general topological properties of metric spaces.
Grzegorz Bancerek +4 more
core +4 more sources
The Goursat problem for hyperbolic linear third order equations
Mathematical Modelling and Analysis, 2001 The third order hyperbolic linear differential equation is considered in the non‐cylindrical domain of multidimensional Euclidean space. The equation operator is a composition of a differentiation operator of the first order and second order operator ...
V. I. Korzyuk
doaj +1 more source
Universal arrows to forgetful functors from categories of topological algebra [PDF]
, 1992 We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra.
Pestov, Vladimir G.
core +2 more sources
Pregeometric Concepts on Graphs and Cellular Networks as Possible Models of Space-Time at the Planck-Scale [PDF]
, 1998 Starting from the working hypothesis that both physics and the corresponding mathematics have to be described by means of discrete concepts on the Planck-scale, one of the many problems one has to face is to find the discrete protoforms of the building ...
Balachandran +14 more
core +2 more sources
Cohomology of Jordan triples via Lie algebras [PDF]
, 2015 We develop a cohomology theory for Jordan triples, including the infinite dimensional ones, by means of the cohomology of TKK Lie algebras. This enables us to apply Lie cohomological results to the setting of Jordan triples.
Chu, Cho-Ho, Russo, Bernard
core +2 more sources