Robert Milewski PhD


This page has been accessed 3281 times since February 17, 1999.


Wersja polska


Address

Institute of Computer Science
University of Bialystok
Akademicka 2, 15-267 Bialystok
Poland
phone (office): (085) 745-75-59
E-mail: milewski@math.uwb.edu.pl
WWW: http://math.uwb.edu.pl/~milewski/ http://alioth.uwb.edu.pl/~robert/


Research interests

Publications

  1. Associated Matrix of Linear Map Formalized Mathematics, 5(3), 1996, pp. 339--345.
  2. Lattice of Congruences in a Many Sorted Algebra Formalized Mathematics, 5(4), 1996, pp. 479--483.
  3. More on the Lattice of Many Sorted Equivalence Relations Formalized Mathematics, 5(4), 1996, pp. 565--569.
  4. More on the Lattice of Congruences in a Many Sorted Algebra Formalized Mathematics, 5(4), 1996, pp. 587--590.
  5. Boolean Posets, Posets under Inclusion and Products of Relational Structures (with Adam Grabowski). Formalized Mathematics, 6(1), 1997, pp. 117--121.
  6. Algebraic Lattices Formalized Mathematics, 6(2), 1997, pp. 249--254.
  7. Algebraic and Arithmetic Lattices Formalized Mathematics, 6(3), 1997, pp. 345--349.
  8. Algebraic and Arithmetic Lattices. Part II Formalized Mathematics, 6(4), 1997, pp. 499--503.
  9. Completely-Irreducible Elements Formalized Mathematics, 7(1), 1998, pp. 9--12.
  10. Natural Numbers Formalized Mathematics, 7(1), 1998, pp. 19--22.
  11. Binary Arithmetics. Binary Sequences Formalized Mathematics, 7(1), 1998, pp. 23--26.
  12. Full Trees Formalized Mathematics, 7(1), 1998, pp. 27--30.
  13. Real Linear-Metric Space and Isometric Functions Formalized Mathematics, 7(2), 1998, pp. 273--277.
  14. Bases of Continuous Lattices Formalized Mathematics, 7(2), 1998, pp. 285--294.
  15. Components and Basis of Topological Spaces Formalized Mathematics, 9(1), 2001, pp. 25--29.
  16. Weights of Continuous Lattices Formalized Mathematics, 9(2), 2001, pp. 255--259.
  17. The Ring of Polynomials Formalized Mathematics, 9(2), 2001, pp. 339--346.
  18. Evaluation of Polynomials Formalized Mathematics, 9(2), 2001, pp. 391--395.
  19. Trigonometric Form of Complex Numbers Formalized Mathematics, 9(3), 2001, pp. 455--460.
  20. Fundamental Theorem of Algebra Formalized Mathematics, 9(3), 2001, pp. 461--470.
  21. Gauges and Cages (with Artur Kornilowicz, Adam Naumowicz and Andrzej Trybulec) Formalized Mathematics, 9(3), 2001, pp. 501--509.
  22. Some Properties of Cells and Arcs (with Andrzej Trybulec, Artur Kornilowicz and Adam Naumowicz) Formalized Mathematics, 9(3), 2001, pp. 531--535.
  23. Gauges and Cages. Part II (with Artur Kornilowicz) Formalized Mathematics, 9(3), 2001, pp. 555--558.
  24. Upper and Lower Sequence of a Cage Formalized Mathematics, 9(4), 2001, pp. 787--790.
  25. Upper and Lower Sequence on the Cage. Part II Formalized Mathematics, 9(4), 2001, pp. 817--823.
  26. Some Remarks on Clockwise Oriented Sequences on Go-boards (with Adam Naumowicz) Formalized Mathematics, 10(1-3), 2002, pp. 23--27.
  27. Upper and Lower Sequence on the Cage, Upper and Lower Arcs Formalized Mathematics, 10(1-3), 2002, pp. 73--80.
  28. Properties of the Internal Approximation of Jordan's Curve Formalized Mathematics, 10(1-3), 2002, pp. 111--115.
  29. Properties of the Upper and Lower Sequence on the Cage Formalized Mathematics, 10(1-3), 2002, pp. 135--143.
  30. Algebraic Requirements for the Construction of Polynomial Rings (with Christoph Schwarzweller) Mechanized Mathematics and Its Applications, ISSN 1345-8272, Vol. 2: 1--8, 2002.
  31. On the Upper and Lower Approximations of the Curve Formalized Mathematics, 11(3-4), 2003, pp. 425--430.
  32. Subsequences of Almost, Weakly and Poorly One-to-one Finite Sequences Formalized Mathematics, 13(2), 2005, pp. 227--233.
  33. Robustness of Systems for Formalizing Mathematics - Testing Monotonicity and Permutability of References in Mizar Mechanized Mathematics and Its Applications, ISSN 1345-8272, Vol. 4: 51--58, 2005.
  34. New Auxiliary Software for MML Database Management Mechanized Mathematics and Its Applications, ISSN 1345-8272, Vol. 5, No. 2: 1--10, 2006.
  35. Transformations of MML Database's Elements Lecture Notes in Computer Science, Springer-Verlag, ISSN 0302-9743, Vol. 3863/2006: 376--388, 2006.


Here You can find a BattleShip game (Look also Adam Naumowicz's home page)


May 1, 2008 --- milewski@math.uwb.edu.pl