; Formalization of the Jordan Curve Theorem in MizarInternational Congress of Mathematicians 2006, Madrid, Spain, Aug 22-30, 2006
; 5th International Conferences on Intelligent Computer Mathematics, Bremen, Germany, Jul 8-13, 2012; Jacobs University (org.)
; Tentative Experiments with Ellipsis in Mizar5th International Conferences on Intelligent Computer Mathematics, Bremen, Germany, Jul 8-13, 2012; Jacobs University (org.)
A. Gomolińska; Introduction to the Mizar proof-assistantThird Indian School on Logic and its Applications, Gachibowli, India, Jan 18-29, 2010; University of Hyderabad (org.)
A. Gomolińska; Practical presentation of Mizar and the contents of Mizar Mathematical LibraryThird Indian School on Logic and its Applications, Gachibowli, India, Jan 18-29, 2010; University of Hyderabad (org.)
A. Gomolińska, M. Wolski; Code Europe 2016, Warszawa, Dec 7, 2016; Team Code Europe (org.)
B. Kwaśniewski; Mixed boundary valued problemApplication of Discrete Symmetries 2016, Děčín, Czech Republic, Aug 1-4, 2016
S. Stepin; RDF Data in Property Graph Model10th International Conference on Metadata and Semantics Research, Göttingen, Germany, Nov 22-25, 2016; MTSR Group (org.)
A. Antonevich; Coherent States and their Applications: A Contemporary Panorama, Marseille, France, Nov 14-18, 2016; Centre International de Rencontres Mathématiques (org.)
A. Antonevich; Classical and quantum Kummer shape algebrasCoherent States and their Applications: A Contemporary Panorama, Marseille, France, Nov 14-18, 2016; Centre International de Rencontres Mathématiques (org.)
As part of our website, we use cookies stored on the user's device in order to adapt the website's behavior to the user's individual preferences and for statistical purposes. You can change your cookie settings in your web browser yourself. For more information, please see the Privacy Policy of the University of Białystok. By using this website, you consent to the use of cookies in accordance with your browser settings.
