Publications

2016
  1. Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
    "On Algebraic Hierarchies in Mathematical Repository of Mizar"
    In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki (Eds.), Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, volume 8 of Annals of Computer Science and Information Systems, pages 363--371. IEEE, 2016. DOI: 10.15439/2016F520
  2. Artur Kornilowicz
    "Enhancement of Mizar Texts with Transitivity Property of Predicates"
    In Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, and Frank Wm. Tompa (Eds.): CICM 2016, LNCS 9791, pp. 157--162, 2016. Springer International Publishing.
    DOI: 10.1007/978-3-319-42547-4_12
  3. Artur Kornilowicz
    "Registrations vs Redefinitions in Mizar"
    In Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. CEUR Workshop Proceedings 1785, CEUR-WS.org 2017. pages 17--20.
2015
  1. Artur Kornilowicz
    "Flexary Connectives in Mizar"
    Computer Languages, Systems & Structures, Volume 44, pp. 238--250, December 2015, DOI: 10.1016/j.cl.2015.07.002, Elsevier.
  2. Ievgen V. Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
    "Formalization of Nominative Data in Mizar"
    In Theoretical and Applied Aspects of Program System Development (TAAPSD'2015). Proceedings. Kyiv, pages 82--85. 2015.
  3. Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
    "Equality in Computer Proof-Assistants"
    In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki (Eds.), Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, volume 5 of Annals of Computer Science and Information Systems, pages 45--54. IEEE, 2015. DOI: 10.15439/2015F229
  4. Artur Kornilowicz
    "Definitional Expansions in Mizar"
    Journal of Automated Reasoning, Volume 55, Issue 3, pp. 257--268, October 2015, DOI: 10.1007/s10817-015-9331-7, Springer Netherlands.
  5. Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
    "Four Decades of Mizar"
    Journal of Automated Reasoning, Volume 55, Issue 3, pp. 191--198, October 2015, DOI: 10.1007/s10817-015-9345-1, Springer Netherlands.
  6. Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak and Josef Urban
    "Mizar: State-of-the-Art and Beyond"
    In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe and Volker Sorge (Eds.): CICM 2015, LNAI 9150, pp. 261--279, 2015. Springer International Publishing.
    DOI: 10.1007/978-3-319-20615-8_17
2014
  1. Artur Kornilowicz
    "Equalities in Mizar"
    In Gomolinska, Anna and Grabowski, Adam and Hryniewicka, Malgorzata and Kacprzyk, Magdalena and Schmeidel, Ewa,
    Trends in Contemporary Computer Science, Podlasie 2014, pp. 59--69, 2014.
2013
  1. Artur Kornilowicz
    "On Rewriting Rules in Mizar"
    Journal of Automated Reasoning, Volume 50, Issue 2, pp. 203--210, February 2013, DOI: 10.1007/s10817-012-9261-6, Springer Netherlands.
  2. Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Kuperberg
    "Formal Mathematics for Mathematicians"
    Journal of Automated Reasoning, Volume 50, Issue 2, pp. 119--121, February 2013, DOI: 10.1007/s10817-012-9268-z, Springer Netherlands.
2012
  1. Artur Kornilowicz
    "Tentative Experiments with Ellipsis in Mizar"
    In "Jeuring, Johan and Campbell, John A. and Carette, Jacques and Dos Reis, Gabriel and Sojka, Petr and Wenzel, Makarius and Sorge, Volker, Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects", Bremen, Germany, July 8--13, 2012, Proceedings, LNAI 7362 © Springer Verlag, pp. 453--457.
2010
  1. Adam Grabowski, Artur Kornilowicz and Adam Naumowicz
    "Mizar in a Nutshell"
    Journal of Formalized Reasoning, Special Issue: User Tutorials I, Vol. 3(2), pp. 153--245, December 2010.
2009
  1. Artur Kornilowicz
    "How to Define Terms in Mizar Effectively"
    Computer Reconstruction of the Body of Mathematics, Studies in Logic, Grammar and Rhetoric Vol. 18(31), pp. 67--77, 2009.
  2. Adam Naumowicz and Artur Kornilowicz
    "A Brief Overview of Mizar"
    In "S. Berghofer and T. Nipkow and Ch. Urban and M. Wenzel editors, Proc. 22nd International Conference, TPHOLs." Munich, Germany, 2009. LNCS 5674 © Springer Verlag, pp. 67--72.
2007
  1. Artur Kornilowicz
    "A Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem"
    Mechanized Mathematics and Its Applications, Vol. 6(1), pp. 33--40, November 2007.
  2. Adam Grabowski and Artur Kornilowicz
    "Computer-Assisted Reasoning about Algebraic Topology"
    In R. Matuszewski and A. Zalewska, editors From Insight to Proof: Festschrift in Honour of Andrzej Trybulec,
    Studies in Logic, Grammar and Rhetoric, Vol. 10(23), pp. 179--189, University of Bialystok, 2007.
2006
  1. Artur Kornilowicz
    "Formalization of the Jordan Curve Theorem in Mizar"
    International Congress of Mathematicians, Volume of Abstracts, p. 611, Madrid, Spain, August 2006.
2005
  1. Artur Kornilowicz and Christoph Schwarzweller
    "Computers and Algorithms in Mizar"
    Mechanized Mathematics and Its Applications, Vol. 4(1), pp. 43--50, August 2005.
2002
  1. Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    "Bounded Model Checking for Timed Systems"
    In Proc. 22nd Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002). Houston, TX, USA, November 2002. LNCS 2529 © Springer Verlag, pp. 243--259.
  2. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    "A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions"
    In Proc. 18th Int. Conference of Automated Deduction, CADE'02. LNAI 2392 © Springer Verlag, pp. 195--210.
  3. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    "Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements"
    In Artificial Intelligence, Automated Reasoning, and Symbolic Computation. Proc. of Joint AISC 2002 and Calculemus 2002. Marseille, France, 2002. LNAI 2385 © Springer Verlag, pp. 231--245.
1999
  1. Artur Kornilowicz
    "Mathematical Models of Generic Programming"
    11-th International Congress of Logic, Methodology and Philosophy of Science - Volume of Abstracts, p. 85, 1999.


January 1, 2017 --- arturk@math.uwb.edu.pl