Czeslaw Bylinski

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 2

Top Topics

Mathematical Knowledge

Intermediate Representation

Dependency Parsing

Top Venues

Formaliz. Math.

AISC/MKM/Calculemus

Publications

Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz
Syntactic-Semantic Form of Mizar Articles. ITP (2021)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. 61 (1-4) (2018)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
Mizar: State-of-the-art and Beyond. CICM (2015)
Czeslaw Bylinski, Jesse Alama
New Developments in Parsing Mizar. AISC/MKM/Calculemus (2012)
Czeslaw Bylinski, Jesse Alama
New developments in parsing Mizar CoRR (2012)
Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
Morphology for Image Processing. Part I. Formaliz. Math. 20 (1) (2012)
Adam Naumowicz, Czeslaw Bylinski
Improving Mizar Texts with Properties and Requirements. MKM (2004)