Formalized Mathematics Short Title: Formaliz. Math. Publisher: De Gruyter (Sciendo), Warsaw; University of Białystok, Białystok ISSN: 1426-2630; 1898-9934/e Online: https://content.sciendo.com/view/journals/forma/forma-overview.xmlhttp://fm.mizar.org/ Comments: Journal; Indexed cover-to-cover; This journal is available open access. Documents Indexed: 322 Publications (since 2011) References Indexed: 322 Publications with 6,146 References. all top 5 Latest Issues 31, No. 1 (2023) 29, No. 4 (2021) 29, No. 3 (2021) 29, No. 2 (2021) 29, No. 1 (2021) 28, No. 2 (2020) 28, No. 1 (2020) 27, No. 4 (2020) 27, No. 3 (2020) 27, No. 2 (2019) 27, No. 1 (2019) 26, No. 4 (2018) 26, No. 3 (2018) 26, No. 2 (2018) 26, No. 1 (2018) 25, No. 4 (2017) 25, No. 3 (2017) 25, No. 2 (2017) 25, No. 1 (2017) 24, No. 4 (2016) 24, No. 3 (2016) 24, No. 2 (2016) 24, No. 1 (2016) 23, No. 4 (2015) 23, No. 3 (2015) 23, No. 2 (2015) 23, No. 1 (2015) 22, No. 4 (2014) 22, No. 3 (2014) 22, No. 2 (2014) 22, No. 1 (2014) 21, No. 4 (2013) 21, No. 3 (2013) 21, No. 2 (2013) 21, No. 1 (2013) 20, No. 4 (2012) 20, No. 3 (2012) 20, No. 2 (2012) 20, No. 1 (2012) 19, No. 4 (2011) 19, No. 3 (2011) 19, No. 2 (2011) 19, No. 1 (2011) all top 5 Authors 72 Shidama, Yasunari 45 Okazaki, Hiroyuki 35 Korniłowicz, Artur 32 Endou, Noboru 31 Coghetto, Roland 31 Grabowski, Adam 26 Futa, Yuichi 26 Pąk, Karol 25 Nakasho, Kazuhisa 18 Koch, Sebastian 17 Schwarzweller, Christoph 14 Narita, Keiko 13 Bancerek, Grzegorz 11 Watase, Yasushige 9 Yamazaki, Hiroshi 8 Ziobro, Rafał 7 Giero, Mariusz 7 Ivanov, Ievgen 7 Jaeger, Peter 7 Naumowicz, Adam 7 Nikitchenko, Mykola S. 7 Riccardi, Marco 6 Caminati, Marco Bright 5 Arai, Kenichi 5 Miyajima, Keiichi 4 Rowinska-Schwarzweller, Agnieszka 3 Kanazashi, Katuhiko 3 Kawamoto, Pauline Naomi 3 Liang, Xiquan 3 Rudnicki, Piotr 2 Acewicz, Marcin 2 Fujiwara, Hiroshi 2 Huuskonen, Taneli 2 Inoué, Takao 2 Jaszczak, Adrian 2 Koepke, Peter 2 Mitsuishi, Takashi 2 Mizushima, Daichi 2 Sawicki, Damian 2 Schlöder, Julian J. 2 Stewart, Lorna K. 2 Wasaki, Katsumi 2 Yamamoto, Hiroaki 1 Abraham, Uri 1 Adachi, Ryota 1 Alama, Jesse 1 Aoki, Yosiki 1 Arnaud, Adam S. 1 Brown, Chad Edward 1 Byliński, Czesław 1 Goliński, Maciej 1 Ishida, Kazuhisa 1 Jitsukawa, Mitsuru 1 Kato, Takahiro 1 Kobayashi, Hidetsune 1 Kryvolap, Andrii 1 Kulesza, Dominik 1 Kuśmierowski, Wojciech 1 Li, Dailu 1 Ma, Na 1 Nagao, Koh-ichi 1 Nelson, Alexander M. 1 Niewiadomska, Eliza 1 Nittka, Robin 1 Otsuki, Sora 1 Piliszek, Radosław 1 Richter, William 1 Sakurai, Hideki 1 Shah, Pratima K. 1 Shminke, Boris A. 1 Sielwiesiuk, Michał 1 Surowik, Dariusz 1 Wakabayashi, Ken 1 Watari, Hokuto all top 5 Fields 204 Mathematical logic and foundations (03-XX) 116 Computer science (68-XX) 44 Number theory (11-XX) 25 Real functions (26-XX) 22 Combinatorics (05-XX) 22 Functional analysis (46-XX) 20 Commutative algebra (13-XX) 20 Geometry (51-XX) 16 Field theory and polynomials (12-XX) 16 General topology (54-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 13 Operator theory (47-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 12 Group theory and generalizations (20-XX) 12 Measure and integration (28-XX) 11 Information and communication theory, circuits (94-XX) 9 Sequences, series, summability (40-XX) 9 Probability theory and stochastic processes (60-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Category theory; homological algebra (18-XX) 5 Manifolds and cell complexes (57-XX) 4 Algebraic geometry (14-XX) 3 General algebraic systems (08-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 Topological groups, Lie groups (22-XX) 2 Algebraic topology (55-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 205 Publications have been cited 666 times in 306 Documents Cited by ▼ Year ▼ Semantics of MML query – ordering. Zbl 1364.68157 Bancerek, Grzegorz 121 2013 Simple-named complex-valued nominative data – definition and basic operations. Zbl 1401.68200 Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur 18 2017 \(\mathbb Z\)-modules. Zbl 1276.94012 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 13 2012 Cartesian products of family of real linear spaces. Zbl 1276.46015 Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari 13 2011 Kleene algebra of partial predicates. Zbl 1401.03106 Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola 10 2018 Quotient module of \(\mathbb Z\)-module. Zbl 1364.13011 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 9 2012 Preliminaries to classical first-order model theory. Zbl 1276.03030 Caminati, Marco 9 2011 Analysis of algorithms: an example of a sort algorithm. Zbl 1296.68204 Bancerek, Grzegorz 8 2013 Set of points on elliptic curve in projective coordinates. Zbl 1276.11090 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 7 2011 More on continuous functions on normed linear spaces. Zbl 1276.46063 Okazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari 7 2011 Commutativeness of fundamental groups of topological groups. Zbl 1298.55008 Korniłowicz, Artur 6 2013 Dual spaces and Hahn-Banach theorem. Zbl 1298.46005 Narita, Keiko; Endou, Noboru; Shidama, Yasunari 6 2014 The orthogonal projection and the Riesz representation theorem. Zbl 1321.46022 Narita, Keiko; Endou, Noboru; Shidama, Yasunari 6 2015 Tarski geometry axioms. Zbl 1352.51002 Richter, William; Grabowski, Adam; Alama, Jesse 6 2014 The first isomorphism theorem and other properties of rings. Zbl 1316.13003 Korniłowicz, Artur; Schwarzweller, Christoph 6 2014 The Gödel completeness theorem for uncountable languages. Zbl 1288.03035 Schlöder, Julian J.; Koepke, Peter 6 2012 Free \(\mathbb Z\)-module. Zbl 1364.13010 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 6 2012 Riemann integral of functions from \(\mathbb R\) into real normed space. Zbl 1276.26025 Miyajima, Keiichi; Kato, Takahiro; Shidama, Yasunari 6 2011 Gaussian integers. Zbl 1298.11009 Futa, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari 5 2013 Riemann integral of functions from \(\mathbb{R}\) into real Banach space. Zbl 1298.26030 Narita, Keiko; Endou, Noboru; Shidama, Yasunari 5 2013 Event-based proof of the mutual exclusion property of Peterson’s algorithm. Zbl 1334.68030 Ivanov, Ievgen; Nikitchenko, Mykola; Abraham, Uri 5 2015 Topological properties of real normed space. Zbl 1311.46016 Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari 5 2014 The formal construction of fuzzy numbers. Zbl 1316.03030 Grabowski, Adam 5 2014 Random variables and product of probability spaces. Zbl 1281.60006 Okazaki, Hiroyuki; Shidama, Yasunari 5 2013 Relational formal characterization of rough sets. Zbl 1286.68428 Grabowski, Adam 5 2013 First order languages: further syntax and semantics. Zbl 1276.03032 Caminati, Marco 5 2011 Implicit function theorem. I. Zbl 1401.26024 Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari 5 2017 The Matiyasevich theorem. Preliminaries. Zbl 1401.11073 Pak, Karol 5 2017 Klein-Beltrami model. I. Zbl 1401.51001 Coghetto, Roland 5 2018 About supergraphs. I. Zbl 1422.05089 Koch, Sebastian 5 2018 Convergent filter bases. Zbl 1321.54006 Coghetto, Roland 4 2015 Fermat’s little theorem via divisibility of Newton’s binomial. Zbl 1321.11006 Ziobro, Rafał 4 2015 Binary relations-based rough sets – an automated approach. Zbl 1352.03057 Grabowski, Adam 4 2016 Proth numbers. Zbl 1352.11010 Schwarzweller, Christoph 4 2014 Topological manifolds. Zbl 1352.57030 Pąk, Karol 4 2014 On roots of polynomials and algebraically closed fields. Zbl 1381.13004 Schwarzweller, Christoph 4 2017 Pell’s equation. Zbl 1381.11022 Acewicz, Marcin; Pąk, Karol 4 2017 Homography in \(\mathbb{R}\mathbb{P}^2\). Zbl 1357.51021 Coghetto, Roland 4 2016 Formalization of the data encryption standard. Zbl 1288.94079 Okazaki, Hiroyuki; Shidama, Yasunari 4 2012 Free term algebras. Zbl 1296.68085 Bancerek, Grzegorz 4 2012 More on the continuity of real functions. Zbl 1276.26006 Narita, Keiko; Kornilowicz, Artur; Shidama, Yasunari 4 2011 Elementary introduction to stochastic finance in discrete time. Zbl 1276.91103 Jaeger, Peter 4 2012 Differentiable functions on normed linear spaces. Zbl 1276.26036 Shidama, Yasunari 4 2012 Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces. Zbl 1276.26033 Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari 4 2011 The definition of topological manifolds. Zbl 1276.57023 Riccardi, Marco 4 2011 Differentiable functions into real normed spaces. Zbl 1276.26035 Okazaki, Hiroyuki; Endou, Noboru; Narita, Keiko; Shidama, Yasunari 4 2011 Linear transformations of Euclidean topological spaces. Zbl 1276.15002 Pąk, Karol 4 2011 The axiomatization of propositional linear time temporal logic. Zbl 1276.03018 Giero, Mariusz 4 2011 Klein-Beltrami model. II. Zbl 1401.51002 Coghetto, Roland 4 2018 Diophantine sets. Preliminaries. Zbl 1401.11074 Pąk, Karol 4 2018 Double sequences and limits. Zbl 1298.40003 Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari 3 2013 Introduction to formal preference spaces. Zbl 1299.91036 Niewiadomska, Eliza; Grabowski, Adam 3 2013 Submodule of free \(\mathbb Z\)-module. Zbl 1298.13013 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 3 2013 Double series and sums. Zbl 1298.40002 Endou, Noboru 3 2014 Tarski geometry axioms. II. Zbl 1352.51001 Coghetto, Roland; Grabowski, Adam 3 2016 Basic formal properties of triangular norms and conorms. Zbl 1377.03040 Grabowski, Adam 3 2017 Basel problem – preliminaries. Zbl 1377.11092 Korniłowicz, Artur; Pąk, Karol 3 2017 Formal introduction to fuzzy implications. Zbl 1379.03006 Grabowski, Adam 3 2017 Characteristic of rings. Prime fields. Zbl 1334.13003 Schwarzweller, Christoph; Korniłowicz, Artur 3 2015 Fubini’s theorem on measure. Zbl 1365.28001 Endou, Noboru 3 2017 Group of homography in real projective plane. Zbl 1365.51014 Coghetto, Roland 3 2017 Riemann-Stieltjes integral. Zbl 1357.26015 Narita, Keiko; Nakasho, Kazuhisa; Shidama, Yasunari 3 2016 Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module. Zbl 1316.13012 Futa, Yuichi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari 3 2014 Definition and properties of direct sum decomposition of groups. Zbl 1317.20035 Nakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari 3 2015 Matrix of \(\mathbb{Z}\)-module. Zbl 1317.11037 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 3 2015 Product pre-measure. Zbl 1343.28001 Endou, Noboru 3 2016 Banach’s continuous inverse theorem and closed graph theorem. Zbl 1283.46004 Sakurai, Hideki; Okazaki, Hiroyuki; Shidama, Yasunari 3 2012 A test for the stability of networks. Zbl 1293.30016 Rowinska-Schwarzweller, Agnieszka; Schwarzweller, Christoph 3 2013 Continuity of barycentric coordinates in Euclidean topological spaces. Zbl 1276.57020 Pąk, Karol 3 2011 Brouwer fixed point theorem in the general case. Zbl 1276.54037 Pąk, Karol 3 2011 Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms. Zbl 1276.03031 Caminati, Marco 3 2011 Operations of points on elliptic curve in projective coordinates. Zbl 1276.11200 Futa, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari 3 2012 Veblen hierarchy. Zbl 1276.03044 Bancerek, Grzegorz 3 2011 Miscellaneous graph preliminaries. Zbl 1466.68079 Koch, Sebastian 3 2020 Field extensions and Kronecker’s construction. Zbl 1433.68584 Schwarzweller, Christoph 3 2020 About graph mappings. Zbl 1433.68581 Koch, Sebastian 3 2020 On algebras of algorithms and specifications over uninterpreted data. Zbl 1422.68033 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 3 2018 On an algorithmic algebra over simple-named complex-valued nominative data. Zbl 1422.68034 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 3 2018 An inference system of an extension of Floyd-Hoare logic for partial predicates. Zbl 1422.03059 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 3 2018 Basic Diophantine relations. Zbl 1422.11066 Acewicz, Marcin; Pąk, Karol 3 2018 Formalizing two generalized approximation operators. Zbl 1422.68222 Grabowski, Adam; Sielwiesiuk, Michał 3 2018 On square-free numbers. Zbl 1298.11008 Grabowski, Adam 2 2013 Object-free definition of categories. Zbl 1298.18001 Riccardi, Marco 2 2013 Prime filters and ideals in distributive lattices. Zbl 1298.06003 Grabowski, Adam 2 2013 Tietze extension theorem for \(n\)-dimensional spaces. Zbl 1298.54003 Pąk, Karol 2 2014 Brouwer invariance of domain theorem. Zbl 1298.54004 Pąk, Karol 2 2014 Pascal’s theorem in real projective plane. Zbl 1377.51003 Coghetto, Roland 2 2017 Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module. Zbl 1311.13009 Nakasho, Kazuhisa; Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 2 2014 Algebraic numbers. Zbl 1357.11107 Watase, Yasushige 2 2016 Some algebraic properties of polynomial rings. Zbl 1357.12006 Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka 2 2016 Bidual spaces and reflexivity of real normed spaces. Zbl 1316.46014 Narita, Keiko; Endou, Noboru; Shidama, Yasunari 2 2014 Some facts about trigonometry and Euclidean geometry. Zbl 1316.51006 Coghetto, Roland 2 2014 \(\sigma\)-ring and \(\sigma\)-algebra of sets. Zbl 1317.28001 Endou, Noboru; Nakasho, Kazuhisa; Shidama, Yasunari 2 2015 Flexary operations. Zbl 1318.05011 Pąk, Karol 2 2015 Miscellaneous graph preliminaries. I. Zbl 1473.68208 Koch, Sebastian 2 2021 On roots of polynomials over \(F[X]/<p>\). Zbl 1432.68544 Schwarzweller, Christoph 2 2019 Diophantine sets. II. Zbl 1432.68542 Pąk, Karol 2 2019 Formalization of the MRDP theorem in the Mizar system. Zbl 1432.68543 Pąk, Karol 2 2019 Fubini’s theorem. Zbl 1422.28002 Endou, Noboru 2 2019 Modelling real world using stochastic processes and filtration. Zbl 1343.60036 Jaeger, Peter 2 2016 Miscellaneous graph preliminaries. I. Zbl 1473.68208 Koch, Sebastian 2 2021 Improper integral. I. Zbl 1494.68298 Endou, Noboru 2 2021 Prime representing polynomial. Zbl 1494.68304 Pąk, Karol 2 2021 About graph sums. Zbl 1494.68300 Koch, Sebastian 2 2021 Functional space consisted by continuous functions on topological space. Zbl 1473.68213 Yamazaki, Hiroshi; Miyajima, Keiichi; Shidama, Yasunari 1 2021 Elementary number theory problems. II. Zbl 1473.68209 Korniłowicz, Artur; Surowik, Dariusz 1 2021 Relationship between the Riemann and Lebesgue integrals. Zbl 1494.68297 Endou, Noboru 1 2021 Improper integral. II. Zbl 1494.68299 Endou, Noboru 1 2021 On weakly associative lattices and near lattices. Zbl 1483.68493 Sawicki, Damian; Grabowski, Adam 1 2021 Some properties of membership functions composed of triangle functions and piecewise linear functions. Zbl 1483.68491 Mitsuishi, Takashi 1 2021 Real vector space and related notions. Zbl 1483.68492 Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari 1 2021 Miscellaneous graph preliminaries. Zbl 1466.68079 Koch, Sebastian 3 2020 Field extensions and Kronecker’s construction. Zbl 1433.68584 Schwarzweller, Christoph 3 2020 About graph mappings. Zbl 1433.68581 Koch, Sebastian 3 2020 Reconstruction of the one-dimensional Lebesgue measure. Zbl 1462.68224 Endou, Noboru 2 2020 Underlying simple graphs. Zbl 1433.68580 Koch, Sebastian 2 2020 Formalization of quasilattices. Zbl 1496.68375 Kulesza, Dominik; Grabowski, Adam 2 2020 About graph complements. Zbl 1462.68228 Koch, Sebastian 1 2020 Elementary number theory problems. I. Zbl 1462.68229 Naumowicz, Adam 1 2020 On fuzzy negations generated by fuzzy implications. Zbl 1462.68227 Grabowski, Adam 1 2020 Formal development of rough inclusion functions. Zbl 1433.68577 Grabowski, Adam 1 2020 Renamings and a condition-free formalization of Kronecker’s construction. Zbl 07488865 Schwarzweller, Christoph 1 2020 About graph unions and intersections. Zbl 07488867 Koch, Sebastian 1 2020 Grothendieck universes. Zbl 07488871 Pąk, Karol 1 2020 On roots of polynomials over \(F[X]/<p>\). Zbl 1432.68544 Schwarzweller, Christoph 2 2019 Diophantine sets. II. Zbl 1432.68542 Pąk, Karol 2 2019 Formalization of the MRDP theorem in the Mizar system. Zbl 1432.68543 Pąk, Karol 2 2019 Fubini’s theorem. Zbl 1422.28002 Endou, Noboru 2 2019 Invertible operators on Banach spaces. Zbl 1432.68540 Nakasho, Kazuhisa 1 2019 Implicit function theorem. II. Zbl 1432.68541 Nakasho, Kazuhisa; Shidama, Yasunari 1 2019 On monomorphisms and subfields. Zbl 1432.68545 Schwarzweller, Christoph 1 2019 About supergraphs. III. Zbl 1432.68538 Koch, Sebastian 1 2019 Partial correctness of a factorial algorithm. Zbl 1432.68536 Jaszczak, Adrian; Korniłowicz, Artur 1 2019 Partial correctness of a power algorithm. Zbl 1432.68535 Jaszczak, Adrian 1 2019 Bilinear operators on normed linear spaces. Zbl 1422.47005 Nakasho, Kazuhisa 1 2019 A simple example for linear partial differential equations and its solution using the method of separation of variables. Zbl 1422.35003 Otsuki, Sora; Kawamoto, Pauline N.; Yamazaki, Hiroshi 1 2019 Kleene algebra of partial predicates. Zbl 1401.03106 Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola 10 2018 Klein-Beltrami model. I. Zbl 1401.51001 Coghetto, Roland 5 2018 About supergraphs. I. Zbl 1422.05089 Koch, Sebastian 5 2018 Klein-Beltrami model. II. Zbl 1401.51002 Coghetto, Roland 4 2018 Diophantine sets. Preliminaries. Zbl 1401.11074 Pąk, Karol 4 2018 On algebras of algorithms and specifications over uninterpreted data. Zbl 1422.68033 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 3 2018 On an algorithmic algebra over simple-named complex-valued nominative data. Zbl 1422.68034 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 3 2018 An inference system of an extension of Floyd-Hoare logic for partial predicates. Zbl 1422.03059 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 3 2018 Basic Diophantine relations. Zbl 1422.11066 Acewicz, Marcin; Pąk, Karol 3 2018 Formalizing two generalized approximation operators. Zbl 1422.68222 Grabowski, Adam; Sielwiesiuk, Michał 3 2018 About supergraphs. II. Zbl 1422.05090 Koch, Sebastian 2 2018 Partial correctness of GCD algorithm. Zbl 1422.11240 Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola 2 2018 On two alternative axiomatizations of lattices by McKenzie and Sholander. Zbl 1422.06002 Grabowski, Adam; Sawicki, Damian 2 2018 Fundamental properties of fuzzy implications. Zbl 1422.03045 Grabowski, Adam 2 2018 Fubini’s theorem for non-negative or non-positive functions. Zbl 1401.28007 Endou, Noboru 1 2018 Zariski topology. Zbl 1422.13005 Watase, Yasushige 1 2018 Simple-named complex-valued nominative data – definition and basic operations. Zbl 1401.68200 Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur 18 2017 Implicit function theorem. I. Zbl 1401.26024 Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari 5 2017 The Matiyasevich theorem. Preliminaries. Zbl 1401.11073 Pak, Karol 5 2017 On roots of polynomials and algebraically closed fields. Zbl 1381.13004 Schwarzweller, Christoph 4 2017 Pell’s equation. Zbl 1381.11022 Acewicz, Marcin; Pąk, Karol 4 2017 Basic formal properties of triangular norms and conorms. Zbl 1377.03040 Grabowski, Adam 3 2017 Basel problem – preliminaries. Zbl 1377.11092 Korniłowicz, Artur; Pąk, Karol 3 2017 Formal introduction to fuzzy implications. Zbl 1379.03006 Grabowski, Adam 3 2017 Fubini’s theorem on measure. Zbl 1365.28001 Endou, Noboru 3 2017 Group of homography in real projective plane. Zbl 1365.51014 Coghetto, Roland 3 2017 Pascal’s theorem in real projective plane. Zbl 1377.51003 Coghetto, Roland 2 2017 Introduction to stopping time in stochastic finance theory. Zbl 1377.60055 Jaeger, Peter 1 2017 Basel problem. Zbl 1377.11095 Pąk, Karol; Korniłowicz, Artur 1 2017 Integral of non positive functions. Zbl 1381.26010 Endou, Noboru 1 2017 Differentiability of polynomials over reals. Zbl 1365.26003 Korniłowicz, Artur 1 2017 Introduction to Liouville numbers. Zbl 1365.11090 Grabowski, Adam; Korniłowicz, Artur 1 2017 Ordered rings and fields. Zbl 1365.12006 Schwarzweller, Christoph 1 2017 Embedded lattice and properties of Gram matrix. Zbl 1365.13015 Futa, Yuichi; Shidama, Yasunari 1 2017 Formally real fields. Zbl 1401.12003 Schwarzweller, Christoph 1 2017 Tarski geometry axioms. III. Zbl 1401.51003 Coghetto, Roland; Grabowski, Adam 1 2017 Binary relations-based rough sets – an automated approach. Zbl 1352.03057 Grabowski, Adam 4 2016 Homography in \(\mathbb{R}\mathbb{P}^2\). Zbl 1357.51021 Coghetto, Roland 4 2016 Tarski geometry axioms. II. Zbl 1352.51001 Coghetto, Roland; Grabowski, Adam 3 2016 Riemann-Stieltjes integral. Zbl 1357.26015 Narita, Keiko; Nakasho, Kazuhisa; Shidama, Yasunari 3 2016 Product pre-measure. Zbl 1343.28001 Endou, Noboru 3 2016 Algebraic numbers. Zbl 1357.11107 Watase, Yasushige 2 2016 Some algebraic properties of polynomial rings. Zbl 1357.12006 Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka 2 2016 Modelling real world using stochastic processes and filtration. Zbl 1343.60036 Jaeger, Peter 2 2016 Circumcenter, circumcircle and centroid of a triangle. Zbl 1343.51008 Coghetto, Roland 2 2016 Divisible \(\mathbb{Z}\)-modules. Zbl 1343.13014 Futa, Yuichi; Shidama, Yasunari 2 2016 Lattice of \(\mathbb{Z}\)-module. Zbl 1343.13017 Futa, Yuichi; Shidama, Yasunari 2 2016 Cousin’s Lemma. Zbl 1352.54020 Coghetto, Roland 1 2016 Chebyshev distance. Zbl 1352.54016 Coghetto, Roland 1 2016 The basic existence theorem of Riemann-Stieltjes integral. Zbl 1357.26014 Nakasho, Kazuhisa; Narita, Keiko; Shidama, Yasunari 1 2016 The axiomatization of propositional logic. Zbl 1357.03036 Giero, Mariusz 1 2016 Prime factorization of sums and differences of two like powers. Zbl 1357.11011 Ziobro, Rafał 1 2016 The orthogonal projection and the Riesz representation theorem. Zbl 1321.46022 Narita, Keiko; Endou, Noboru; Shidama, Yasunari 6 2015 Event-based proof of the mutual exclusion property of Peterson’s algorithm. Zbl 1334.68030 Ivanov, Ievgen; Nikitchenko, Mykola; Abraham, Uri 5 2015 Convergent filter bases. Zbl 1321.54006 Coghetto, Roland 4 2015 Fermat’s little theorem via divisibility of Newton’s binomial. Zbl 1321.11006 Ziobro, Rafał 4 2015 Characteristic of rings. Prime fields. Zbl 1334.13003 Schwarzweller, Christoph; Korniłowicz, Artur 3 2015 Definition and properties of direct sum decomposition of groups. Zbl 1317.20035 Nakasho, Kazuhisa; Yamazaki, Hiroshi; Okazaki, Hiroyuki; Shidama, Yasunari 3 2015 Matrix of \(\mathbb{Z}\)-module. Zbl 1317.11037 Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari 3 2015 \(\sigma\)-ring and \(\sigma\)-algebra of sets. Zbl 1317.28001 Endou, Noboru; Nakasho, Kazuhisa; Shidama, Yasunari 2 2015 Flexary operations. Zbl 1318.05011 Pąk, Karol 2 2015 Polish notation. Zbl 1321.03053 Huuskonen, Taneli 1 2015 Polynomially bounded sequences and polynomial sequences. Zbl 1321.68276 Okazaki, Hiroyuki; Futa, Yuichi 1 2015 Extended real-valued double sequence and its convergence. Zbl 1321.40001 Endou, Noboru 1 2015 ...and 105 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 135 Authors 66 Shidama, Yasunari 40 Okazaki, Hiroyuki 30 Korniłowicz, Artur 29 Grabowski, Adam 28 Endou, Noboru 28 Pąk, Karol 26 Futa, Yuichi 25 Coghetto, Roland 23 Nakasho, Kazuhisa 14 Koch, Sebastian 14 Narita, Keiko 12 Schwarzweller, Christoph 11 Bancerek, Grzegorz 10 Watase, Yasushige 8 Nikitchenko, Mykola S. 7 Caminati, Marco Bright 7 Giero, Mariusz 7 Ivanov, Ievgen 7 Jaeger, Peter 7 Yamazaki, Hiroshi 6 Ziobro, Rafał 5 Arai, Kenichi 5 Naumowicz, Adam 5 Riccardi, Marco 4 Mitsuishi, Takashi 4 Miyajima, Keiichi 3 Kaliszyk, Cezary 3 Kawamoto, Pauline Naomi 3 Rudnicki, Piotr 3 Schlichtkrull, Anders 2 Boldo, Sylvie 2 Boutry, Pierre 2 Brown, Chad Edward 2 Clément, François 2 Forster, Yannick 2 Huuskonen, Taneli 2 Jaszczak, Adrian 2 Kanazashi, Katuhiko 2 Larchey-Wendling, Dominique 2 Liang, Xiquan 2 Martin, Vincent 2 Mayero, Micaela 2 Mizushima, Daichi 2 Rowinska-Schwarzweller, Agnieszka 2 Stewart, Lorna K. 1 Acewicz, Marcin 1 Adachi, Ryota 1 Affeldt, Reynald 1 Alechina, Natasha 1 Aoki, Yosiki 1 Avelar, Andréia Borges 1 Ayala-Rincón, Mauricio 1 Baanen, Anne 1 Bayer, Jonas 1 Bilotta, Eleonora 1 Blanchette, Jasmin Christian 1 Braun, Gabriel 1 C. K., Honnegowda. 1 Carl, Merlin 1 Chentsov, Alekseĭ Aleksandrovich 1 Cohen, Cyril 1 Cohn, Anthony G. 1 Dahmen, Sander R. 1 David, Marco 1 de Lima, Thaynara Arielly 1 de Vilhena, Paulo Emílio 1 Deniz, Elif 1 Di Blasi, Gianpiero 1 Du, Heshan 1 Faissole, Florian 1 Farjudian, Amin 1 Fujiwara, Hiroshi 1 Galdino, André Luiz 1 Goliński, Maciej 1 Hasan, Osman 1 Hilberdink, Titus W. 1 Iancu, Mihnea 1 Inoué, Takao 1 Ishida, Kazuhisa 1 Jensen, Alexander Birch 1 Jitsukawa, Mitsuru 1 Kato, Takahiro 1 Kobayashi, Hidetsune 1 Koepke, Peter 1 Kohlhase, Michael 1 Kryvolap, Andrii 1 Kulesza, Dominik 1 Kuśmierowski, Wojciech 1 Larsen, John Bruntse 1 Li, Dailu 1 Liu, Guilong 1 Logan, Brian 1 Ma, Na 1 Marić, Filip 1 Michaelis, Julius 1 Mouhcine, Houda 1 Nagao, Koh-ichi 1 Narayanan, Ashvni 1 Narboux, Julien 1 Nelson, Alexander M. ...and 35 more Authors all top 5 Cited in 15 Journals 264 Formalized Mathematics 14 Journal of Automated Reasoning 1 Journal of Symbolic Computation 1 International Journal of Approximate Reasoning 1 AI Communications 1 Linear Algebra and its Applications 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 The Journal of Artificial Intelligence Research (JAIR) 1 Computer Science Journal of Moldova 1 Journal of Combinatorial Optimization 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 Logica Universalis 1 Logical Methods in Computer Science 1 Palestine Journal of Mathematics all top 5 Cited in 38 Fields 188 Mathematical logic and foundations (03-XX) 127 Computer science (68-XX) 42 Number theory (11-XX) 24 Real functions (26-XX) 21 Combinatorics (05-XX) 21 Commutative algebra (13-XX) 16 Geometry (51-XX) 15 Functional analysis (46-XX) 14 Group theory and generalizations (20-XX) 14 General topology (54-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 11 Field theory and polynomials (12-XX) 11 Measure and integration (28-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 10 Operator theory (47-XX) 10 Information and communication theory, circuits (94-XX) 9 Probability theory and stochastic processes (60-XX) 8 Sequences, series, summability (40-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Algebraic geometry (14-XX) 4 Manifolds and cell complexes (57-XX) 3 Category theory; homological algebra (18-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Associative rings and algebras (16-XX) 2 Topological groups, Lie groups (22-XX) 2 Ordinary differential equations (34-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Algebraic topology (55-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Citations by Year