REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/10836
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorZiobro, Rafał-
    dc.date.accessioned2021-05-04T09:02:38Z-
    dc.date.available2021-05-04T09:02:38Z-
    dc.date.issued2020-
    dc.identifier.citationFormalized Mathematics, Volume 28, Issue 2, Pages 197-210pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/10836-
    dc.description.abstractThe use of registrations is useful in shortening Mizar proofs [1], [2], both in terms of formalization time and article space. The proposed system of classes for complex numbers aims to facilitate proofs involving basic arithmetical operations and order checking. It seems likely that the use of self-explanatory adjectives could also improve legibility of these proofs, which would be an important achievement [3]. Additionally, some potentially useful definitions, following those defined for real numbers, are introduced.pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsAttribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/3.0/-
    dc.subjectcomplex numberspl
    dc.subjectmultiplicationpl
    dc.subjectorderpl
    dc.titleMultiplication-Related Classes of Complex Numberspl
    dc.typeArticlepl
    dc.rights.holder© 2020 University of Białymstoku;-
    dc.rights.holderCC-BY-SA License ver. 3.0 or later;-
    dc.identifier.doi10.2478/forma-2020-0017-
    dc.description.AffiliationDepartment of Carbohydrate Technology, University of Agriculture, Krakow, Polandpl
    dc.description.referencesMarco B. Caminati and Giuseppe Rosolini. Custom automations in Mizar. Journal of Automated Reasoning, 50(2):147–160, 2013.pl
    dc.description.referencesArtur Korniłowicz. On rewriting rules in Mizar. Journal of Automated Reasoning, 50(2): 203–210, 2013.pl
    dc.description.referencesKarol Pąk. Improving legibility of natural deduction proofs is not trivial. Logical Methods in Computer Science, 10, 2014.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume28pl
    dc.description.issue2pl
    dc.description.firstpage197pl
    dc.description.lastpage210pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0001-9681-4380-
    Występuje w kolekcji(ach):Formalized Mathematics, 2020, Volume 28, Issue 2

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    10.2478_forma-2020-0017.pdf251,88 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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