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

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ęcy (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)
  • Teksty w publikacjach pokonferencyjnych (6)
  • Publikacje książkowe (1)
  1. Tietze Extension Theorem for n-dimensional Spaces
    Autorzy:
    K. Pąk
    Czasopismo:
    Formalized Mathematics (rok: 2014, tom: 22(1), strony: 45615), Wydawca: University of Białystok
    Status:
    Opublikowana
    Doi:
    10.2478/forma-2014-0002 - link do publikacji
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  1. 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:
    Opublikowana
    Doi:
    link do publikacji
  2. 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:
    Opublikowana
    Doi:
    link do publikacji
  3. 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:
    Opublikowana
    Doi:
    link do publikacji
  4. 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:
    Opublikowana
  5. 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:
    Opublikowana
  6. 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:
    Opublikowana
    Doi:
    link do publikacji
  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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy