Results 11 to 20 of about 1,318,770 (301)
Virtual Residue and an Integral Formalism [PDF]
The Journal of Geometric Analysis, 2018 We generalize Grothendieck's residues $Res\fracψ{s}$ to virtual cases, namely cases when the zero loci of the section $s$ has dimension larger than the expected dimension(zero). We also provide an exponential type integral formalism for the virtual residue, which can be viewed as an analogue of the Mathai-Quillen formalism for localized Euler classes.
Huai-Liang Chang, Mu-Lin Li
openaire +5 more sources
Global conformal blocks via shadow formalism [PDF]
Journal of High Energy PhysicsWe study 𝔰𝔩2 and 𝔰𝔩3 global conformal blocks on a sphere and a torus, using the shadow formalism. These blocks arise in the context of Virasoro and 𝒲3 conformal field theories in the large central charge limit.
Vladimir Belavin, J. Ramos Cabezas
doaj +4 more sources
Formalization of Integral Linear Space [PDF]
Formalized Mathematics, 2011 Summary: In this article, we formalize integral linear spaces, that is a linear space with integer coefficients. Integral linear spaces are necessary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm that outputs short lattice base and cryptographic systems with lattice.
Yuichi Futa +2 more
openaire +4 more sources
Projective Metrizability and Formal Integrability [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2011 The projective metrizability problem can be formulated as follows: under what conditions the geodesics of a given spray coincide with the geodesics of some Finsler space, as oriented curves. In Theorem 3.8 we reformulate the projective metrizability problem for a spray in terms of a first-order partial differential operator $P_1$ and a set of algebraic
Bucataru, I., Muzsnay, Z.
openaire +4 more sources
A Coq Formalization of the Bochner integral
CoRR, 2022 The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we cannot rely on the properties of real numbers.
Sylvie Boldo +2 more
openaire +2 more sources
Necessity of Integral Formalism [PDF]
Communications in Theoretical Physics, 2011 13Page; Schrodinger differential equation shall lead to vanishing Berry ...
openaire +2 more sources
Extended Hamilton-Lagrange formalism and its application to Feynman's path integral for relativistic quantum physics [PDF]
, 2023 With this paper, a consistent and comprehensive treatise on the foundations of the extended Hamilton-Lagrange formalism will be presented. In this formalism, the system's dynamics is parametrized along a system evolution parameter $s$, and the physical ...
Struckmeier, Jürgen
core +1 more source
Integrating formal description techniques [PDF]
, 1999 Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the same system, only together forming a complete specification.
Bernhard Schätz, Franz Huber
openaire +2 more sources
Surface-integral formalism of deuteron stripping [PDF]
, 2014 The purpose of this paper is to develop an alternative theory of deuteron stripping to resonance states based on the surface-integral formalism of Kadyrov et al. [Ann. Phys. 324, 1516 (2009)] and continuum-discretized coupled channels (CDCC).
D. Pang (23322580) +3 more
core +2 more sources
Consistent Integration of Formal Methods [PDF]
, 2000 The usability of formal concepts for system design depends essentially on their integration in the design process. We discuss several possible levels of integration: technical integration of tools considering APIs and tool interfaces, conceptual integration of metamodels of description formalisms combined with hard and soft constraints, semantical ...
Peter Braun 0003 +3 more
openaire +2 more sources