中文
相关论文

相关论文: Remarks on basic calculus in hyperboloidal foliati…

200 篇论文

This article presents some computations for a new topological invariant for foliations introduced some years ago by the author using techniques from noncommutative geometry, in particular the pairing between K-Theory and cyclic cohomology.…

数学物理 · 物理学 2008-01-15 Ioannis P. Zois

This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generalizes inductive types equipped with higher-order primitive…

计算机科学中的逻辑 · 计算机科学 2008-05-27 Frédéric Blanqui , Jean-Pierre Jouannaud , Mitsuhiro Okada

Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6.…

代数几何 · 数学 2021-12-24 Frederic Campana

This is a survey of current and recent works on deformation quantization and index theorems.

K理论与同调 · 数学 2012-10-22 Boris Tsygan

We describe several methods to construct minimal foliations by hyperbolic surfaces on closed 3-manifolds, and discuss the properties of the examples thus obtained.

Evaluation of basic integrals over Gaussian functions, traditionally utilized for electronic structure computations on molecules and solids, is discussed in a pedagogical form.

量子物理 · 物理学 2020-07-24 Justin T. Fermann , Edward F. Valeev

In this article, we first describe codimension two regular foliations with numerically trivial canonical class on complex projective manifolds whose canonical class is not numerically effective. Building on a recent algebraicity criterion…

代数几何 · 数学 2023-06-22 Stéphane Druel

The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…

计算机科学中的逻辑 · 计算机科学 2012-03-06 Barbara Petit

A method is proposed for defining an arbitrary number of differential calculi over a given noncommutative associative algebra. As an example the generalized quantum plane is studied. It is found that there is a strong correlation, but not a…

q-alg · 数学 2009-10-30 Aristophanes Dimakis , J. Madore

In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…

组合数学 · 数学 2025-07-01 Ronald Orozco López

In this paper we outline an approach to calculus over quasitriangular Hopf algebras. We study differential operators in the framework of monoidal categories equipped with a braiding or symmetry. To be more concrete, we choose as an example…

高能物理 - 理论 · 物理学 2007-05-23 Valentin Lychagin

We calculate the Jacobian matrix of the dihedral angles of a generalized hyperbolic tetrahedron as functions of edge lengths and find the complete set of symmetries of this matrix.

度量几何 · 数学 2011-07-27 Ren Guo

The aim of this paper is to present a self contained introduction to the Hubbard model and some of its applications.The paper consists of two parts: the first will introduce the basic notions of the Hubbard model starting from the…

材料科学 · 物理学 2010-02-16 V. Celebonovic

We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC…

计算机科学中的逻辑 · 计算机科学 2009-03-03 J. A. Bergstra , A. Ponse , M. B. van der Zwaag

This paper deals with the regularization of the sum of functions defined on a locally convex spaces through their closed-convex hulls in the bidual space. Different conditions guaranteeing that the closed-convex hull of the sum is the sum…

最优化与控制 · 数学 2024-10-11 Rafael Correa , Abderrahim Hantoute , Marco A. López

In this article we study the analytic classification of certain types of quasi-homogeneous cuspidal holomorphic foliations in $(\CC^3,{\bf 0})$ via the essential holonomy defined over one of the components of the exceptional divisor that…

动力系统 · 数学 2016-03-14 Percy Fernández-Sánchez , Jorge Mozo-Fernández , Hernán Neciosup

We calculate the modulus of curve families inside a hyperbolic quadrilateral and a hyperbolic annulus.

复变函数 · 数学 2026-05-18 Ioannis D. Platis

The ability to persist in the spacial environment is, not only in the robotic context, an essential feature. Positional knowledge is one of the most important aspects of space and a number of methods to represent these information have been…

人工智能 · 计算机科学 2019-11-18 Sören Schwertfeger

We develop a stochastic calculus that makes it easy to capture a variety of predictable transformations of semimartingales such as changes of variables, stochastic integrals, and their compositions. The framework offers a unified treatment…

概率论 · 数学 2022-01-13 Aleš Černý , Johannes Ruf

In this text, we wish to provide the reader with a short guide to recent works on the theory of dilatations in Commutative Algebra and Algebraic Geometry. These works fall naturally into two categories: one emphasises foundational and…

代数几何 · 数学 2024-07-31 Adrien Dubouloz , Arnaud Mayeux , João Pedro dos Santos