×

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.xml
http://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

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

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 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 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