Roman Matuszewski

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Product Configuration

Rapid Development

Mathematical Proofs

Top Venues

J. Autom. Reason.

Publications

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)