English
Related papers

Related papers: Remarks on basic calculus in hyperboloidal foliati…

200 papers

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.…

Mathematical Physics · Physics 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…

Logic in Computer Science · Computer Science 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.…

Algebraic Geometry · Mathematics 2021-12-24 Frederic Campana

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

K-Theory and Homology · Mathematics 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.

Geometric Topology · Mathematics 2019-04-23 Fernando Alcalde Cuesta , Françoise Dal'Bo , Matilde Martínez , Alberto Verjovsky

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

Quantum Physics · Physics 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…

Algebraic Geometry · Mathematics 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…

Logic in Computer Science · Computer Science 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 · Mathematics 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…

Combinatorics · Mathematics 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…

High Energy Physics - Theory · Physics 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.

Metric Geometry · Mathematics 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…

Materials Science · Physics 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…

Logic in Computer Science · Computer Science 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…

Optimization and Control · Mathematics 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…

Dynamical Systems · Mathematics 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.

Complex Variables · Mathematics 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…

Artificial Intelligence · Computer Science 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…

Probability · Mathematics 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…

Algebraic Geometry · Mathematics 2024-07-31 Adrien Dubouloz , Arnaud Mayeux , João Pedro dos Santos