A Stratification of the Hilbert Scheme of Points in the Projective Plane.

Gerd Gotzmann

The search session has expired. Please query the service again.

Displaying similar documents to “A Stratification of the Hilbert Scheme of Points in the Projective Plane.”

The Betti numbers of the Hilbert scheme of ponts on a smooth projective surface.

Lothar Göttsche (1990)

Mathematische Annalen

Similarity:

On the Hilbert Scheme of Curves in Higher-dimensional Projective Space.

Barbara Fantechi (1996)

Manuscripta mathematica

Similarity:

On the second part of Hilbert's fifth problem.

Mario Bonk (1992)

Mathematische Zeitschrift

Similarity:

Betti numbers for the Hilbert function strata of the punctual Hilbert scheme in two variables.

Lothar Göttsche (1990)

Manuscripta mathematica

Similarity:

Some Irreducible Hilbert Schemes.

Gerd Gotzmann (1989)

Mathematische Zeitschrift

Similarity:

On a dependence between polarities and an order of a projective plane

Jaroslava Jachanová, Helena Žáková (1976)

Sborník prací Přírodovědecké fakulty University Palackého v Olomouci. Matematika

Similarity:

Intersections in Projective Space I: Combinatorics.

A.A. Bruen, J.W.P. Hirschfeld (1986)

Mathematische Zeitschrift

Similarity:

Homography in ℝℙ

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],...

Some surprising Hilbert-Kunz functions.

C. Han, P. Monsky (1993)

Mathematische Zeitschrift

Similarity:

On the Hilbert Scheme of Curves of Maximal Genus in a Projective Space.

Ciro Ciliberto (1987)

Mathematische Zeitschrift

Similarity:

Pascal’s Theorem in Real Projective Plane

Roland Coghetto (2017)

Formalized Mathematics

Similarity:

In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...

On Baer Subspaces of Finite Projective Spaces.

Albrecht Beutelspacher (1983)

Mathematische Zeitschrift

Similarity: