Nondeformability of the complex projective space.
Yum-Tong Siu (1992)
Journal für die reine und angewandte Mathematik
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Yum-Tong Siu (1992)
Journal für die reine und angewandte Mathematik
Similarity:
Robert Fossum (1966)
Journal für die reine und angewandte Mathematik
Similarity:
Andrew John Sommese (1981)
Journal für die reine und angewandte Mathematik
Similarity:
Wim H. Hesselink (1984)
Journal für die reine und angewandte Mathematik
Similarity:
Craig Huneke, Ian M. Aberbach (1993)
Journal für die reine und angewandte Mathematik
Similarity:
Mei-Chu Chang (1989)
Journal für die reine und angewandte Mathematik
Similarity:
Marco Manetti (1991)
Journal für die reine und angewandte Mathematik
Similarity:
Hiroaki Nakamura (1990)
Journal für die reine und angewandte Mathematik
Similarity:
Jürgen Bingener, Hubert Flenner (1979)
Journal für die reine und angewandte Mathematik
Similarity:
C. Horst (1981)
Journal für die reine und angewandte Mathematik
Similarity:
Abdelhamid Khaled (1995)
Journal für die reine und angewandte Mathematik
Similarity:
D.G. James (1980)
Journal für die reine und angewandte Mathematik
Similarity:
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...
E.C. Weinberg (1966)
Journal für die reine und angewandte Mathematik
Similarity:
Klaus Langmann (1990)
Journal für die reine und angewandte Mathematik
Similarity:
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity: