dr Robert Milewski

Adres

Instytut Informatyki
Uniwersytet w Bialymstoku
ul. Akademicka 2, 15-267 Bialystok
Polska
telefon (zakladowy): (085) 745-75-59
E-mail: milewski@math.uwb.edu.pl
WWW: http://math.uwb.edu.pl/~milewski/ http://alioth.uwb.edu.pl/~robert/

Zainteresowania

• Komputerowa formalizacja matematyki,
• Teoria algebr wielozakresowych,
• Teoria krat,
• Geometrie lokalnie pokrywajace sie z plaszczyzna,
• Programowanie(Pascal, Delphi, C++, Perl, HTML-Java Script),
• Bazy Groebnera,
• Pierscienie wielomianow,
• Badanie robustness systemow formalizacji matematyki,
• Informatyka medyczna,
• Statystyka medyczna.

Publikacje

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 (razem z Adamem Grabowskim). 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 (razem z Arturem Kornilowiczem, Adamem Naumowiczem i Andrzejem Trybulcem) Formalized Mathematics, 9(3), 2001, pp. 501--509.
22. Some Properties of Cells and Arcs (razem z Andrzejem Trybulcem, Arturem Kornilowiczem i Adamem Naumowiczem) Formalized Mathematics, 9(3), 2001, pp. 531--535.
23. Gauges and Cages. Part II (razem z Arturem Kornilowiczem) 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 (razem z Adamem Naumowiczem) 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 (razem z 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, Nr. 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.

W pracy, jak rowniez rozwijajac swoje zainteresowania uzywam najczesciej ksiazek Wydawnictwa Helion, ktore to ksiazki uwazam za najlepsze na polskim rynku literatury informatycznej.

Tutaj mozesz zagrac w znana gre Statki (odwiedz takze strone Adama Naumowicza)