The density of S-integral points in projective space with respect to a quadric
Nic Niedermowwe (2010)
Acta Arithmetica
Similarity:
Nic Niedermowwe (2010)
Acta Arithmetica
Similarity:
Marek Kordos (1989)
Colloquium Mathematicae
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],...
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Jia Hui Li, Zhuo Qun Wang, Yi Xi Shen, Zhong Yuan Dai (2017)
Open Mathematics
Similarity:
The past decades have witnessed several well-known beautiful conclusions on four con-cyclic points. With highly promising research value, we profoundly studied circumscribed ellipses of convex quadrilaterals in this paper. Using tools of parallel projective transformation and analytic geometry, we derived several theorems including the proof of the existence of circumscribed ellipses of convex quadrilaterals, the properties of its minimal coverage area, and locus center, respectively....
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...
L. Frerick, D. Kunkle, J. Wengenroth (2003)
Studia Mathematica
Similarity:
We study Palamodov's derived projective limit functor Proj¹ for projective spectra consisting of webbed locally convex spaces introduced by Wilde. This class contains almost all locally convex spaces appearing in analysis. We provide a natural characterization for the vanishing of Proj¹ which generalizes and unifies results of Palamodov and Retakh for spectra of Fréchet and (LB)-spaces. We thus obtain a general tool for solving surjectivity problems in analysis.
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Balan, V., Crane, M., Patrangenaru, V., Liu, X. (2009)
Balkan Journal of Geometry and its Applications (BJGA)
Similarity:
Klaus Kaiser (1973)
Colloquium Mathematicae
Similarity:
Steinke, Günter F., Maldeghem, Hendrik Van (2010)
Beiträge zur Algebra und Geometrie
Similarity:
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4.” (Existence Statement 52 and Existence Statement 53)...
Andrzej Owsiejczuk (2007)
Formalized Mathematics
Similarity:
In the paper I construct the configuration G which is a partial linear space. It consists of k-element subsets of some base set as points and (k + 1)-element subsets as lines. The incidence is given by inclusion. I also introduce automorphisms of partial linear spaces and show that automorphisms of G are generated by permutations of the base set.
P.J. Spacey (1976)
Mathematische Annalen
Similarity:
Andrzej Miernowski, Witold Mozgawa (1997)
Collectanea Mathematica
Similarity:
Grassmannians of higher order appeared for the first time in a paper of A. Szybiak in the context of the Cartan method of moving frame. In the present paper we consider a special case of higher order Grassmannian, the projective space of second order. We introduce the projective group of second order acting on this space, derive its Maurer-Cartan equations and show that our generalized projective space is a homogeneous space of this group.
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
Similarity: