Adam Naumowicz

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	All Liouville Numbers are Transcendental	2017	Artur Korniłowicz Adam Naumowicz Adam Grabowski
+ PDF Chat	Niven’s Theorem	2016	Artur Korniłowicz Adam Naumowicz
+ PDF Chat	More on Divisibility Criteria for Selected Primes	2013	Adam Naumowicz Radosław Piliszek
+ PDF Chat	Licensing the Mizar Mathematical Library	2011	Jesse Alama Michael Kohlhase Adam Naumowicz Piotr Rudnicki Josef Urban Lionel Mamane
+	Licensing the Mizar Mathematical Library	2011	Jesse Alama Michael Kohlhase Lionel Mamane Adam Naumowicz Piotr Rudnicki Josef Urban
+ PDF Chat	Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces	2011	Takao Inoué Adam Naumowicz Noboru Endou Yasunari Shidama
+ PDF Chat	Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces	2011	Takao Inoué Adam Naumowicz Noboru Endou Yasunari Shidama
+	Some Properties of Cells and Arcs	2007	Robert Milewski Andrzej Trybulec Adam Naumowicz
+	On the Representation of Natural Numbers in Positional Numeral Systems1	2006	Adam Naumowicz
+	An example of formalizing recent mathematical results in Mizar	2005	Adam Naumowicz
+	Spaces of Pencils, Grassmann Spaces, and Generalized Veronese Spaces 1	2005	Adam Naumowicz
+	Homeomorphisms of Jordan Curves	2005	Adam Naumowicz Grzegorz Bancerek
+	On the Characterization of Collineations of the Segre Product of Strongly Connected Partial Linear Spaces 1	2005	Adam Naumowicz
+	MIZAR codification of the theory of partial linear spaces as an example of formalizing recent mathematical results	2005	Adam Naumowicz
+	On Segre's product of partial line spaces and spaces of pencils	2002	Adam Naumowicz Krzysztof Prażmowski

Common Coauthors

Coauthor	Papers Together
Takao Inoué	2
Lionel Mamane	2
Josef Urban	2
Jesse Alama	2
Piotr Rudnicki	2
Yasunari Shidama	2
Artur Korniłowicz	2
Michael Kohlhase	2
Noboru Endou	2
Andrzej Trybulec	1
Robert Milewski	1
Krzysztof Prażmowski	1
Radosław Piliszek	1
Grzegorz Bancerek	1
Adam Grabowski	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Some Basic Properties of Sets	2004	Czesław Byliński	6
+	Segments of Natural Numbers and Finite Sequences	1990	Grzegorz Bancerek Krzysztof Hryniewiecki	6
+	Tarski Grothendieck Set Theory	1990	Andrzej Trybulec	5
+	Vectors in Real Linear Space	1990	Wojciech A. Trybulec	4
+	Group and Field Definitions	1990	Jozef Bia	4
+	Real Sequences and Basic Operations on Them	2004	Jarosław Kotowicz	3
+	Fundamental theorem of algebra	2003		3
+	The Stirling Numbers of the Second Kind	2013		2
+	The Continuous Functions on Normed Linear Spaces	2004	Takaya Nishiyama Keiji Ohkubo Yasunari Shidama	2
+	On Segre's product of partial line spaces and spaces of pencils	2002	Adam Naumowicz Krzysztof Prażmowski	2
+ PDF Chat	Partial Differentiation on Normed Linear Spaces Rn	2007	Noboru Endou Yasunari Shidama Keiichi Miyajima	2
+	Differentiable Functions on Normed Linear Spaces	2012	Yasunari Shidama	2
+	The Euclidean Space	1991	Agata Darmochwa	2
+	Completeness of the Real Euclidean Space	2005	Noboru Endou Yasunari Shidama	2
+	The Divisibility of Integers and Integer Relatively Primes 1	1990	Rafa l Kwiatek Grzegorz Zwara	2
+	Spaces of Pencils, Grassmann Spaces, and Generalized Veronese Spaces 1	2005	Adam Naumowicz	1
+	Subspaces and Cosets of Subspaces in Vector Space	1990	Wojciech A. Trybulec	1
+	Paracompact and Metrizable Spaces	1991	Leszek Borys	1
+	Extremal Properties of Vertices on Special Polygons, Part I	1996	Yatsuka Nakamura	1
+ PDF Chat	Epsilon Numbers and Cantor Normal Form	2009	Grzegorz Bancerek	1
+	Zermelo Theorem and Axiom of Choice	1990	Grzegorz Bancerek	1
+	Product of Family of Universal Algebras	2004	Beata Madras	1
+ PDF Chat	Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces	2010	Takao Inoué Noboru Endou Yasunari Shidama	1
+ PDF Chat	Banach Algebra of Bounded Functionals	2008	Yasunari Shidama Hikofumi Suzuki Noboru Endou	1
+	On the Characterization of Collineations of the Segre Product of Strongly Connected Partial Linear Spaces 1	2005	Adam Naumowicz	1
+	On the Representation of Natural Numbers in Positional Numeral Systems1	2006	Adam Naumowicz	1
+ PDF Chat	Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences	2008	Yatsuka Nakamura Hisashi Ito	1
+	BASIS FOR A VECTOR SPACE	2020		1
+ PDF Chat	Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials	2016	Sophie Bernard Yves Bertot Laurence Rideau Pierre-Yves Strub	1
+	Complex Valued Functions Space	2004	Noboru Endou	1
+	Formulas and Identities of Trigonometric Functions	2004	Yuzhong Ding Xiquan Liang	1
+	Some Properties of Fibonacci Numbers	2004	Adam Grabowski	1
+	Banach Algebra of Bounded Complex Linear Operators	2004	Noboru Endou	1
+ PDF Chat	The Fundamental Theorem of Algebra	2001		1
+	The Stirling Numbers of the Second Kind	2006	Khee Meng Koh Eng Guan Tay	1
+ PDF Chat	90.63 Integer roots of polynomials	2006	Jeremy D. King	1
+	Geometric Algebra	1957	Emil Artin	1
+ PDF Chat	Algebraic Numbers	2016	Yasushige Watase	1
+	The Book of Numbers	1996	John H. Conway Richard K. Guy	1
+	Convergent Sequences and the Limit of Sequences	2004	Jarosław Kotowicz	1
+	Countable Sets and Hessenberg's Theorem	1991	Grzegorz Bancerek	1
+	Abian’s Fixed Point Theorem1	2004	Piotr Rudnicki Andrzej Trybulec	1
+	Elementary Theory of Numbers	1988	Wacław Sierpiński	1
+	Simple Divisibility Rules for the 1st 1000 Prime Numbers	2000	C. C. Briggs	1
+ PDF Chat	On Better-Quasi-Ordering Countable Series-Parallel Orders	1999	Stéphan Thomassé	1
+	Formalizing a Proof that e is Transcendental	2011	Jesse Bingham	1
+	Modular Functions and Dirichlet Series in Number Theory	1990	Tom M. Apostol	1
+	On a Characterization of Grassmann Space Representing the h-Dimensional Subspaces in a Projective Space	1983	Alessandro Bichara Giovanni Tallini	1
+	Properties of fields	1991	K.M. Deck David K. Harrison	1
+	La Géométrie des Groupes Classiques	1963	Jean Dieudonné	1