Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

2012/07/N/ST6/02147

Słowa kluczowe:

Operacje na języku czytelność dowodów formalnych acykliczna partycja digrafów liniowe uporządkowanie problemy NP-zupełne

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, m.in.:

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: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Dane z raportu końcowego

  • Publikacje w czasopismach (7)
  • Teksty w publikacjach pokonferencyjnych (6)
  • Publikacje książkowe (1)
  1. Topological Manifolds
    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2014, tom: 22(2), strony: 179-186), Wydawca: University of Białystok
    Status:
    Opublikowane
    Doi:
    10.2478/forma-2014-0019 - link do publikacji
  2. Improving legibility of natural deduction proofs is not trivial IF: ,443
    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:
    Opublikowane
    Doi:
    10.2168/LMCS-10(3:23)2014 - link do publikacji
  3. Leibniz Series for PI
    Autorzy:
    Karol Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2016, tom: 24, strony: 275–280), Wydawca: Uniwersytet w Białymstoku
    Status:
    Opublikowane
    Doi:
    10.1515/forma-2016-0023 - link do publikacji
  4. Flexary Operations
    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2015, tom: 32(2), strony: 81-92), Wydawca: University of Białystok
    Status:
    Opublikowane
    Doi:
    10.1515/forma-2015-0008 - link do publikacji
  5. 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:
    Opublikowane
    Doi:
    10.1515/forma-2015-0009 - link do publikacji
  6. Improving legibility of formal proofs based on the close reference principle is NP-hard IF: ,987
    Autorzy:
    K. Pąk
    Czasopismo:
    Journal of Automated Reasoning (rok: 2015, tom: 55, strony: 295-306), Wydawca: Springer Science
    Status:
    Opublikowane
    Doi:
    10.1007/s10817-015-9337-1 - link do publikacji
  7. Tietze Extension Theorem for n-dimensional Spaces
    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2014, tom: 22(1), strony: 44519), Wydawca: University of Białystok
    Status:
    Opublikowane
    Doi:
    10.2478/forma-2014-0002 - link do publikacji
  1. 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, ), Wydawca: Nieznany
    Data:
    konferencja 26-30 marzec 2017
    Status:
    Opublikowane
  2. Lemma Extraction Criteria Based on Properties of Theorem Statements
    Autorzy:
    Karol Pąk
    Konferencja:
    Conference on Intelligent Computer Mathematics 2016 (rok: 2017, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 25-29 lipiec 2016
    Status:
    Opublikowane
  3. 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, ), Wydawca: Springer
    Data:
    konferencja 13-17 lipiec
    Status:
    Opublikowane
  4. 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, ), Wydawca: Springer
    Data:
    konferencja 7-11 lipiec 2014
    Status:
    Opublikowane
  5. 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, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 25-29 lipiec 2016
    Status:
    Opublikowane
  6. Topological Foundations for a Formal Theory of Manifolds
    Autorzy:
    Karol Pąk
    Konferencja:
    Conference on Intelligent Computer Mathematics 2016 (rok: 2017, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 25-29 lipiec 2016
    Status:
    Opublikowane
  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:
    Opublikowane