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
openalex +6 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
openalex +4 more sources
The relation of functional analysis to concrete analysis in 20th century mathematics
Historia Mathematica, 1975 Felix E. Browder
openalex +3 more sources
The work of Pierre Magal on differential equations, functional analysis and mathematical biology. [PDF]
J Math BiolDemongeot J, Hillen T, Ruan S, Webb G.
europepmc +2 more sources
REMOVED: Functional Analysis and Mathematical Statistics
, 1981 JEAN-RENÉ BARRA
openalex +2 more sources
A review of mathematical functions for the analysis of growth in poultry [PDF]
World's Poultry Science Journal, 2010 Poultry industries face various decisions in the production cycle that affect the profitability of an operation. Predictions of growth when the birds are ready for sale are important factors that contribute to the economy of poultry operations.
Darmani Kuhi, H. +7 more
openaire +3 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