REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2005, Volume 13, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21426
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorNaumowicz, Adam-
    dc.date.accessioned2026-11-04T12:41:59Z-
    dc.date.available2026-11-04T12:41:59Z-
    dc.date.issued2005-
    dc.identifier.citationFormalized Mathematics, Volume 13, Issue 1, Pages 125-131pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21426-
    dc.description.abstractIn this paper we characterize the automorphisms (collineations) of the Segre product of partial linear spaces. In particular, we show that if all components of the product are strongly connected, then every collineation is determined by a set of isomorphisms between its components. The formalization follows the ideas presented in the Journal of Geometry paper [16] by Naumowicz and Prażmowski.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleOn the Characterization of Collineations of the Segre Product of Strongly Connected Partial Linear Spacespl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.AffiliationUniversity of Białystokpl
    dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.pl
    dc.description.referencesGrzegorz Bancerek. Konig’s theorem. Formalized Mathematics, 1(3):589–593, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The “way-below” relation. Formalized Mathematics, 6(1):169–176, 1997.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.pl
    dc.description.referencesJózef Białas. Group and field definitions. Formalized Mathematics, 1(3):433–439, 1990.pl
    dc.description.referencesJózef Białas. Properties of fields. Formalized Mathematics, 1(5):807–812, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.pl
    dc.description.referencesArtur Korniłowicz. Some basic properties of many sorted sets. Formalized Mathematics, 5(3):395–399, 1996.pl
    dc.description.referencesBeata Madras. Product of family of universal algebras. Formalized Mathematics, 4(1):103–108, 1993.pl
    dc.description.referencesAdam Naumowicz. On cosets in Segre’s product of partial linear spaces. Formalized Mathematics, 9(4):795–800, 2001.pl
    dc.description.referencesAdam Naumowicz. On Segre’s product of partial line spaces. Formalized Mathematics, 9(2):383–390, 2001.pl
    dc.description.referencesAdam Naumowicz and Krzysztof Prażmowski. On Segre’s product of partial line spaces and spaces of pencils. Journal of Geometry, 71(1):128–143, 2001.pl
    dc.description.referencesBeata Padlewska and Agata Darmochwa l. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990.pl
    dc.description.referencesPiotr Rudnicki and Andrzej Trybulec. Multivariate polynomials with arbitrary number of variables. Formalized Mathematics, 9(1):95–110, 2001.pl
    dc.description.referencesAndrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329–334, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesAndrzej Trybulec. Many-sorted sets. Formalized Mathematics, 4(1):15–22, 1993.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume13pl
    dc.description.issue1pl
    dc.description.firstpage125pl
    dc.description.lastpage131pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2005, Volume 13, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    On_the_Characterization_of_Collineations.pdf105,79 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons