Results 271 to 280 of about 11,320,382 (298)

The BDD space complexity of different forms of concurrency

Proceedings Second International Conference on Application of Concurrency to System Design, 2002
Summary: The automated verification of concurrent systems by model checking is often confronted with the state space explosion problem. A widely adopted method to tackle this problem is to use Binary Decision Diagrams (BDDs) for representing systems and state spaces implicitly.
Michael Baldamus, Klaus Schneider 0001
openaire   +4 more sources

Certain submanifolds of complex space forms

São Paulo Journal of Mathematical Sciences, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mirjana Djorić, Masafumi Okumura
openaire   +1 more source

On real hypersurfaces in a complex space form

Mathematical Journal of Okayama University, 1998
Let \(M(c)\) be a Kähler manifold of non-vanishing constant holomorphic sectional curvature \(c\) and with real dimension \(2n\geq 6\). Furthermore, let \(P\) be a real hypersurface, \(N\) a local unit normal vector field and \(R\) the Riemann curvature tensor of \(P\).
openaire   +3 more sources

Complex submanifolds of indefinite complex space forms

Proceedings of the American Mathematical Society
In this short paper, we derive a new result on Umehara algebra. As a consequence, we prove that an indefinite complex hyperbolic space and an indefinite complex projective space do not share a common complex submanifold with induced metrics, answering a question raised in Cheng et al.
Cheng, Xiaoliang, Hao, Yihong, Yuan, Yuan, Zhang, Xu   +3 more
openaire   +1 more source

Families of differential forms on complex spaces

2003
Summary: On every reduced complex space \(X\) we construct a family of complexes of soft sheaves \(\Omega_X\); each of them is a resolution of the constant sheaf \(\mathbb{C}_X\) and induces the ordinary De Rham complex of differential forms on a dense open analytic subset of \(X\). The construction is functorial (in a suitable sense). Moreover each of
ANCONA, VINCENZO, B. GAVEAU
openaire   +2 more sources

Symplectic reflections and complex space forms

Annals of Global Analysis and Geometry, 1991
Let (M,g,J) be a Hermitian manifold and N a submanifold of M. Then the reflection about N is called a symplectic reflection if it preserves the Kaehler form of (M,g,J). In this paper the authors prove the following Theorem. Let (M,g,J) be a Hermitian space of complex dimension \(n\geq 2\).
Chen, Bang-Yen, Vanhecke, Lieven
openaire   +2 more sources

Weakly symmetric spaces in complex and quaternionic space forms

Archiv der Mathematik, 1995
We prove that some classes of generic submanifolds which include homogeneous real hypersurfaces in complex and quaternionic space forms are weakly symmetric spaces. In our method, the reflection with respect to a submanifold plays a central role.
openaire   +2 more sources

The volume of tubes in complex space forms

Acta Mathematica Sinica, 1992
fsing Jacobi vector fields the author derives a formula for the volume of a tube about a complex submanifold in a complex space form. He also provides a proof of the known result stating that the volumes of the tubes of radius \(r\) about two isometric complex submanifolds are the same. This problem has already been treated, also by using Jacobi vector
openaire   +2 more sources

Real Hypersurfaces in Complex Space Forms

2015
The study of real hypersurfaces in complex projective space CP n and complex hyperbolic space CH n began at approximately the same time as Munzner’s work on isoparametric hypersurfaces in spheres. A key early work was Takagi’s classification [669] in 1973 of homogeneous real hypersurfaces in CP n .
Thomas E. Cecil, Patrick J. Ryan
openaire   +1 more source

Conformally flat, minimal, Lagrangian submanifolds in complex space forms

Science China Mathematics, 2022
Luc Vrancken, Miroslava Antić
exaly