logo UG

Bibliografia Publikacji Pracowników, Doktorantów i Studentów UG




Zapytanie: SCHWARZWELLER CHRISTOPH
Liczba odnalezionych rekordów: 17



Przej¶cie do opcji zmiany formatu | Wy¶wietl/ukryj etykiety | Wy¶wietl wyniki w wersji do druku | | Przesłanie wyników do modułu analizy | Nowe wyszukiwanie
1/17
AUTORZY: Adam Grabowski, Christoph Schwarzweller.
TYTUŁ: Improving Representation of Knowledge within the Mizar Library
¬RÓDŁO: Studies in Logic, Grammar and Rhetoric. - 2009, Vol. 18 (31), s. 35-50
p-ISSN: 0860-150X

UWAGI: Bibliogr. 17 poz.
UWAGI: Tytuł nru: Computer Reconstruction of the Body of Mathematics
Typ publikacji: PAC
Język publikacji: ENG
Punktacja MNiSW: 6.000
Adres url:
[sprawdĽ dostępno¶ć w katalogu BUG]
2/17
AUTORZY: Christoph Schwarzweller.
TYTUŁ: The Chinese Remainder Theorem, its proofs and its generalizations in mathematical repositories
¬RÓDŁO: Studies in Logic, Grammar and Rhetoric. - 2009, Vol. 18, iss. 31, s. 103-119
p-ISSN: 0860-150X

