Results 1 to 10 of about 611,954 (248)

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   +3 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

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, Kazuhisa Nakasho, Keiko Narita, Nicolas Bourbaki, Yasunari Shidama   +4 more
core   +4 more sources

Entropic Projections and Dominating Points [PDF]

, 2010
Generalized entropic projections and dominating points are solutions to convex minimization problems related to conditional laws of large numbers.
Borwein, Boucher, Christian Léonard, Convexity, Csiszár, Csiszár, Csiszár, Csiszár, Dacunha-Castelle, Dominating, Einmahl, Ellis, Gamboa, Kuelbs, Léonard, Léonard, Léonard, Léonard, Léonard, Léonard, Najim, Rockafellar, Schied   +22 more
core   +5 more sources

Quantum theta functions and Gabor frames for modulation spaces [PDF]

, 2008
Representations of the celebrated Heisenberg commutation relations in quantum mechanics and their exponentiated versions form the starting point for a number of basic constructions, both in mathematics and mathematical physics (geometric quantization ...
A. Connes, A. Connes, A. Connes, A. Ron, A. Weil, A.J.E.M. Janssen, A.J.E.M. Janssen, A.J.E.M. Janssen, A.J.E.M. Janssen, D. Gabor, D.C. Farden, E.C. Young, F. Boca, Franz luef, G.B. Folland, H. Reiter, H.G. Feichtinger, H.G. Feichtinger, H.G. Feichtinger, H.G. Feichtinger, I. Daubechies, I. Daubechies, I. Daubechies, J.-i. Igusa, K. Gröchenig, K. Gröchenig, K. Gröchenig, K. Seip, M. Frank, M. Reiter, M. Reiter, M.A. Rieffel, M.A. Rieffel, M.A. Rieffel, M.A. Rieffel, M.J. Bastiaans, R. Howe, R.G. Littlejohn, R.J. Duffin, S.M. Sussman, W. Schempp, Yuri I. Manin   +41 more
core   +4 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, Bollobás, Bollobás, Connes, Dimakis, Edgar, Falconer, Graham, Isham, Manfred Requardt, Nottale, Nowotny, Sorkin, Thomas Nowotny, Toffoli   +14 more
core   +2 more sources

Locating mathematics within post-16 vocational education in England [PDF]

, 2015
The political importance of mathematics in post-16 education is clear. Far less clear is how mathematics does and should relate to vocational education. Successive mathematics curricula (e.g.
Andrew Noyes, City &, Cockcroft W. H., Confederation of British Industry, Dearing R., DfES, DfES (Department for Education and Skills), Diane Dalby, Education and Training Foundation, Eldred J., Ernest P., Fieldhouse R., Hodgson A., Hoyles C., Hyland T., Lucas N., Moser C., Parsons S., Pring R., QCA, QCA, Roberts C., Smith A., Tomlinson M., Turner G., Wake G., Wolf A.   +26 more
core   +2 more sources

Mathematical Analysis of Modulating Functions

, 2021
The Modulating Function Method finds a variety of applications in the fields of estimating parameters, system states and unknown signals. In general, the approach is based on an integral transform approach over a fixed or moving time horizon. Its major advantages include maintaining a continuous time perspective, robustness against measurement noise as
openaire   +1 more source

Mathematics at the eve of a historic transition in biology

, 2017
A century ago physicists and mathematicians worked in tandem and established quantum mechanism. Indeed, algebras, partial differential equations, group theory, and functional analysis underpin the foundation of quantum mechanism.
Wei, Guo-Wei
core   +2 more sources

Test of an Analytic, Finite, Non-Perturbative, Gauge-Invariant QCD formulation against elastic pp scattering at the ISR energies

, 2017
A recent QCD formulation that is non-perturbative, finite, gauge-invariant, exact emerged from Schwinger's Generating Functional. A first test of the validity of this formulation is provided here against elastic proton-proton scattering at the ...
Tsang, Peter H.
core   +1 more source