Search results for "algebra"

Invariance spectrale des algèbres d'opérateurs pseudodifférentiels

2002

We construct and study several algebras of pseudodifferential operators that are closed under holomorphic functional calculus. This leads to a better understanding of the structure of inverses of elliptic pseudodifferential operators on certain non-compact manifolds. It also leads to decay properties for the solutions of these operators. To cite this article: R. Lauter et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 1095–1099.

Ein Axiomensystem f�r partielle affine R�ume

1994

A partial linear space with parallelism is called partial affine space if it is embeddable in an affine space with the same pointset preserving the parallelism. These partial affine spaces will be characterized by a system of three axioms for partial linear spaces with parallelism.

Mixed Parallelism for Single Alternating Group Explicit Method

1991

The paper deals with parallel implementation policies for D.J. Evans S_AGE (Single Alternating Group Explicit) unconditionally stable methods concerning the solution of parabolic problems in two space dimensions.

One, Two, Three,…, Infinity

1999

As concluding remarks to the European Few-Body Conference, the author presents a parallelism between the Few-Body and the Many-Body theories along the last years.

A probabilistic Weitzenböck formula on Riemannian path space

2000

Representations of integers and Language theory

1984

Topology, Matter, and Space, I: Topological Notions in 19th-Century Natural Philosophy

1998

L'A. montre l'impact de la topologie dans le developpement de la theorie dynamique des phenomenes physiques ainsi que les speculations de la structure topologique de l'espace

Weakly algebraizable logics

2000

AbstractIn the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

Unification in superintuitionistic predicate logics and its applications

2018

AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…

Pieri’s 1900 Paris Paper

2021

This chapter contains an English translation of Mario Pieri’s [1900] 1901 paper Geometry Envisioned as a Purely Logical System.