Change language

Wyszukiwarka projektów

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

2012/07/N/ST6/02147

Słowa kluczowe

Deskryptory

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier

Panel

ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

woj. podlaskie

Inne projekty tej jednostki »

Kierownik projektu (z jednostki realizującej)

dr Karol Pąk

Liczba wykonawców projektu: 2

Konkurs

PRELUDIUM 4 – ogłoszony 2012-09-15

Przyznana kwota
98 340 PLN
Rozpoczęcie projektu
2013-07-08
Zakończenie projektu
2017-01-07
Planowany czas trwania projektu
42 miesiące (z wniosku)
Status projektu
Projekt rozliczony

Zakupiona aparatura

  1. Laptop min. czterordzeniowy, dodatkowy monitor.. Za kwotę 5 000 PLN

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (8)

  1. Leibniz Series for PI

    Autorzy:
    Karol Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2016, tom: 24, strony: 275–280), Wydawca: Uniwersytet w Białymstoku
    Status:
    Opublikowana
    DOI:
    10.1515/forma-2016-0023 – link do publikacji

  2. Flexary Operations

    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2015, tom: 32(2), strony: 81-92), Wydawca: University of Białystok
    Status:
    Opublikowana
    DOI:
    10.1515/forma-2015-0008 – link do publikacji

  3. Euler's Partition Theorem

    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2015, tom: 23(2), strony: 93-99), Wydawca: University of Białystok
    Status:
    Opublikowana
    DOI:
    10.1515/forma-2015-0009 – link do publikacji

  4. Tietze Extension Theorem for n-dimensional Spaces

    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2014, tom: 22(1), strony: 46345), Wydawca: University of Białystok
    Status:
    Opublikowana
    DOI:
    10.2478/forma-2014-0002 – link do publikacji

  5. Improving legibility of natural deduction proofs is not trivial

    Autorzy:
    K. Pąk
    Czasopismo:
    Logical Methods in Computer Science (rok: 2014, tom: 0,140277777777778, strony: 12055), Wydawca: Institute of Theoretical Computer Science of the Technische Universität Braunschweig
    Status:
    Opublikowana
    DOI:
    10.2168/LMCS-10(3:23)2014 – link do publikacji

  6. Topological Manifolds

    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2014, tom: 22(2), strony: 179-186), Wydawca: University of Białystok
    Status:
    Opublikowana
    DOI:
    10.2478/forma-2014-0019 – link do publikacji

  7. Improving legibility of formal proofs based on the close reference principle is NP-hard

    Autorzy:
    K. Pąk
    Czasopismo:
    Journal of Automated Reasoning (rok: 2015, tom: 55, strony: 295-306), Wydawca: Springer Science
    Status:
    Opublikowana
    DOI:
    10.1007/s10817-015-9337-1 – link do publikacji

  8. Bertrand's Ballot Theorem

    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2014, tom: 22(2), strony: 119-123), Wydawca: University of Białystok
    Status:
    Opublikowana
    DOI:
    10.2478/forma-2014-0014 – link do publikacji

Teksty w publikacjach pokonferencyjnych (6)

  1. Readable Formalization of Euler's Partition Theorem in Mizar

    Autorzy:
    K. Pąk
    Konferencja:
    Conferences on Intelligent Computer Mathematics, ścieżka Mathematical Knowledge Management (rok: 2015, strony: 211-226), Wydawca: Springer
    Data:
    konferencja 13-17 lipiec
    Status:
    Opublikowana

  2. The impact of proof steps sequence on proof readability — experimental setting

    Autorzy:
    Karol Pąk, Aleksy Schubert
    Konferencja:
    Conference on Intelligent Computer Mathematics 2016 (rok: 2017, strony: 172-186), Wydawca: CEUR-WS.org
    Data:
    konferencja 25-29 lipiec 2016
    Status:
    Opublikowana
    DOI:
    link do publikacji

  3. Automated Improving of Proof Legibility in the Mizar System

    Autorzy:
    K. Pąk
    Konferencja:
    Conferences on Intelligent Computer Mathematics, ścieżka Mathematical Knowledge Management (rok: 2014, strony: 373-387), Wydawca: Springer
    Data:
    konferencja 7-11 lipiec 2014
    Status:
    Opublikowana
    DOI:
    link do publikacji

  4. Lemma Extraction Criteria Based on Properties of Theorem Statements

    Autorzy:
    Karol Pąk
    Konferencja:
    Conference on Intelligent Computer Mathematics 2016 (rok: 2017, strony: 158-171), Wydawca: CEUR-WS.org
    Data:
    konferencja 25-29 lipiec 2016
    Status:
    Opublikowana
    DOI:
    link do publikacji

  5. Topological Foundations for a Formal Theory of Manifolds

    Autorzy:
    Karol Pąk
    Konferencja:
    Conference on Intelligent Computer Mathematics 2016 (rok: 2017, strony: 14-16), Wydawca: CEUR-WS.org
    Data:
    konferencja 25-29 lipiec 2016
    Status:
    Opublikowana
    DOI:
    link do publikacji

  6. Greedy Algorithms for Finding Maximum Number of Then Step in Reasoning

    Autorzy:
    Karol Pąk, Aleksy Schubert
    Konferencja:
    2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (rok: 2017, strony: 46024), Wydawca: Nieznany
    Data:
    konferencja 26-30 marzec 2017
    Status:
    Opublikowana

Publikacje książkowe (1)

  1. Improving Legibility of Proof Scripts Based on Quantity of Introduced Labels

    Autorzy:
    K. Pąk
    Książka:
    Trends in Contemporary Computer Science Podlasie 2014 (rok: 2014, tom: -, strony: 71-82), Wydawca: Bialystok University of Technology Publishing Office
    Status:
    Opublikowana

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski