Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach.

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2022	Prime Representing Polynomial with 10 Unknowns – Introduction	Pąk, Karol	-	-
2022	Elementary Number Theory Problems. Part III	Korniłowicz, Artur	-	-
2021	Prime Representing Polynomial	Pąk, Karol	-	-
2021	On Weakly Associative Lattices and Near Lattices	Sawicki, Damian; Grabowski, Adam	-	-
2021	Elementary Number Theory Problems. Part II	Korniłowicz, Artur; Surowik, Dariusz	-	-
2020	Partial Correctness of an Algorithm Computing Lucas Sequences	Jaszczak, Adrian	-	-
2020	General Theory and Tools for Proving Algorithms in Nominative Data Systems	Jaszczak, Adrian	-	-
2020	Formalization of Quasilattices	Kulesza, Dominik; Grabowski, Adam	-	-
2020	Grothendieck Universes	Pąk, Karol	-	-
2020	Partial Correctness of a Fibonacci Algorithm	Korniłowicz, Artur	-	-
2020	On Fuzzy Negations Generated by Fuzzy Implications	Grabowski, Adam	-	-
2020	Elementary Number Theory Problems. Part I	Naumowicz, Adam	-	-
2020	Developing Complementary Rough Inclusion Functions	Grabowski, Adam	-	-
2019	Formal Development of Rough Inclusion Functions	Grabowski, Adam	-	-
2019	AIM Loops and the AIM Conjecture	Brown, Chad E.; Pąk, Karol	-	-
2019	Partial Correctness of a Power Algorithm	Jaszczak, Adrian	-	-
2019	Partial Correctness of a Factorial Algorithm	Jaszczak, Adrian; Korniłowicz, Artur	-	-
2019	Formalization of the MRDP Theorem in the Mizar System	Pąk, Karol	-	-
2019	Diophantine Sets. Part II	Pąk, Karol	-	-
2019	Tarski Geometry Axioms. Part IV – Right Angle	Coghetto, Roland; Grabowski, Adam	-	-