UWAGI: Bibliogr. 33 poz.
Typ publikacji: PAC
Język publikacji: ENG
Punktacja MNiSW: 6.000
Inne bazy podaj±ce opis:
  • Web of Science

    Adres url:


    [sprawdĽ dostępno¶ć w katalogu BUG]
    3/17
    AUTORZY: Christoph Schwarzweller.
    TYTUŁ: On building a knowledge base for stability theory
    ¬RÓDŁO: Lecture Notes in Artificial Intelligence (Lecture Notes in Computer Science) . - 2010, Vol. 6167, s. 427-439
    p-ISSN: 0302-9743

    UWAGI: Bibliogr. 17 poz
    UWAGI: Tyt. tomu: Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
    Typ publikacji: ZAC
    Język publikacji: ENG
    Punktacja MNiSW: 13.000
    Słowa kluczowe w j. ang.:
  • mathematical knowledge management
  • formalization of mathematics
  • mathematical libraries
  • electrical engineering

    Inne bazy podaj±ce opis:
  • Scopus
  • Web of Science

    Adres url:
    DOI:
    4/17
    AUTORZY: Adam Grabowski, Christoph Schwarzweller.
    TYTUŁ: On duplication in mathematical repositories
    ¬RÓDŁO: Lecture Notes in Artificial Intelligence (Lecture Notes in Computer Science) . - 2010, Vol. 6167, s. 300-314
    p-ISSN: 0302-9743

    UWAGI: Bibliogr. 23 poz.
    UWAGI: Tyt. tomu: Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
    Typ publikacji: ZAC
    Język publikacji: ENG
    Punktacja MNiSW: 13.000
    Słowa kluczowe w j. ang.:
  • mathematical knowledge management
  • formalization of mathematics
  • mathematical libraries

    Inne bazy podaj±ce opis:
  • Scopus
  • Web of Science

    Adres url:
    DOI:
    5/17
    AUTORZY: Christoph Schwarzweller.
    TYTUŁ: Introduction to rational functions
    ¬RÓDŁO: Formalized Mathematics. - 2012, Vol. 20, no. 2, s. 181-191
    p-ISSN: 1426-2630

    UWAGI: Bibliogr. 23 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 8.000
    Adres url:
    DOI:
    6/17
    AUTORZY: Adam Grabowski, Christoph Schwarzweller.
    TYTUŁ [ROZDZIAŁU, FRAGMENTU]: Towards automatically categorizing mathematical knowledge
    ¬RÓDŁO: W: FedCSIS : Proceedings of the Federated Conference on Computer Science and Information Systems : September 9-12, 2012 Wrocław, Poland / M. Ganzha, L. Maciaszek, M. Paprzycki (eds.)
    OPIS FIZYCZNY: S. 63-68
    ISBN: 978-83-60810-51-4
    UWAGI: Bibliogr. 21 poz.
    Typ publikacji: ZRZ
    Język publikacji: ENG
    Punktacja MNiSW: 10.000
    Inne bazy podaj±ce opis:
  • Web of Science

    Adres url:
    7/17
    AUTORZY: Agnieszka Rowińska-Schwarzweller, Christoph Schwarzweller.
    TYTUŁ: A test for the stability of networks
    ¬RÓDŁO: Formalized Mathematics. - 2013, Vol. 21, no. 1, s. 47-53
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    UWAGI: Bibliogr. 27 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Adres url:
    DOI:
    8/17
    AUTORZY: Artur Korniłowicz, Christoph Schwarzweller.
    TYTUŁ: The first isomorphism theorem and other properties of rings
    ¬RÓDŁO: Formalized Mathematics. - 2014, Vol. 22, no. 4, s. 285-295
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    UWAGI: Bibliogr. 43 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Adres url:
    DOI:
    9/17
    AUTORZY: Adam Grabowski, Christoph Schwarzweller.
    TYTUŁ [ROZDZIAŁU, FRAGMENTU]: Towards standard environments for formalizing mathematics
    ¬RÓDŁO: W: 6th Podlasie Conference on Mathematics, 1-4 July 2014, Białystok, Poland : book of abstracts
    OPIS FIZYCZNY: S. 46
    Typ publikacji: PSZ
    Język publikacji: ENG
    Adres url:
    10/17
    AUTORZY: Christoph Schwarzweller, Artur Korniłowicz.
    TYTUŁ: Characteristic of rings : prime fields
    ¬RÓDŁO: Formalized Mathematics. - 2015, Vol. 23, no. 4, s. 331-347
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    UWAGI: Bibliogr. 40 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Słowa kluczowe w j. ang.:
  • commutative algebra
  • characteristic of rings
  • prime field

    Adres url:
    DOI:
    11/17
    AUTORZY: Adam Grabowski, Artur Korniłowicz, Christoph Schwarzweller.
    TYTUŁ [ROZDZIAŁU, FRAGMENTU]: Equality in computer proof-assistants
    ¬RÓDŁO: W: Proceedings of the 2015 Federated Conference on Computer Science and Information Systems : September 13-16, 2015. ŁódĽ, Poland [dokument elektroniczny] / M. Ganzha, L. Maciaszek, M. Paprzycki (eds.)
    ADRES WYDAWNICZY: Warszawa ; New York City : Polskie Towarzystwo Informatyczne : Institute of Electrical and Electronics Engineers, 2015
    SERIA: Annals of Computer Science and Information Systems, 2300-5963, vol. 5
    OPIS FIZYCZNY: S. 45-54
    ISBN: 978-83-60810-65-1
    UWAGI: Bibliogr. 38 poz.
    UWAGI: https://fedcsis.org/proceedings/2015/pliks/229.pdf [dostęp 19.11.2015]
    Tytuł-nazwa konferencji: 2015 Federated Conference on Computer Science and Information Systems
    Miejsce konferencji: ŁódĽ
    Kraj: PL
    Od dnia: 2015.09.13
    Do dnia: 2015.09.16
    Typ publikacji: PRZ
    Język publikacji: ENG
    Punktacja MNiSW: 15.000
    Inne bazy podaj±ce opis:
  • Web of Science

    Adres url:
    DOI:
    12/17
    AUTORZY: Adam Grabowski, Artur Korniłowicz, Christoph Schwarzweller.
    TYTUŁ [ROZDZIAŁU, FRAGMENTU]: On algebraic hierarchies in mathematical repository of Mizar
    ¬RÓDŁO: W: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems : September 11-14, 2016. Gdańsk, Poland [dokument elektroniczny] / Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki (eds.)
    ADRES WYDAWNICZY: Warszawa ; New York City : Polskie Towarzystwo Informatyczne : Institute of Electrical and Electronics Engineers, 2016
    SERIA: Annals of Computer Science and Information Systems, 2300-5963, vol. 8
    OPIS FIZYCZNY: S. 363-371
    ISBN: 978-83-60810-90-3
    UWAGI: Bibliogr. 39 poz.
    UWAGI: https://fedcsis.org/proceedings/2016/pliks/fedcsis.pdf [dostęp 24.10.2016]
    Tytuł-nazwa konferencji: 2016 Federated Conference on Computer Science and Information Systems
    Miejsce konferencji: Gdańsk
    Kraj: PL
    Od dnia: 2016.09.11
    Do dnia: 2016.09.14
    Typ publikacji: PRZ
    Język publikacji: ENG
    Punktacja MNiSW: 15.000
    Inne bazy podaj±ce opis:
  • Web of Science

    Adres url:
    DOI:
    13/17
    AUTORZY: Christoph Schwarzweller, Artur Korniłowicz, Agnieszka Rowińska-Schwarzweller.
    TYTUŁ: Some algebraic properties of polynomial rings
    ¬RÓDŁO: Formalized Mathematics. - 2016, Vol. 24, no. 3, s. 231-241
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Słowa kluczowe w j. ang.:
  • irreducible polynomials
  • polynomial ring
  • polynomial GCD
  • commutative algebra

    DOI:
    14/17
    AUTORZY: Christoph Schwarzweller.
    TYTUŁ: Formally real fields
    ¬RÓDŁO: Formalized Mathematics. - 2017, Vol. 25, no. 4, s. 249-259
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    UWAGI: Bibliogr. 11 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Słowa kluczowe w j. ang.:
  • formally real fields
  • ordered field
  • abstract value
  • square roots

    Inne bazy podaj±ce opis:
  • Web of Science

    Adres url:
    DOI:
    15/17
    AUTORZY: Christoph Schwarzweller.
    TYTUŁ: On roots of polynomials and algebraically closed fields
    ¬RÓDŁO: Formalized Mathematics. - 2017, Vol. 25, no. 3, s. 189-199
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    UWAGI: Bibliogr. 13 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Słowa kluczowe w j. ang.:
  • commutative algebra
  • polynomials
  • algebraic closed fields

    Adres url:
    DOI:
    16/17
    AUTORZY: Christoph Schwarzweller.
    TYTUŁ: Ordered rings and fields
    ¬RÓDŁO: Formalized Mathematics. - 2017, Vol. 25, no. 1, s. 63-72
    p-ISSN: 1426-2630
    e-ISSN: 1898-9934

    UWAGI: Bibliogr. 10 poz.
    Typ publikacji: PAC
    Język publikacji: ENG
    Punktacja MNiSW: 12.000
    Słowa kluczowe w j. ang.:
  • commutative algebra
  • ordered fields
  • positive cones

    Adres url:
    DOI:
    17/17
    AUTORZY: Christoph Schwarzweller.
    TYTUŁ [ROZDZIAŁU, FRAGMENTU]: Representation matters: an unexpected property of polynomial rings and its consequences for formalizing abstract field theory
    ¬RÓDŁO: W: Proceedings of the 2018 Federated Conference on Computer Science and Information Systems : September 9-12, 2018. Poznań, Poland [dokument elektroniczny] / Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki (eds.)
    ADRES WYDAWNICZY: Warszawa ; New York City : Polskie Towarzystwo Informatyczne : Institute of Electrical and Electronics Engineers, 2018
    SERIA: Annals of Computer Science and Information Systems, 2300-5963, vol. 15
    OPIS FIZYCZNY: S. 67-72
    ISBN: 978-83-949419-5-6
    UWAGI: Bibliogr. 25 poz.
    Tytuł-nazwa konferencji: Federated Conference on Computer Science and Information Systems
    Miejsce konferencji: Poznań
    Kraj: PL
    Od dnia: 2018.09.09
    Do dnia: 2018.09.09
    Typ publikacji: PRZ
    Język publikacji: ENG
    Punktacja MNiSW: 15.000
    Inne bazy podaj±ce opis:
  • Web of Science
  • Scopus

    Adres url:
    DOI:
      Wy¶wietl ponownie stosuj±c format:
  • Wy¶wietl/ukryj etykiety | Wy¶wietlenie wyników w wersji do druku | | Nowe wyszukiwanie | Biblioteka Główna Uniwersytetu Gdańskiego