; Formalization of the Algebra of Nominative Data in Mizar38th Information Systems Architecture and Technology, Szklarska Poręba, Poland, Sep 17-19, 2017; Wrocław University of Science and Technology (org.)
E. Schmeidel; Geometry on the lines of spine spacesXI Północne Spotkania Geometryczne, Gdańsk, Jun 21-22, 2017; PTM, UWM, UG (org.)
E. Schmeidel; Konferencja Władz Uczelnianych Matematyki i Informatyki 2017, Poznań, May 12-13, 2017
E. Schmeidel; Topological structures as a tool for formal modelling of rough sets12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Formalization of the Algebra of Nominative Data in Mizar12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Introducing Euclidean Relations in Mizar12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Formalization of Pell`s Equations in the Mizar System12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Progress in the Independent Certification of Mizar Mathematical Library in Isabelle12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society
E. Schmeidel; Coherent state map quantizationXXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 2-8, 2017; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
E. Schmeidel; Factorization method applied to the second order difference equationsXXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 2-8, 2017; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
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.
