Koszul cohomology and -normality of a projective variety.
Alzati, A., Besana, G.M. (2000)
Beiträge zur Algebra und Geometrie
Similarity:
Alzati, A., Besana, G.M. (2000)
Beiträge zur Algebra und Geometrie
Similarity:
S. Bulman-Fleming, P. Normak (1996)
Monatshefte für Mathematik
Similarity:
Mogens Esrom Larsen (1973)
Mathematica Scandinavica
Similarity:
Dariusz M. Wilcynski (1990)
Mathematische Zeitschrift
Similarity:
Leendert van Gastel (1990)
Banach Center Publications
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],...
Mikio Furushima (1993)
Mathematische Annalen
Similarity:
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Silvio Greco (1989)
Mathematische Annalen
Similarity:
Marek Kordos (1989)
Colloquium Mathematicae
Similarity:
Sean Keel (1990)
Manuscripta mathematica
Similarity:
Peter Jørgensen (2007)
Journal of the European Mathematical Society
Similarity:
Existence of proper Gorenstein projective resolutions and Tate cohomology is proved over rings with a dualizing complex. The proofs are based on Bousfield Localization which is originally a method from algebraic topology.
Peter Lorimer (1982)
Monatshefte für Mathematik
Similarity:
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity: