default search action
Search dblp for Publications
export results for "stream:journals/fm:"
@article{DBLP:journals/fm/EndouS24, author = {Noboru Endou and Yasunari Shidama}, title = {Integral of Continuous Three Variable Functions}, journal = {Formaliz. Math.}, volume = {32}, number = {1}, pages = {9--31}, year = {2024}, url = {https://doi.org/10.2478/forma-2024-0002}, doi = {10.2478/FORMA-2024-0002}, timestamp = {Thu, 19 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/EndouS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczZ24, author = {Artur Kornilowicz and Rafal Ziobro}, title = {Elementary Number Theory Problems. Part {XIII}}, journal = {Formaliz. Math.}, volume = {32}, number = {1}, pages = {1--8}, year = {2024}, url = {https://doi.org/10.2478/forma-2024-0001}, doi = {10.2478/FORMA-2024-0001}, timestamp = {Thu, 19 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller24, author = {Christoph Schwarzweller}, title = {Separable Polynomials and Separable Extensions}, journal = {Formaliz. Math.}, volume = {32}, number = {1}, pages = {33--46}, year = {2024}, url = {https://doi.org/10.2478/forma-2024-0003}, doi = {10.2478/FORMA-2024-0003}, timestamp = {Thu, 19 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou23, author = {Noboru Endou}, title = {Differentiation on Interval}, journal = {Formaliz. Math.}, volume = {31}, number = {1}, pages = {9--21}, year = {2023}, url = {https://doi.org/10.2478/forma-2023-0002}, doi = {10.2478/FORMA-2023-0002}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch23, author = {Sebastian Koch}, title = {Introduction to Graph Enumerations}, journal = {Formaliz. Math.}, volume = {31}, number = {1}, pages = {31--52}, year = {2023}, url = {https://doi.org/10.2478/forma-2023-0004}, doi = {10.2478/FORMA-2023-0004}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz23, author = {Artur Kornilowicz}, title = {Elementary Number Theory Problems. Part {VII}}, journal = {Formaliz. Math.}, volume = {31}, number = {1}, pages = {23--29}, year = {2023}, url = {https://doi.org/10.2478/forma-2023-0003}, doi = {10.2478/FORMA-2023-0003}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Mitsuishi23, author = {Takashi Mitsuishi}, title = {Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method}, journal = {Formaliz. Math.}, volume = {31}, number = {1}, pages = {59--66}, year = {2023}, url = {https://doi.org/10.2478/forma-2023-0006}, doi = {10.2478/FORMA-2023-0006}, timestamp = {Wed, 04 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Mitsuishi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Okazaki23, author = {Hiroyuki Okazaki}, title = {On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors}, journal = {Formaliz. Math.}, volume = {31}, number = {1}, pages = {53--57}, year = {2023}, url = {https://doi.org/10.2478/forma-2023-0005}, doi = {10.2478/FORMA-2023-0005}, timestamp = {Wed, 04 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Okazaki23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase23, author = {Yasushige Watase}, title = {On Bag of 1. Part {I}}, journal = {Formaliz. Math.}, volume = {31}, number = {1}, pages = {1--8}, year = {2023}, url = {https://doi.org/10.2478/forma-2023-0001}, doi = {10.2478/FORMA-2023-0001}, timestamp = {Wed, 04 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Watase23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Carneiro22, author = {Mario Carneiro}, title = {The Divergence of the Sum of Prime Reciprocals}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {209--210}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0015}, doi = {10.2478/FORMA-2022-0015}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Carneiro22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto22, author = {Roland Coghetto}, title = {Non-Trivial Universes and Sequences of Universes}, journal = {Formaliz. Math.}, volume = {30}, number = {1}, pages = {53--66}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0005}, doi = {10.2478/FORMA-2022-0005}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou22, author = {Noboru Endou}, title = {Absolutely Integrable Functions}, journal = {Formaliz. Math.}, volume = {30}, number = {1}, pages = {31--52}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0004}, doi = {10.2478/FORMA-2022-0004}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Endou22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski22, author = {Adam Grabowski}, title = {Elementary Number Theory Problems. Part {VI}}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {235--244}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0019}, doi = {10.2478/FORMA-2022-0019}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/InoueH22, author = {Takao Inou{\'{e}} and Riku Hanaoka}, title = {Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part {II}}, journal = {Formaliz. Math.}, volume = {30}, number = {1}, pages = {1--12}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0001}, doi = {10.2478/FORMA-2022-0001}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/InoueH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch22, author = {Sebastian Koch}, title = {Introduction to Graph Colorings}, journal = {Formaliz. Math.}, volume = {30}, number = {2}, pages = {99--124}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0009}, doi = {10.2478/FORMA-2022-0009}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz22, author = {Artur Kornilowicz}, title = {Elementary Number Theory Problems. Part {III}}, journal = {Formaliz. Math.}, volume = {30}, number = {2}, pages = {135--158}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0011}, doi = {10.2478/FORMA-2022-0011}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz22a, author = {Artur Kornilowicz}, title = {Elementary Number Theory Problems. Part {IV}}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {223--228}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0017}, doi = {10.2478/FORMA-2022-0017}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczN22, author = {Artur Kornilowicz and Adam Naumowicz}, title = {Elementary Number Theory Problems. Part {V}}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {229--234}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0018}, doi = {10.2478/FORMA-2022-0018}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Mitsuishi22, author = {Takashi Mitsuishi}, title = {Definition of Centroid Method as Defuzzification}, journal = {Formaliz. Math.}, volume = {30}, number = {2}, pages = {125--134}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0010}, doi = {10.2478/FORMA-2022-0010}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Mitsuishi22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaY22, author = {Keiichi Miyajima and Hiroshi Yamazaki}, title = {Compactness of Neural Networks}, journal = {Formaliz. Math.}, volume = {30}, number = {1}, pages = {13--21}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0002}, doi = {10.2478/FORMA-2022-0002}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nakasho22, author = {Kazuhisa Nakasho}, title = {Transformation Tools for Real Linear Spaces}, journal = {Formaliz. Math.}, volume = {30}, number = {2}, pages = {93--98}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0008}, doi = {10.2478/FORMA-2022-0008}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Nakasho22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoF22, author = {Kazuhisa Nakasho and Yuichi Futa}, title = {Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces}, journal = {Formaliz. Math.}, volume = {30}, number = {1}, pages = {67--77}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0006}, doi = {10.2478/FORMA-2022-0006}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NakashoF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoS22, author = {Kazuhisa Nakasho and Yasunari Shidama}, title = {On Implicit and Inverse Function Theorems on Euclidean Spaces}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {159--168}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0012}, doi = {10.2478/FORMA-2022-0012}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nelson22, author = {Alexander M. Nelson}, title = {Characteristic Subgroups}, journal = {Formaliz. Math.}, volume = {30}, number = {2}, pages = {79--91}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0007}, doi = {10.2478/FORMA-2022-0007}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Nelson22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Okazaki22, author = {Hiroyuki Okazaki}, title = {Formalization of Orthogonal Decomposition for Hilbert Spaces}, journal = {Formaliz. Math.}, volume = {30}, number = {4}, pages = {295--299}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0023}, doi = {10.2478/FORMA-2022-0023}, timestamp = {Wed, 01 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Okazaki22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak22, author = {Karol Pak}, title = {Prime Representing Polynomial with 10 Unknowns - Introduction}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {169--198}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0013}, doi = {10.2478/FORMA-2022-0013}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak22a, author = {Karol Pak}, title = {Prime Representing Polynomial with 10 Unknowns - Introduction. Part {II}}, journal = {Formaliz. Math.}, volume = {30}, number = {4}, pages = {245--253}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0020}, doi = {10.2478/FORMA-2022-0020}, timestamp = {Sat, 11 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak22b, author = {Karol Pak}, title = {Prime Representing Polynomial with 10 Unknowns}, journal = {Formaliz. Math.}, volume = {30}, number = {4}, pages = {255--279}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0021}, doi = {10.2478/FORMA-2022-0021}, timestamp = {Sat, 11 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak22b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller22, author = {Christoph Schwarzweller}, title = {Artin's Theorem Towards the Existence of Algebraic Closures}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {199--207}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0014}, doi = {10.2478/FORMA-2022-0014}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller22a, author = {Christoph Schwarzweller}, title = {Existence and Uniqueness of Algebraic Closures}, journal = {Formaliz. Math.}, volume = {30}, number = {4}, pages = {281--294}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0022}, doi = {10.2478/FORMA-2022-0022}, timestamp = {Sat, 11 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchwarzwellerB22, author = {Christoph Schwarzweller and Sara Burgoa}, title = {Splitting Fields for the Rational Polynomials X\({}^{\mbox{2}}\)-2, X\({}^{\mbox{2}}\)+X+1, X\({}^{\mbox{3}}\)-1, and X\({}^{\mbox{3}}\)-2}, journal = {Formaliz. Math.}, volume = {30}, number = {1}, pages = {23--30}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0003}, doi = {10.2478/FORMA-2022-0003}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/SchwarzwellerB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase22, author = {Yasushige Watase}, title = {Ring of Endomorphisms and Modules over a Ring}, journal = {Formaliz. Math.}, volume = {30}, number = {3}, pages = {211--221}, year = {2022}, url = {https://doi.org/10.2478/forma-2022-0016}, doi = {10.2478/FORMA-2022-0016}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto21, author = {Roland Coghetto}, title = {Pappus's Hexagon Theorem in Real Projective PlaneThis work has been supported by the "Centre autonome de formation et de recherche en math{\'{e}}matiques et sciences avec assistants de preuve" {ASBL} (non-profit organization). Enterprise number: 0777.779.751. Belgium}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {69--76}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0007}, doi = {10.2478/FORMA-2021-0007}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto21a, author = {Roland Coghetto}, title = {Duality Notions in Real Projective Plane}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {161--173}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0016}, doi = {10.2478/FORMA-2021-0016}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou21, author = {Noboru Endou}, title = {Relationship between the Riemann and Lebesgue Integrals}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {185--199}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0018}, doi = {10.2478/FORMA-2021-0018}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou21a, author = {Noboru Endou}, title = {Improper Integral. Part {I}}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {201--220}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0019}, doi = {10.2478/FORMA-2021-0019}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou21b, author = {Noboru Endou}, title = {Improper Integral. Part {II}}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {279--294}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0024}, doi = {10.2478/FORMA-2021-0024}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou21b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FujiwaraAY21, author = {Hiroshi Fujiwara and Ryota Adachi and Hiroaki Yamamoto}, title = {Algorithm NextFit for the Bin Packing ProblemThis work was supported by {JSPS} {KAKENHI} Grant Numbers JP20K11689, JP20K11676, JP16K00033, JP17K00013, JP20K11808, and {JP17K00183}}, journal = {Formaliz. Math.}, volume = {29}, number = {3}, pages = {141--151}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0014}, doi = {10.2478/FORMA-2021-0014}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/FujiwaraAY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch21, author = {Sebastian Koch}, title = {Miscellaneous Graph Preliminaries. Part {I}}, journal = {Formaliz. Math.}, volume = {29}, number = {1}, pages = {21--38}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0003}, doi = {10.2478/FORMA-2021-0003}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch21a, author = {Sebastian Koch}, title = {About Graph Sums}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {249--278}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0023}, doi = {10.2478/FORMA-2021-0023}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczS21, author = {Artur Kornilowicz and Dariusz Surowik}, title = {Elementary Number Theory Problems. Part {II}}, journal = {Formaliz. Math.}, volume = {29}, number = {1}, pages = {63--68}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0006}, doi = {10.2478/FORMA-2021-0006}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KusmierowskiG21, author = {Wojciech Kusmierowski and Adam Grabowski}, title = {Automatization of Ternary Boolean Algebras}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {153--159}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0015}, doi = {10.2478/FORMA-2021-0015}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KusmierowskiG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Mitsuishi21, author = {Takashi Mitsuishi}, title = {Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear FunctionsThis work has been partially supported in 2019-2020 by the domestic research grant of University of Marketing and Distribution Sciences in Kobe (Japan)}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {103--115}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0011}, doi = {10.2478/FORMA-2021-0011}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Mitsuishi21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoF21, author = {Kazuhisa Nakasho and Yuichi Futa}, title = {Inverse Function Theorem. Part {I1}}, journal = {Formaliz. Math.}, volume = {29}, number = {1}, pages = {9--19}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0002}, doi = {10.2478/FORMA-2021-0002}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NakashoF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoOS21, author = {Kazuhisa Nakasho and Hiroyuki Okazaki and Yasunari Shidama}, title = {Real Vector Space and Related NotionsThis study was supported in part by {JSPS} {KAKENHI} Grant Numbers 17K00182 and 20K19863}, journal = {Formaliz. Math.}, volume = {29}, number = {3}, pages = {117--127}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0012}, doi = {10.2478/FORMA-2021-0012}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NakashoOS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoOS21a, author = {Kazuhisa Nakasho and Hiroyuki Okazaki and Yasunari Shidama}, title = {Finite Dimensional Real Normed Spaces are Proper Metric Spaces}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {175--184}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0017}, doi = {10.2478/FORMA-2021-0017}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoOS21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiN21, author = {Hiroyuki Okazaki and Kazuhisa Nakasho}, title = {The 3-Fold Product Space of Real Normed Spaces and its Properties}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {241--248}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0022}, doi = {10.2478/FORMA-2021-0022}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak21, author = {Karol Pak}, title = {Prime Representing Polynomial}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {221--228}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0020}, doi = {10.2478/FORMA-2021-0020}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SawickiG21, author = {Damian Sawicki and Adam Grabowski}, title = {On Weakly Associative Lattices and Near Lattices}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {77--85}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0008}, doi = {10.2478/FORMA-2021-0008}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/SawickiG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller21, author = {Christoph Schwarzweller}, title = {Splitting Fields}, journal = {Formaliz. Math.}, volume = {29}, number = {3}, pages = {129--139}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0013}, doi = {10.2478/FORMA-2021-0013}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchwarzwellerR21, author = {Christoph Schwarzweller and Agnieszka Rowinska{-}Schwarzweller}, title = {Algebraic Extensions}, journal = {Formaliz. Math.}, volume = {29}, number = {1}, pages = {39--47}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0004}, doi = {10.2478/FORMA-2021-0004}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/SchwarzwellerR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchwarzwellerR21a, author = {Christoph Schwarzweller and Agnieszka Rowinska{-}Schwarzweller}, title = {Quadratic Extensions}, journal = {Formaliz. Math.}, volume = {29}, number = {4}, pages = {229--240}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0021}, doi = {10.2478/FORMA-2021-0021}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SchwarzwellerR21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase21, author = {Yasushige Watase}, title = {Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation}, journal = {Formaliz. Math.}, volume = {29}, number = {1}, pages = {1--8}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0001}, doi = {10.2478/FORMA-2021-0001}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase21a, author = {Yasushige Watase}, title = {On Primary Ideals. Part {I}}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {95--101}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0010}, doi = {10.2478/FORMA-2021-0010}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiMS21, author = {Hiroshi Yamazaki and Keiichi Miyajima and Yasunari Shidama}, title = {Functional Space Consisted by Continuous Functions on Topological Space}, journal = {Formaliz. Math.}, volume = {29}, number = {1}, pages = {49--62}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0005}, doi = {10.2478/FORMA-2021-0005}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/YamazakiMS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiMS21a, author = {Hiroshi Yamazaki and Keiichi Miyajima and Yasunari Shidama}, title = {Ascoli-Arzel{\`{a}} TheoremThis work was supported by {JSPS} {KAKENHI} Grant Numbers {JP17K00182}}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {87--94}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0009}, doi = {10.2478/FORMA-2021-0009}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/YamazakiMS21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto20, author = {Roland Coghetto}, title = {Klein-Beltrami model. Part {III}}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {1--7}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0001}, doi = {10.2478/FORMA-2020-0001}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto20a, author = {Roland Coghetto}, title = {Klein-Beltrami model. Part {IV}}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {9--21}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0002}, doi = {10.2478/FORMA-2020-0002}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto20b, author = {Roland Coghetto}, title = {A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods}, journal = {Formaliz. Math.}, volume = {28}, number = {3}, pages = {227--237}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0020}, doi = {10.2478/FORMA-2020-0020}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto20b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou20, author = {Noboru Endou}, title = {Reconstruction of the One-Dimensional Lebesgue Measure}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {93--104}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0008}, doi = {10.2478/FORMA-2020-0008}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Endou20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FujiwaraWY20, author = {Hiroshi Fujiwara and Hokuto Watari and Hiroaki Yamamoto}, title = {Dynamic Programming for the Subset Sum Problem}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {89--92}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0007}, doi = {10.2478/FORMA-2020-0007}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/FujiwaraWY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski20, author = {Adam Grabowski}, title = {Developing Complementary Rough Inclusion Functions}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {105--113}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0009}, doi = {10.2478/FORMA-2020-0009}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski20a, author = {Adam Grabowski}, title = {On Fuzzy Negations Generated by Fuzzy Implications}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {121--128}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0011}, doi = {10.2478/FORMA-2020-0011}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaszczak20, author = {Adrian Jaszczak}, title = {General Theory and Tools for Proving Algorithms in Nominative Data Systems}, journal = {Formaliz. Math.}, volume = {28}, number = {4}, pages = {269--278}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0024}, doi = {10.2478/FORMA-2020-0024}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Jaszczak20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaszczak20a, author = {Adrian Jaszczak}, title = {Partial Correctness of an Algorithm Computing Lucas Sequences}, journal = {Formaliz. Math.}, volume = {28}, number = {4}, pages = {279--288}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0025}, doi = {10.2478/FORMA-2020-0025}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Jaszczak20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch20, author = {Sebastian Koch}, title = {Miscellaneous Graph Preliminaries}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {23--39}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0003}, doi = {10.2478/FORMA-2020-0003}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch20a, author = {Sebastian Koch}, title = {About Graph Complements}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {41--63}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0004}, doi = {10.2478/FORMA-2020-0004}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch20b, author = {Sebastian Koch}, title = {Refined Finiteness and Degree Properties in Graphs}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {137--154}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0013}, doi = {10.2478/FORMA-2020-0013}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch20b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch20c, author = {Sebastian Koch}, title = {About Graph Unions and Intersections}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {155--171}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0014}, doi = {10.2478/FORMA-2020-0014}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch20c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch20d, author = {Sebastian Koch}, title = {Unification of Graphs and Relations in Mizar}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {173--186}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0015}, doi = {10.2478/FORMA-2020-0015}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch20d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch20e, author = {Sebastian Koch}, title = {Extended Natural Numbers and Counters}, journal = {Formaliz. Math.}, volume = {28}, number = {3}, pages = {239--249}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0021}, doi = {10.2478/FORMA-2020-0021}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch20e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz20, author = {Artur Kornilowicz}, title = {Partial Correctness of a Fibonacci Algorithm}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {187--196}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0016}, doi = {10.2478/FORMA-2020-0016}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KuleszaG20, author = {Dominik Kulesza and Adam Grabowski}, title = {Formalization of Quasilattices}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {217--225}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0019}, doi = {10.2478/FORMA-2020-0019}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/KuleszaG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Naumowicz20, author = {Adam Naumowicz}, title = {Elementary Number Theory Problems. Part {I}}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {115--120}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0010}, doi = {10.2478/FORMA-2020-0010}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Naumowicz20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak20, author = {Karol Pak}, title = {Grothendieck Universes}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {211--215}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0018}, doi = {10.2478/FORMA-2020-0018}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller20, author = {Christoph Schwarzweller}, title = {Renamings and a Condition-free Formalization of Kronecker's Construction}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {129--135}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0012}, doi = {10.2478/FORMA-2020-0012}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller20a, author = {Christoph Schwarzweller}, title = {Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials}, journal = {Formaliz. Math.}, volume = {28}, number = {3}, pages = {251--261}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0022}, doi = {10.2478/FORMA-2020-0022}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Wasaki20, author = {Katsumi Wasaki}, title = {Stability of the 7-3 Compressor Circuit for Wallace Tree. Part {I}}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {65--77}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0005}, doi = {10.2478/FORMA-2020-0005}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Wasaki20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase20, author = {Yasushige Watase}, title = {Rings of Fractions and Localization}, journal = {Formaliz. Math.}, volume = {28}, number = {1}, pages = {79--87}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0006}, doi = {10.2478/FORMA-2020-0006}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Yamazaki20, author = {Hiroshi Yamazaki}, title = {Functional Sequence in Norm Space}, journal = {Formaliz. Math.}, volume = {28}, number = {4}, pages = {263--268}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0023}, doi = {10.2478/FORMA-2020-0023}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Yamazaki20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro20, author = {Rafal Ziobro}, title = {Multiplication-Related Classes of Complex Numbers}, journal = {Formaliz. Math.}, volume = {28}, number = {2}, pages = {197--210}, year = {2020}, url = {https://doi.org/10.2478/forma-2020-0017}, doi = {10.2478/FORMA-2020-0017}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/BrownP19, author = {Chad E. Brown and Karol Pak}, title = {{AIM} Loops and the {AIM} Conjecture}, journal = {Formaliz. Math.}, volume = {27}, number = {4}, pages = {321--335}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0027}, doi = {10.2478/FORMA-2019-0027}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/BrownP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto19, author = {Roland Coghetto}, title = {Cross-Ratio in Real Vector Space}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {47--60}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0005}, doi = {10.2478/FORMA-2019-0005}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/CoghettoG19, author = {Roland Coghetto and Adam Grabowski}, title = {Tarski Geometry Axioms. Part {IV} - Right Angle}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {75--85}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0008}, doi = {10.2478/FORMA-2019-0008}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/CoghettoG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou19, author = {Noboru Endou}, title = {Fubini's Theorem}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {67--74}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0007}, doi = {10.2478/FORMA-2019-0007}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS19, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Operations of Points on Elliptic Curve in Affine Coordinates}, journal = {Formaliz. Math.}, volume = {27}, number = {3}, pages = {315--320}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0026}, doi = {10.2478/FORMA-2019-0026}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/FutaOS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski19, author = {Adam Grabowski}, title = {Formal Development of Rough Inclusion Functions}, journal = {Formaliz. Math.}, volume = {27}, number = {4}, pages = {337--345}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0028}, doi = {10.2478/FORMA-2019-0028}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaszczak19, author = {Adrian Jaszczak}, title = {Partial Correctness of a Power Algorithm}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {189--195}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0018}, doi = {10.2478/FORMA-2019-0018}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaszczak19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/JaszczakK19, author = {Adrian Jaszczak and Artur Kornilowicz}, title = {Partial Correctness of a Factorial Algorithm}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {181--187}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0017}, doi = {10.2478/FORMA-2019-0017}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/JaszczakK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch19, author = {Sebastian Koch}, title = {Natural Addition of Ordinals}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {139--152}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0015}, doi = {10.2478/FORMA-2019-0015}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch19a, author = {Sebastian Koch}, title = {About Supergraphs. Part {III}}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {153--179}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0016}, doi = {10.2478/FORMA-2019-0016}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch19b, author = {Sebastian Koch}, title = {Underlying Simple Graphs}, journal = {Formaliz. Math.}, volume = {27}, number = {3}, pages = {237--259}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0023}, doi = {10.2478/FORMA-2019-0023}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch19b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch19c, author = {Sebastian Koch}, title = {About Graph Mappings}, journal = {Formaliz. Math.}, volume = {27}, number = {3}, pages = {261--301}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0024}, doi = {10.2478/FORMA-2019-0024}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch19c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch19d, author = {Sebastian Koch}, title = {About Vertex Mappings}, journal = {Formaliz. Math.}, volume = {27}, number = {3}, pages = {303--313}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0025}, doi = {10.2478/FORMA-2019-0025}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Koch19d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nakasho19, author = {Kazuhisa Nakasho}, title = {Bilinear Operators on Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {15--23}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0002}, doi = {10.2478/FORMA-2019-0002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Nakasho19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nakasho19a, author = {Kazuhisa Nakasho}, title = {Multilinear Operator and Its Basic Properties}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {35--45}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0004}, doi = {10.2478/FORMA-2019-0004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Nakasho19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nakasho19b, author = {Kazuhisa Nakasho}, title = {Isomorphisms from the Space of Multilinear Operators}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {101--106}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0011}, doi = {10.2478/FORMA-2019-0011}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Nakasho19b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nakasho19c, author = {Kazuhisa Nakasho}, title = {Invertible Operators on Banach Spaces}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {107--115}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0012}, doi = {10.2478/FORMA-2019-0012}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Nakasho19c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoS19, author = {Kazuhisa Nakasho and Yasunari Shidama}, title = {Continuity of Multilinear Operator on Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {61--65}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0006}, doi = {10.2478/FORMA-2019-0006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoS19a, author = {Kazuhisa Nakasho and Yasunari Shidama}, title = {Implicit Function Theorem. Part {II}}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {117--131}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0013}, doi = {10.2478/FORMA-2019-0013}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoS19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiNF19, author = {Hiroyuki Okazaki and Koh{-}ichi Nagao and Yuichi Futa}, title = {Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {87--91}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0009}, doi = {10.2478/FORMA-2019-0009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiNF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OtsukiKY19, author = {Sora Otsuki and Pauline N. Kawamoto and Hiroshi Yamazaki}, title = {A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {25--34}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0003}, doi = {10.2478/FORMA-2019-0003}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OtsukiKY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak19, author = {Karol Pak}, title = {Diophantine Sets. Part {II}}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {197--208}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0019}, doi = {10.2478/FORMA-2019-0019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak19a, author = {Karol Pak}, title = {Formalization of the {MRDP} Theorem in the Mizar System}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {209--221}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0020}, doi = {10.2478/FORMA-2019-0020}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller19, author = {Christoph Schwarzweller}, title = {On Roots of Polynomials over {F[X]/} {\unicode{12296}}p{\unicode{12297}}}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {93--100}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0010}, doi = {10.2478/FORMA-2019-0010}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller19a, author = {Christoph Schwarzweller}, title = {On Monomorphisms and Subfields}, journal = {Formaliz. Math.}, volume = {27}, number = {2}, pages = {133--137}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0014}, doi = {10.2478/FORMA-2019-0014}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller19b, author = {Christoph Schwarzweller}, title = {On the Intersection of Fields {F} with {F} {[X]}}, journal = {Formaliz. Math.}, volume = {27}, number = {3}, pages = {223--228}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0021}, doi = {10.2478/FORMA-2019-0021}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller19b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller19c, author = {Christoph Schwarzweller}, title = {Field Extensions and Kronecker's Construction}, journal = {Formaliz. Math.}, volume = {27}, number = {3}, pages = {229--235}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0022}, doi = {10.2478/FORMA-2019-0022}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller19c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro19, author = {Rafal Ziobro}, title = {Concatenation of Finite Sequences}, journal = {Formaliz. Math.}, volume = {27}, number = {1}, pages = {1--13}, year = {2019}, url = {https://doi.org/10.2478/forma-2019-0001}, doi = {10.2478/FORMA-2019-0001}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AcewiczP18, author = {Marcin Acewicz and Karol Pak}, title = {Basic Diophantine Relations}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {175--181}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0015}, doi = {10.2478/FORMA-2018-0015}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AcewiczP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto18, author = {Roland Coghetto}, title = {Klein-Beltrami Model. Part {I}}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {21--32}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0003}, doi = {10.2478/FORMA-2018-0003}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto18a, author = {Roland Coghetto}, title = {Klein-Beltrami Model. Part {II}}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {33--48}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0004}, doi = {10.2478/FORMA-2018-0004}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto18b, author = {Roland Coghetto}, title = {Pythagorean Tuning: Pentatonic and Heptatonic Scale}, journal = {Formaliz. Math.}, volume = {26}, number = {4}, pages = {239--269}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0022}, doi = {10.2478/FORMA-2018-0022}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto18b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou18, author = {Noboru Endou}, title = {Fubini's Theorem for Non-Negative or Non-Positive Functions}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {49--67}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0005}, doi = {10.2478/FORMA-2018-0005}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski18, author = {Adam Grabowski}, title = {Sequences of Prime Reciprocals. Preliminaries}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {69--79}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0006}, doi = {10.2478/FORMA-2018-0006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski18a, author = {Adam Grabowski}, title = {Fundamental Properties of Fuzzy Implications}, journal = {Formaliz. Math.}, volume = {26}, number = {4}, pages = {271--276}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0023}, doi = {10.2478/FORMA-2018-0023}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GrabowskiS18, author = {Adam Grabowski and Michal Sielwiesiuk}, title = {Formalizing Two Generalized Approximation Operators}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {183--191}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0016}, doi = {10.2478/FORMA-2018-0016}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/GrabowskiS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GrabowskiS18a, author = {Adam Grabowski and Damian Sawicki}, title = {On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {193--198}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0017}, doi = {10.2478/FORMA-2018-0017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/GrabowskiS18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IvanovKN18, author = {Ievgen Ivanov and Artur Kornilowicz and Mykola S. Nikitchenko}, title = {On Algebras of Algorithms and Specifications over Uninterpreted Data}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {141--147}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0011}, doi = {10.2478/FORMA-2018-0011}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IvanovKN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IvanovKN18a, author = {Ievgen Ivanov and Artur Kornilowicz and Mykola S. Nikitchenko}, title = {On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {149--158}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0012}, doi = {10.2478/FORMA-2018-0012}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IvanovKN18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IvanovKN18b, author = {Ievgen Ivanov and Artur Kornilowicz and Mykola S. Nikitchenko}, title = {An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {159--164}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0013}, doi = {10.2478/FORMA-2018-0013}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IvanovKN18b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IvanovKN18c, author = {Ievgen Ivanov and Artur Kornilowicz and Mykola S. Nikitchenko}, title = {Partial Correctness of {GCD} Algorithm}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {165--173}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0014}, doi = {10.2478/FORMA-2018-0014}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IvanovKN18c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger18, author = {Peter Jaeger}, title = {Introduction to Stochastic Finance: Random Variables and Arbitrage Theory}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {1--9}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0001}, doi = {10.2478/FORMA-2018-0001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch18, author = {Sebastian Koch}, title = {About Supergraphs. Part {I}}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {101--124}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0009}, doi = {10.2478/FORMA-2018-0009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch18a, author = {Sebastian Koch}, title = {About Supergraphs. Part {II}}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {125--140}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0010}, doi = {10.2478/FORMA-2018-0010}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch18b, author = {Sebastian Koch}, title = {Some Remarks about Product Spaces}, journal = {Formaliz. Math.}, volume = {26}, number = {3}, pages = {209--222}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0019}, doi = {10.2478/FORMA-2018-0019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch18b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczIN18, author = {Artur Kornilowicz and Ievgen Ivanov and Mykola S. Nikitchenko}, title = {Kleene Algebra of Partial Predicates}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {11--20}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0002}, doi = {10.2478/FORMA-2018-0002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczIN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoFS18, author = {Kazuhisa Nakasho and Yuichi Futa and Yasunari Shidama}, title = {Continuity of Bounded Linear Operators on Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {26}, number = {3}, pages = {231--237}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0021}, doi = {10.2478/FORMA-2018-0021}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoFS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Okazaki18, author = {Hiroyuki Okazaki}, title = {Binary Representation of Natural Numbers}, journal = {Formaliz. Math.}, volume = {26}, number = {3}, pages = {223--229}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0020}, doi = {10.2478/FORMA-2018-0020}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Okazaki18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak18, author = {Karol Pak}, title = {Diophantine sets. Preliminaries}, journal = {Formaliz. Math.}, volume = {26}, number = {1}, pages = {81--90}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0007}, doi = {10.2478/FORMA-2018-0007}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase18, author = {Yasushige Watase}, title = {Zariski Topology}, journal = {Formaliz. Math.}, volume = {26}, number = {4}, pages = {277--283}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0024}, doi = {10.2478/FORMA-2018-0024}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Watase18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro18, author = {Rafal Ziobro}, title = {Parity as a Property of Integers}, journal = {Formaliz. Math.}, volume = {26}, number = {2}, pages = {91--100}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0008}, doi = {10.2478/FORMA-2018-0008}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro18a, author = {Rafal Ziobro}, title = {Arithmetic Operations on Short Finite Sequences}, journal = {Formaliz. Math.}, volume = {26}, number = {3}, pages = {199--208}, year = {2018}, url = {https://doi.org/10.2478/forma-2018-0018}, doi = {10.2478/FORMA-2018-0018}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AcewiczP17, author = {Marcin Acewicz and Karol Pak}, title = {Pell's Equation}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {197--204}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0019}, doi = {10.1515/FORMA-2017-0019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AcewiczP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto17, author = {Roland Coghetto}, title = {Group of Homography in Real Projective Plane}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {55}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0005}, doi = {10.1515/FORMA-2017-0005}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto17a, author = {Roland Coghetto}, title = {Pascal's Theorem in Real Projective Plane}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {107--119}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0011}, doi = {10.1515/FORMA-2017-0011}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto17b, author = {Roland Coghetto}, title = {Gauge Integral}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {217--225}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0021}, doi = {10.1515/FORMA-2017-0021}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto17b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/CoghettoG17, author = {Roland Coghetto and Adam Grabowski}, title = {Tarski Geometry Axioms. Part {III}}, journal = {Formaliz. Math.}, volume = {25}, number = {4}, pages = {289--313}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0028}, doi = {10.1515/FORMA-2017-0028}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/CoghettoG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou17, author = {Noboru Endou}, title = {Fubini's Theorem on Measure}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {1}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0001}, doi = {10.1515/FORMA-2017-0001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou17a, author = {Noboru Endou}, title = {Integral of Non Positive Functions}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {227--240}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0022}, doi = {10.1515/FORMA-2017-0022}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Endou17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaS17, author = {Yuichi Futa and Yasunari Shidama}, title = {Embedded Lattice and Properties of Gram Matrix}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {73}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0007}, doi = {10.1515/FORMA-2017-0007}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaS17a, author = {Yuichi Futa and Yasunari Shidama}, title = {Dual Lattice of {\(\mathbb{Z}\)}-module Lattice}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {157--169}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0015}, doi = {10.1515/FORMA-2017-0015}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaS17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaS17b, author = {Yuichi Futa and Yasunari Shidama}, title = {Isomorphism Theorem on Vector Spaces over a Ring}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {171--178}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0016}, doi = {10.1515/FORMA-2017-0016}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaS17b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski17, author = {Adam Grabowski}, title = {Basic Formal Properties of Triangular Norms and Conorms}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {93--100}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0009}, doi = {10.1515/FORMA-2017-0009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski17a, author = {Adam Grabowski}, title = {Formal Introduction to Fuzzy Implications}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {241--248}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0023}, doi = {10.1515/FORMA-2017-0023}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GrabowskiK17, author = {Adam Grabowski and Artur Kornilowicz}, title = {Introduction to Liouville Numbers}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {39}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0003}, doi = {10.1515/FORMA-2017-0003}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/GrabowskiK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IvanovNKK17, author = {Ievgen Ivanov and Mykola S. Nikitchenko and Andrii Kryvolap and Artur Kornilowicz}, title = {Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {205--216}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0020}, doi = {10.1515/FORMA-2017-0020}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IvanovNKK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger17, author = {Peter Jaeger}, title = {Introduction to Stopping Time in Stochastic Finance Theory}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {101--105}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0010}, doi = {10.1515/FORMA-2017-0010}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger17a, author = {Peter Jaeger}, title = {Introduction to Stopping Time in Stochastic Finance Theory. Part {II}}, journal = {Formaliz. Math.}, volume = {25}, number = {4}, pages = {261--268}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0025}, doi = {10.1515/FORMA-2017-0025}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Koch17, author = {Sebastian Koch}, title = {About Quotient Orders and Ordering Sequences}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {121--139}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0012}, doi = {10.1515/FORMA-2017-0012}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Koch17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz17, author = {Artur Kornilowicz}, title = {Differentiability of Polynomials over Reals}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {31}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0002}, doi = {10.1515/FORMA-2017-0002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczNG17, author = {Artur Kornilowicz and Adam Naumowicz and Adam Grabowski}, title = {All Liouville Numbers are Transcendental}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {49}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0004}, doi = {10.1515/FORMA-2017-0004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczNG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczP17, author = {Artur Kornilowicz and Karol Pak}, title = {Vieta's Formula about the Sum of Roots of Polynomials}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {87--92}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0008}, doi = {10.1515/FORMA-2017-0008}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczP17a, author = {Artur Kornilowicz and Karol Pak}, title = {Basel Problem - Preliminaries}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {141--147}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0013}, doi = {10.1515/FORMA-2017-0013}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczP17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoFS17, author = {Kazuhisa Nakasho and Yuichi Futa and Yasunari Shidama}, title = {Implicit Function Theorem. Part {I}}, journal = {Formaliz. Math.}, volume = {25}, number = {4}, pages = {269--281}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0026}, doi = {10.1515/FORMA-2017-0026}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoFS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaNS17, author = {Keiko Narita and Kazuhisa Nakasho and Yasunari Shidama}, title = {F. Riesz Theorem}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {179--184}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0017}, doi = {10.1515/FORMA-2017-0017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NaritaNS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak17, author = {Karol Pak}, title = {The Matiyasevich Theorem. Preliminaries}, journal = {Formaliz. Math.}, volume = {25}, number = {4}, pages = {315--322}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0029}, doi = {10.1515/FORMA-2017-0029}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/PakK17, author = {Karol Pak and Artur Kornilowicz}, title = {Basel Problem}, journal = {Formaliz. Math.}, volume = {25}, number = {2}, pages = {149--155}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0014}, doi = {10.1515/FORMA-2017-0014}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/PakK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller17, author = {Christoph Schwarzweller}, title = {Ordered Rings and Fields}, journal = {Formaliz. Math.}, volume = {25}, number = {1}, pages = {63}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0006}, doi = {10.1515/FORMA-2017-0006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller17a, author = {Christoph Schwarzweller}, title = {On Roots of Polynomials and Algebraically Closed Fields}, journal = {Formaliz. Math.}, volume = {25}, number = {3}, pages = {185--195}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0018}, doi = {10.1515/FORMA-2017-0018}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller17b, author = {Christoph Schwarzweller}, title = {Formally Real Fields}, journal = {Formaliz. Math.}, volume = {25}, number = {4}, pages = {249--259}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0024}, doi = {10.1515/FORMA-2017-0024}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller17b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase17, author = {Yasushige Watase}, title = {Introduction to Diophantine Approximation. Part {II}}, journal = {Formaliz. Math.}, volume = {25}, number = {4}, pages = {283--288}, year = {2017}, url = {https://doi.org/10.1515/forma-2017-0027}, doi = {10.1515/FORMA-2017-0027}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Watase17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek16, author = {Grzegorz Bancerek}, title = {On Multiset Ordering}, journal = {Formaliz. Math.}, volume = {24}, number = {2}, pages = {95--106}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0008}, doi = {10.1515/FORMA-2016-0008}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16, author = {Roland Coghetto}, title = {Circumcenter, Circumcircle and Centroid of a Triangle}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {17--26}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0002}, doi = {10.1515/FORMA-2016-0002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16a, author = {Roland Coghetto}, title = {Altitude, Orthocenter of a Triangle and Triangulation}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {27--36}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0003}, doi = {10.1515/FORMA-2016-0003}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16b, author = {Roland Coghetto}, title = {Cousin's Lemma}, journal = {Formaliz. Math.}, volume = {24}, number = {2}, pages = {107--119}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0009}, doi = {10.1515/FORMA-2016-0009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16c, author = {Roland Coghetto}, title = {Chebyshev Distance}, journal = {Formaliz. Math.}, volume = {24}, number = {2}, pages = {121--141}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0010}, doi = {10.1515/FORMA-2016-0010}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16d, author = {Roland Coghetto}, title = {Double Sequences and Iterated Limits in Regular Space}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {173--186}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0014}, doi = {10.1515/FORMA-2016-0014}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16e, author = {Roland Coghetto}, title = {Quasi-uniform Space}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {205--214}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0017}, doi = {10.1515/FORMA-2016-0017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16f, author = {Roland Coghetto}, title = {Uniform Space}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {215--226}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0018}, doi = {10.1515/FORMA-2016-0018}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto16g, author = {Roland Coghetto}, title = {Homography in {\(\mathbb{R}\)}{\(\mathbb{P}\)}}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {239--251}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0020}, doi = {10.1515/FORMA-2016-0020}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto16g.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/CoghettoG16, author = {Roland Coghetto and Adam Grabowski}, title = {Tarski Geometry Axioms - Part {II}}, journal = {Formaliz. Math.}, volume = {24}, number = {2}, pages = {157--166}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0012}, doi = {10.1515/FORMA-2016-0012}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/CoghettoG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou16, author = {Noboru Endou}, title = {Product Pre-Measure}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {69--79}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0006}, doi = {10.1515/FORMA-2016-0006}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Endou16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaS16, author = {Yuichi Futa and Yasunari Shidama}, title = {Divisible {\(\mathbb{Z}\)}-modules}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {37--47}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0004}, doi = {10.1515/FORMA-2016-0004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaS16a, author = {Yuichi Futa and Yasunari Shidama}, title = {Lattice of {\(\mathbb{Z}\)}-module}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {49--68}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0005}, doi = {10.1515/FORMA-2016-0005}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaS16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Giero16, author = {Mariusz Giero}, title = {The Axiomatization of Propositional Logic}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {281--290}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0024}, doi = {10.1515/FORMA-2016-0024}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Giero16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski16, author = {Adam Grabowski}, title = {Binary Relations-based Rough Sets - an Automated Approach}, journal = {Formaliz. Math.}, volume = {24}, number = {2}, pages = {143--155}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0011}, doi = {10.1515/FORMA-2016-0011}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger16, author = {Peter Jaeger}, title = {Modelling Real World Using Stochastic Processes and Filtration}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {1--16}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0001}, doi = {10.1515/FORMA-2016-0001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczN16, author = {Artur Kornilowicz and Adam Naumowicz}, title = {Niven's Theorem}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {301--308}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0026}, doi = {10.1515/FORMA-2016-0026}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoNS16, author = {Kazuhisa Nakasho and Keiko Narita and Yasunari Shidama}, title = {Compactness in Metric Spaces}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {167--172}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0013}, doi = {10.1515/FORMA-2016-0013}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoNS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoNS16a, author = {Kazuhisa Nakasho and Keiko Narita and Yasunari Shidama}, title = {The Basic Existence Theorem of Riemann-Stieltjes Integral}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {253--259}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0021}, doi = {10.1515/FORMA-2016-0021}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoNS16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoYOS16, author = {Kazuhisa Nakasho and Hiroshi Yamazaki and Hiroyuki Okazaki and Yasunari Shidama}, title = {Conservation Rules of Direct Sum Decomposition of Groups}, journal = {Formaliz. Math.}, volume = {24}, number = {1}, pages = {81--94}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0007}, doi = {10.1515/FORMA-2016-0007}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoYOS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaNS16, author = {Keiko Narita and Kazuhisa Nakasho and Yasunari Shidama}, title = {Riemann-Stieltjes Integral}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {199--204}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0016}, doi = {10.1515/FORMA-2016-0016}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NaritaNS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak16, author = {Karol Pak}, title = {Leibniz Series for {\(\pi\)}}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {275--280}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0023}, doi = {10.1515/FORMA-2016-0023}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchwarzwellerK16, author = {Christoph Schwarzweller and Artur Kornilowicz}, title = {Some Algebraic Properties of Polynomial Rings}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {227--237}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0019}, doi = {10.1515/FORMA-2016-0019}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SchwarzwellerK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase16, author = {Yasushige Watase}, title = {Algebraic Numbers}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {291--299}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0025}, doi = {10.1515/FORMA-2016-0025}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Watase16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro16, author = {Rafal Ziobro}, title = {Prime Factorization of Sums and Differences of Two Like Powers}, journal = {Formaliz. Math.}, volume = {24}, number = {3}, pages = {187--198}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0015}, doi = {10.1515/FORMA-2016-0015}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro16a, author = {Rafal Ziobro}, title = {On Subnomials}, journal = {Formaliz. Math.}, volume = {24}, number = {4}, pages = {261--273}, year = {2016}, url = {https://doi.org/10.1515/forma-2016-0022}, doi = {10.1515/FORMA-2016-0022}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto15, author = {Roland Coghetto}, title = {Morley's Trisector Theorem}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {75--79}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0007}, doi = {10.1515/FORMA-2015-0007}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto15a, author = {Roland Coghetto}, title = {Finite Product of Semiring of Sets}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {107--114}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0011}, doi = {10.1515/FORMA-2015-0011}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto15b, author = {Roland Coghetto}, title = {Groups - Additive Notation}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {127--160}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0013}, doi = {10.1515/FORMA-2015-0013}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto15b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto15c, author = {Roland Coghetto}, title = {Convergent Filter Bases}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {189--203}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0016}, doi = {10.1515/FORMA-2015-0016}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto15c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto15d, author = {Roland Coghetto}, title = {Summable Family in a Commutative Group}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {279--288}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0022}, doi = {10.1515/FORMA-2015-0022}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto15d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto15e, author = {Roland Coghetto}, title = {Topology from Neighbourhoods}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {289--296}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0023}, doi = {10.1515/FORMA-2015-0023}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Coghetto15e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou15, author = {Noboru Endou}, title = {Extended Real-Valued Double Sequence and Its Convergence}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {253--277}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0021}, doi = {10.1515/FORMA-2015-0021}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Endou15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou15a, author = {Noboru Endou}, title = {Construction of Measure from Semialgebra of Sets1}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {309--323}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0025}, doi = {10.1515/FORMA-2015-0025}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Endou15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouNS15, author = {Noboru Endou and Kazuhisa Nakasho and Yasunari Shidama}, title = {{\(\sigma\)}-ring and {\(\sigma\)}-algebra of Sets1}, journal = {Formaliz. Math.}, volume = {23}, number = {1}, pages = {51--57}, year = {2015}, url = {https://doi.org/10.2478/forma-2015-0004}, doi = {10.2478/FORMA-2015-0004}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/EndouNS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS15, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Matrix of {\(\mathbb{Z}\)}-module1}, journal = {Formaliz. Math.}, volume = {23}, number = {1}, pages = {29--49}, year = {2015}, url = {https://doi.org/10.2478/forma-2015-0003}, doi = {10.2478/FORMA-2015-0003}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS15a, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Torsion Part of {\(\mathbb{Z}\)}-module}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {297--307}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0024}, doi = {10.1515/FORMA-2015-0024}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Giero15, author = {Mariusz Giero}, title = {Propositional Linear Temporal Logic with Initial Validity Semantics1}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {379--386}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0030}, doi = {10.1515/FORMA-2015-0030}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Giero15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski15, author = {Adam Grabowski}, title = {Two Axiomatizations of Nelson Algebras}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {115--125}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0012}, doi = {10.1515/FORMA-2015-0012}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski15a, author = {Adam Grabowski}, title = {Stone Lattices}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {387--396}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0031}, doi = {10.1515/FORMA-2015-0031}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Huuskonen15, author = {Taneli Huuskonen}, title = {Polish Notation}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {161--176}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0014}, doi = {10.1515/FORMA-2015-0014}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Huuskonen15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Huuskonen15a, author = {Taneli Huuskonen}, title = {Grzegorczyk's Logics. Part {I}}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {177--187}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0015}, doi = {10.1515/FORMA-2015-0015}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Huuskonen15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IvanovNA15, author = {Ievgen Ivanov and Mykola S. Nikitchenko and Uri Abraham}, title = {Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {325--331}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0026}, doi = {10.1515/FORMA-2015-0026}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/IvanovNA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoE15, author = {Kazuhisa Nakasho and Noboru Endou}, title = {Separability of Real Normed Spaces and Its Basic Properties}, journal = {Formaliz. Math.}, volume = {23}, number = {1}, pages = {59--65}, year = {2015}, url = {https://doi.org/10.2478/forma-2015-0005}, doi = {10.2478/FORMA-2015-0005}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NakashoE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoOYS15, author = {Kazuhisa Nakasho and Hiroyuki Okazaki and Hiroshi Yamazaki and Yasunari Shidama}, title = {Equivalent Expressions of Direct Sum Decomposition of Groups1}, journal = {Formaliz. Math.}, volume = {23}, number = {1}, pages = {67--73}, year = {2015}, url = {https://doi.org/10.2478/forma-2015-0006}, doi = {10.2478/FORMA-2015-0006}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoOYS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoYOS15, author = {Kazuhisa Nakasho and Hiroshi Yamazaki and Hiroyuki Okazaki and Yasunari Shidama}, title = {Definition and Properties of Direct Sum Decomposition of Groups1}, journal = {Formaliz. Math.}, volume = {23}, number = {1}, pages = {15--27}, year = {2015}, url = {https://doi.org/10.2478/forma-2015-0002}, doi = {10.2478/FORMA-2015-0002}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoYOS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES15, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {The Orthogonal Projection and the Riesz Representation Theorem}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {243--252}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0020}, doi = {10.1515/FORMA-2015-0020}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaSE15, author = {Keiko Narita and Yasunari Shidama and Noboru Endou}, title = {Weak Convergence and Weak Convergence}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {231--241}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0019}, doi = {10.1515/FORMA-2015-0019}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaSE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Okazaki15, author = {Hiroyuki Okazaki}, title = {Algebra of Polynomially Bounded Sequences and Negligible Functions}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {371--378}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0029}, doi = {10.1515/FORMA-2015-0029}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Okazaki15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiF15, author = {Hiroyuki Okazaki and Yuichi Futa}, title = {Polynomially Bounded Sequences and Polynomial Sequences}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {205--213}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0017}, doi = {10.1515/FORMA-2015-0017}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak15, author = {Karol Pak}, title = {Flexary Operations}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {81--92}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0008}, doi = {10.1515/FORMA-2015-0008}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak15a, author = {Karol Pak}, title = {Euler's Partition Theorem}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {93--99}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0009}, doi = {10.1515/FORMA-2015-0009}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi15, author = {Marco Riccardi}, title = {Categorical Pullbacks}, journal = {Formaliz. Math.}, volume = {23}, number = {1}, pages = {1--14}, year = {2015}, url = {https://doi.org/10.2478/forma-2015-0001}, doi = {10.2478/FORMA-2015-0001}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Riccardi15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi15a, author = {Marco Riccardi}, title = {Exponential Objects}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {351--369}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0028}, doi = {10.1515/FORMA-2015-0028}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Riccardi15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchwarzwellerK15, author = {Christoph Schwarzweller and Artur Kornilowicz}, title = {Characteristic of Rings. Prime Fields}, journal = {Formaliz. Math.}, volume = {23}, number = {4}, pages = {333--349}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0027}, doi = {10.1515/FORMA-2015-0027}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/SchwarzwellerK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase15, author = {Yasushige Watase}, title = {Introduction to Diophantine Approximation}, journal = {Formaliz. Math.}, volume = {23}, number = {2}, pages = {101--106}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0010}, doi = {10.1515/FORMA-2015-0010}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro15, author = {Rafal Ziobro}, title = {Fermat's Little Theorem via Divisibility of Newton's Binomial}, journal = {Formaliz. Math.}, volume = {23}, number = {3}, pages = {215--229}, year = {2015}, url = {https://doi.org/10.1515/forma-2015-0018}, doi = {10.1515/FORMA-2015-0018}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Ziobro15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AraiWO14, author = {Kenichi Arai and Ken Wakabayashi and Hiroyuki Okazaki}, title = {Difference of Function on Vector Space over {F}}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {269--275}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0027}, doi = {10.2478/FORMA-2014-0027}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AraiWO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek14, author = {Grzegorz Bancerek}, title = {Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {37--56}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0005}, doi = {10.2478/FORMA-2014-0005}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek14a, author = {Grzegorz Bancerek}, title = {Term Context}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {125--155}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0015}, doi = {10.2478/FORMA-2014-0015}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Bancerek14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek14b, author = {Grzegorz Bancerek}, title = {Algebraic Approach to Algorithmic Logic}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {225--255}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0025}, doi = {10.2478/FORMA-2014-0025}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/CaminatiK14, author = {Marco B. Caminati and Artur Kornilowicz}, title = {Pseudo-Canonical Formulae are Classical}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {99--103}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0011}, doi = {10.2478/FORMA-2014-0011}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/CaminatiK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto14, author = {Roland Coghetto}, title = {Semiring of Sets}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {79--84}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0008}, doi = {10.2478/FORMA-2014-0008}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto14a, author = {Roland Coghetto}, title = {Semiring of Sets: Examples}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {85--88}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0009}, doi = {10.2478/FORMA-2014-0009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Coghetto14b, author = {Roland Coghetto}, title = {Some Facts about Trigonometry and Euclidean Geometry}, journal = {Formaliz. Math.}, volume = {22}, number = {4}, pages = {313--319}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0031}, doi = {10.2478/FORMA-2014-0031}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Coghetto14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Endou14, author = {Noboru Endou}, title = {Double Series and Sums}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {57--68}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0006}, doi = {10.2478/FORMA-2014-0006}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Endou14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaONS14, author = {Yuichi Futa and Hiroyuki Okazaki and Kazuhisa Nakasho and Yasunari Shidama}, title = {Torsion Z-module and Torsion-free Z-module}, journal = {Formaliz. Math.}, volume = {22}, number = {4}, pages = {277--289}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0028}, doi = {10.2478/FORMA-2014-0028}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaONS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski14, author = {Adam Grabowski}, title = {Topological Interpretation of Rough Sets}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {89--97}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0010}, doi = {10.2478/FORMA-2014-0010}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski14a, author = {Adam Grabowski}, title = {Cauchy Mean Theorem}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {157--166}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0016}, doi = {10.2478/FORMA-2014-0016}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski14b, author = {Adam Grabowski}, title = {Formalization of Generalized Almost Distributive Lattices}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {257--267}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0026}, doi = {10.2478/FORMA-2014-0026}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski14c, author = {Adam Grabowski}, title = {The Formal Construction of Fuzzy Numbers}, journal = {Formaliz. Math.}, volume = {22}, number = {4}, pages = {321--327}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0032}, doi = {10.2478/FORMA-2014-0032}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Grabowski14c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GrabowskiS14, author = {Adam Grabowski and Yasunari Shidama}, title = {Preface}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {i--iv}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0020}, doi = {10.2478/FORMA-2014-0020}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/GrabowskiS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IshidaSG14, author = {Kazuhisa Ishida and Yasunari Shidama and Adam Grabowski}, title = {Definition of Flat Poset and Existence Theorems for Recursive Call}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {1--10}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0001}, doi = {10.2478/FORMA-2014-0001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IshidaSG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger14, author = {Peter Jaeger}, title = {Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {199--204}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0022}, doi = {10.2478/FORMA-2014-0022}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczS14, author = {Artur Kornilowicz and Christoph Schwarzweller}, title = {The First Isomorphism Theorem and Other Properties of Rings}, journal = {Formaliz. Math.}, volume = {22}, number = {4}, pages = {291--301}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0029}, doi = {10.2478/FORMA-2014-0029}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoFOS14, author = {Kazuhisa Nakasho and Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {189--198}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0021}, doi = {10.2478/FORMA-2014-0021}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoFOS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakashoFS14, author = {Kazuhisa Nakasho and Yuichi Futa and Yasunari Shidama}, title = {Topological Properties of Real Normed Space}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {209--223}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0024}, doi = {10.2478/FORMA-2014-0024}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakashoFS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES14, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {Dual Spaces and Hahn-Banach Theorem}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {69--77}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0007}, doi = {10.2478/FORMA-2014-0007}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES14a, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {Bidual Spaces and Reflexivity of Real Normed Spaces}, journal = {Formaliz. Math.}, volume = {22}, number = {4}, pages = {303--311}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0030}, doi = {10.2478/FORMA-2014-0030}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Naumowicz14, author = {Adam Naumowicz}, title = {A Note on the Seven Bridges of K{\"{o}}nigsberg Problem}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {177--178}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0018}, doi = {10.2478/FORMA-2014-0018}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Naumowicz14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak14, author = {Karol Pak}, title = {Tietze Extension Theorem for n-dimensional Spaces}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {11--19}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0002}, doi = {10.2478/FORMA-2014-0002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak14a, author = {Karol Pak}, title = {Brouwer Invariance of Domain Theorem}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {21--28}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0003}, doi = {10.2478/FORMA-2014-0003}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak14b, author = {Karol Pak}, title = {Bertrand's Ballot Theorem}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {119--123}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0014}, doi = {10.2478/FORMA-2014-0014}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak14c, author = {Karol Pak}, title = {Topological Manifolds}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {179--186}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0019}, doi = {10.2478/FORMA-2014-0019}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak14c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/RichterGA14, author = {William Richter and Adam Grabowski and Jesse Alama}, title = {Tarski Geometry Axioms}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {167--176}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0017}, doi = {10.2478/FORMA-2014-0017}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/RichterGA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller14, author = {Christoph Schwarzweller}, title = {Proth Numbers}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {111--118}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0013}, doi = {10.2478/FORMA-2014-0013}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/ShahKG14, author = {Pratima K. Shah and Pauline N. Kawamoto and Mariusz Giero}, title = {The Formalization of Decision-Free Petri Net}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {29--35}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0004}, doi = {10.2478/FORMA-2014-0004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/ShahKG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase14, author = {Yasushige Watase}, title = {Lagrange's Four-Square Theorem}, journal = {Formaliz. Math.}, volume = {22}, number = {2}, pages = {105--110}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0012}, doi = {10.2478/FORMA-2014-0012}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ziobro14, author = {Rafal Ziobro}, title = {Some Remarkable Identities Involving Numbers}, journal = {Formaliz. Math.}, volume = {22}, number = {3}, pages = {205--208}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0023}, doi = {10.2478/FORMA-2014-0023}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ziobro14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AraiO13, author = {Kenichi Arai and Hiroyuki Okazaki}, title = {N-Dimensional Binary Vector Spaces}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {75--81}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0008}, doi = {10.2478/FORMA-2013-0008}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AraiO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AraiO13a, author = {Kenichi Arai and Hiroyuki Okazaki}, title = {Formalization of the Advanced Encryption Standard. Part {I}}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {171--184}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0019}, doi = {10.2478/FORMA-2013-0019}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AraiO13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/ArnaudR13, author = {Adam St. Arnaud and Piotr Rudnicki}, title = {Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {83--85}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0009}, doi = {10.2478/FORMA-2013-0009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/ArnaudR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek13, author = {Grzegorz Bancerek}, title = {Analysis of Algorithms: An Example of a Sort Algorithm}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {1--23}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0001}, doi = {10.2478/FORMA-2013-0001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek13a, author = {Grzegorz Bancerek}, title = {Semantics of {MML} Query - Ordering}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {41--46}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0004}, doi = {10.2478/FORMA-2013-0004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouOS13, author = {Noboru Endou and Hiroyuki Okazaki and Yasunari Shidama}, title = {Double Sequences and Limits}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {163--170}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0018}, doi = {10.2478/FORMA-2013-0018}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/EndouOS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouS13, author = {Noboru Endou and Yasunari Shidama}, title = {Differentiation in Normed Spaces}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {95--102}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0011}, doi = {10.2478/FORMA-2013-0011}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/EndouS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaES13, author = {Yuichi Futa and Noboru Endou and Yasunari Shidama}, title = {Isometric Differentiable Functions on Real Normed Space}, journal = {Formaliz. Math.}, volume = {21}, number = {4}, pages = {249--260}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0027}, doi = {10.2478/FORMA-2013-0027}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/FutaES13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOMS13, author = {Yuichi Futa and Hiroyuki Okazaki and Daichi Mizushima and Yasunari Shidama}, title = {Gaussian Integers}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {115--125}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0013}, doi = {10.2478/FORMA-2013-0013}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS13, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Submodule of free Z-module}, journal = {Formaliz. Math.}, volume = {21}, number = {4}, pages = {273--282}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0029}, doi = {10.2478/FORMA-2013-0029}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GolinskiK13, author = {Maciej Golinski and Artur Kornilowicz}, title = {Coproducts in Categories without Uniqueness of cod and dom}, journal = {Formaliz. Math.}, volume = {21}, number = {4}, pages = {235--239}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0025}, doi = {10.2478/FORMA-2013-0025}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/GolinskiK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski13, author = {Adam Grabowski}, title = {Relational Formal Characterization of Rough Sets}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {55--64}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0006}, doi = {10.2478/FORMA-2013-0006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski13a, author = {Adam Grabowski}, title = {Polygonal Numbers}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {103--113}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0012}, doi = {10.2478/FORMA-2013-0012}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski13b, author = {Adam Grabowski}, title = {On Square-Free Numbers}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {153--162}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0017}, doi = {10.2478/FORMA-2013-0017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski13b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski13c, author = {Adam Grabowski}, title = {Prime Filters and Ideals in Distributive Lattices}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {213--221}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0023}, doi = {10.2478/FORMA-2013-0023}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski13c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/JitsukawaKS13, author = {Mitsuru Jitsukawa and Pauline N. Kawamoto and Yasunari Shidama}, title = {Formulation of Cell Petri Nets}, journal = {Formaliz. Math.}, volume = {21}, number = {4}, pages = {241--247}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0026}, doi = {10.2478/FORMA-2013-0026}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/JitsukawaKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KanazashiOS13, author = {Katuhiko Kanazashi and Hiroyuki Okazaki and Yasunari Shidama}, title = {The Ck Space}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {25--31}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0002}, doi = {10.2478/FORMA-2013-0002}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KanazashiOS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz13, author = {Artur Kornilowicz}, title = {Commutativeness of Fundamental Groups of Topological Groups}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {127--131}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0014}, doi = {10.2478/FORMA-2013-0014}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES13, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {Riemann Integral of Functions from {\(\mathbb{R}\)} into Real Banach Space}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {145--152}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0016}, doi = {10.2478/FORMA-2013-0016}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES13a, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {The Linearity of Riemann Integral on Functions from {\(\mathbb{R}\)} into Real Banach Space}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {185--191}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0020}, doi = {10.2478/FORMA-2013-0020}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES13b, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {Differential Equations on Functions from {R} into Real Banach Space}, journal = {Formaliz. Math.}, volume = {21}, number = {4}, pages = {261--272}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0028}, doi = {10.2478/FORMA-2013-0028}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES13b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaumowiczP13, author = {Adam Naumowicz and Radoslaw Piliszek}, title = {More on Divisibility Criteria for Selected Primes}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {87--94}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0010}, doi = {10.2478/FORMA-2013-0010}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NaumowiczP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NiewiadomskaG13, author = {Eliza Niewiadomska and Adam Grabowski}, title = {Introduction to Formal Preference Spaces}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {223--233}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0024}, doi = {10.2478/FORMA-2013-0024}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NiewiadomskaG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiFS13, author = {Hiroyuki Okazaki and Yuichi Futa and Yasunari Shidama}, title = {Constructing Binary Huffman Tree}, journal = {Formaliz. Math.}, volume = {21}, number = {2}, pages = {133--143}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0015}, doi = {10.2478/FORMA-2013-0015}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiFS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiS13, author = {Hiroyuki Okazaki and Yasunari Shidama}, title = {Random Variables and Product of Probability Spaces}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {33--39}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0003}, doi = {10.2478/FORMA-2013-0003}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiYS13, author = {Hiroyuki Okazaki and Hiroshi Yamazaki and Yasunari Shidama}, title = {Isomorphisms of Direct Products of Finite Commutative Groups}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {65--74}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0007}, doi = {10.2478/FORMA-2013-0007}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiYS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi13, author = {Marco Riccardi}, title = {Object-Free Definition of Categories}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {193--205}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0021}, doi = {10.2478/FORMA-2013-0021}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Rowinska-SchwarzwellerS13, author = {Agnieszka Rowinska{-}Schwarzweller and Christoph Schwarzweller}, title = {A Test for the Stability of Networks}, journal = {Formaliz. Math.}, volume = {21}, number = {1}, pages = {47--53}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0005}, doi = {10.2478/FORMA-2013-0005}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Rowinska-SchwarzwellerS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiONS13, author = {Hiroshi Yamazaki and Hiroyuki Okazaki and Kazuhisa Nakasho and Yasunari Shidama}, title = {Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {207--211}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0022}, doi = {10.2478/FORMA-2013-0022}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YamazakiONS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AraiOS12, author = {Kenichi Arai and Hiroyuki Okazaki and Yasunari Shidama}, title = {Isomorphisms of Direct Products of Finite Cyclic Groups}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {343--347}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0038-5}, doi = {10.2478/V10037-012-0038-5}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AraiOS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek12, author = {Grzegorz Bancerek}, title = {Semantics of {MML} Query}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {147--155}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0017-x}, doi = {10.2478/V10037-012-0017-X}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Bancerek12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek12a, author = {Grzegorz Bancerek}, title = {Free Term Algebras}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {239--256}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0029-6}, doi = {10.2478/V10037-012-0029-6}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Bancerek12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek12b, author = {Grzegorz Bancerek}, title = {Program Algebra over an Algebra}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {309--341}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0037-6}, doi = {10.2478/V10037-012-0037-6}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Bancerek12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/BancerekKK12, author = {Grzegorz Bancerek and Hidetsune Kobayashi and Artur Kornilowicz}, title = {Valuation Theory. Part {I}}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {7--14}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0002-4}, doi = {10.2478/V10037-012-0002-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/BancerekKK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouOS12, author = {Noboru Endou and Hiroyuki Okazaki and Yasunari Shidama}, title = {Higher-Order Partial Differentiation}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {113--124}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0015-z}, doi = {10.2478/V10037-012-0015-Z}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/EndouOS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOMS12, author = {Yuichi Futa and Hiroyuki Okazaki and Daichi Mizushima and Yasunari Shidama}, title = {Operations of Points on Elliptic Curve in Projective Coordinates}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {87--95}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0012-2}, doi = {10.2478/V10037-012-0012-2}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOMS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS12, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Z-modules}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {47--59}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0007-z}, doi = {10.2478/V10037-012-0007-Z}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS12a, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Quotient Module of Z-module}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {205--214}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0024-y}, doi = {10.2478/V10037-012-0024-Y}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS12b, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Free {\(\mathbb{Z}\)}-module}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {275--280}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0033-x}, doi = {10.2478/V10037-012-0033-X}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Giero12, author = {Mariusz Giero}, title = {The Derivations of Temporal Logic Formulas}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {215--219}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0025-x}, doi = {10.2478/V10037-012-0025-X}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Giero12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Giero12a, author = {Mariusz Giero}, title = {The Properties of Sets of Temporal Logic Subformulas}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {221--226}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0026-9}, doi = {10.2478/V10037-012-0026-9}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Giero12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Giero12b, author = {Mariusz Giero}, title = {Weak Completeness Theorem for Propositional Linear Time Temporal Logic}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {227--234}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0027-8}, doi = {10.2478/V10037-012-0027-8}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Giero12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger12, author = {Peter Jaeger}, title = {Elementary Introduction to Stochastic Finance in Discrete Time}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {1--5}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0001-5}, doi = {10.2478/V10037-012-0001-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KanazashiOS12, author = {Katuhiko Kanazashi and Hiroyuki Okazaki and Yasunari Shidama}, title = {Functional Space \emph{C}({\(\omega\)}), \emph{C}\({}_{\mbox{0}}\)({\(\omega\)})}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {15--22}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0003-3}, doi = {10.2478/V10037-012-0003-3}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KanazashiOS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz12, author = {Artur Kornilowicz}, title = {Cayley-Dickson Construction}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {281--290}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0034-9}, doi = {10.2478/V10037-012-0034-9}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz12a, author = {Artur Kornilowicz}, title = {Products in Categories without Uniqueness of cod and dom}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {303--307}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0036-7}, doi = {10.2478/V10037-012-0036-7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KornilowiczR12, author = {Artur Kornilowicz and Marco Riccardi}, title = {The Borsuk-Ulam Theorem}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {105--112}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0014-0}, doi = {10.2478/V10037-012-0014-0}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/KornilowiczR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangW12, author = {Xiquan Liang and Tao Wang}, title = {Some Basic Properties of Some Special Matrices. Part {III}}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {73--77}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0010-4}, doi = {10.2478/V10037-012-0010-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MaL12, author = {Na Ma and Xiquan Liang}, title = {Basic Properties of Primitive Root and Order Function}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {265--269}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0031-z}, doi = {10.2478/V10037-012-0031-Z}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/MaL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaKS12, author = {Keiichi Miyajima and Artur Kornilowicz and Yasunari Shidama}, title = {Riemann Integral of Functions from {R} into \emph{n}-dimensional Real Normed Space}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {79--86}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0011-3}, doi = {10.2478/V10037-012-0011-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaKS12a, author = {Keiichi Miyajima and Artur Kornilowicz and Yasunari Shidama}, title = {Contracting Mapping on Normed Linear Space}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {291--301}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0035-8}, doi = {10.2478/V10037-012-0035-8}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaKS12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaKS12, author = {Keiko Narita and Artur Kornilowicz and Yasunari Shidama}, title = {The Differentiable Functions from {R} into \emph{R}\({}^{\mbox{\emph{n}}}\)}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {65--71}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0009-x}, doi = {10.2478/V10037-012-0009-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NaritaKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Okazaki12, author = {Hiroyuki Okazaki}, title = {Posterior Probability on Finite Set}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {257--263}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0030-0}, doi = {10.2478/V10037-012-0030-0}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Okazaki12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiAS12, author = {Hiroyuki Okazaki and Yosiki Aoki and Yasunari Shidama}, title = {Extended Euclidean Algorithm and {CRT} Algorithm}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {175--179}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0020-2}, doi = {10.2478/V10037-012-0020-2}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiAS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiS12, author = {Hiroyuki Okazaki and Yasunari Shidama}, title = {Formalization of the Data Encryption Standard}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {125--146}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0016-y}, doi = {10.2478/V10037-012-0016-Y}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak12, author = {Karol Pak}, title = {The Rotation Group}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {23--29}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0004-2}, doi = {10.2478/V10037-012-0004-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak12a, author = {Karol Pak}, title = {The Friendship Theorem}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {235--237}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0028-7}, doi = {10.2478/V10037-012-0028-7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Pak12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi12, author = {Marco Riccardi}, title = {Planes and Spheres as Topological Manifolds. Stereographic Projection}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {41--45}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0006-0}, doi = {10.2478/V10037-012-0006-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/RiccardiK12, author = {Marco Riccardi and Artur Kornilowicz}, title = {Fundamental Group of n-sphere for n {\(\geq\)} 2}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {97--104}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0013-1}, doi = {10.2478/V10037-012-0013-1}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/RiccardiK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/RudnickiS12, author = {Piotr Rudnicki and Lorna Stewart}, title = {Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {161--174}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0019-8}, doi = {10.2478/V10037-012-0019-8}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/RudnickiS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SakuraiOS12, author = {Hideki Sakurai and Hiroyuki Okazaki and Yasunari Shidama}, title = {Banach's Continuous Inverse Theorem and Closed Graph Theorem}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {271--274}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0032-y}, doi = {10.2478/V10037-012-0032-Y}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SakuraiOS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchloderK12, author = {Julian J. Schl{\"{o}}der and Peter Koepke}, title = {Transition of Consistency and Satisfiability under Language Extensions}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {193--197}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0022-0}, doi = {10.2478/V10037-012-0022-0}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/SchloderK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SchloderK12a, author = {Julian J. Schl{\"{o}}der and Peter Koepke}, title = {The G{\"{o}}del Completeness Theorem for Uncountable Languages}, journal = {Formaliz. Math.}, volume = {20}, number = {3}, pages = {199--203}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0023-z}, doi = {10.2478/V10037-012-0023-Z}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/SchloderK12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller12, author = {Christoph Schwarzweller}, title = {Introduction to Rational Functions}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {181--191}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0021-1}, doi = {10.2478/V10037-012-0021-1}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Shidama12, author = {Yasunari Shidama}, title = {Differentiable Functions on Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {31--40}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0005-1}, doi = {10.2478/V10037-012-0005-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Shidama12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Shminke12, author = {Boris A. Shminke}, title = {Routh's, Menelaus' and Generalized Ceva's Theorems}, journal = {Formaliz. Math.}, volume = {20}, number = {2}, pages = {157--159}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0018-9}, doi = {10.2478/V10037-012-0018-9}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Shminke12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/WataseES12, author = {Yasushige Watase and Noboru Endou and Yasunari Shidama}, title = {On {L1} Space Formed by Complex-Valued Partial Functions}, journal = {Formaliz. Math.}, volume = {20}, number = {4}, pages = {349--357}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0039-4}, doi = {10.2478/V10037-012-0039-4}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/WataseES12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiBW12, author = {Hiroshi Yamazaki and Czeslaw Bylinski and Katsumi Wasaki}, title = {Morphology for Image Processing. Part {I}}, journal = {Formaliz. Math.}, volume = {20}, number = {1}, pages = {61--63}, year = {2012}, url = {https://doi.org/10.2478/v10037-012-0008-y}, doi = {10.2478/V10037-012-0008-Y}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YamazakiBW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek11, author = {Grzegorz Bancerek}, title = {Veblen Hierarchy}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {83--92}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0014-5}, doi = {10.2478/V10037-011-0014-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek11a, author = {Grzegorz Bancerek}, title = {Sorting by Exchanging}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {93--102}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0015-4}, doi = {10.2478/V10037-011-0015-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek11b, author = {Grzegorz Bancerek}, title = {Representation Theorem for Stacks}, journal = {Formaliz. Math.}, volume = {19}, number = {4}, pages = {241--250}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0033-2}, doi = {10.2478/V10037-011-0033-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek11b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Caminati11, author = {Marco B. Caminati}, title = {Preliminaries to Classical First Order Model Theory}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {155--167}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0025-2}, doi = {10.2478/V10037-011-0025-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Caminati11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Caminati11a, author = {Marco B. Caminati}, title = {Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {169--178}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0026-1}, doi = {10.2478/V10037-011-0026-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Caminati11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Caminati11b, author = {Marco B. Caminati}, title = {First Order Languages: Further Syntax and Semantics}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {179--192}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0027-0}, doi = {10.2478/V10037-011-0027-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Caminati11b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Caminati11c, author = {Marco B. Caminati}, title = {Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {193--203}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0028-z}, doi = {10.2478/V10037-011-0028-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Caminati11c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Caminati11d, author = {Marco B. Caminati}, title = {Sequent Calculus, Derivability, Provability. G{\"{o}}del's Completeness Theorem}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {205--222}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0029-y}, doi = {10.2478/V10037-011-0029-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Caminati11d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS11, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Formalization of Integral Linear Space}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {61--64}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0010-9}, doi = {10.2478/V10037-011-0010-9}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/FutaOS11a, author = {Yuichi Futa and Hiroyuki Okazaki and Yasunari Shidama}, title = {Set of Points on Elliptic Curve in Projective Coordinates}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {131--138}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0021-6}, doi = {10.2478/V10037-011-0021-6}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/FutaOS11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Giero11, author = {Mariusz Giero}, title = {The Axiomatization of Propositional Linear Time Temporal Logic}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {113--119}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0018-1}, doi = {10.2478/V10037-011-0018-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Giero11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/InoueNES11, author = {Takao Inou{\'{e}} and Adam Naumowicz and Noboru Endou and Yasunari Shidama}, title = {Partial Differentiation of Vector-Valued Functions on \emph{n}-Dimensional Real Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {1--9}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0001-x}, doi = {10.2478/V10037-011-0001-X}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/InoueNES11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/InoueNES11a, author = {Takao Inou{\'{e}} and Adam Naumowicz and Noboru Endou and Yasunari Shidama}, title = {Partial Differentiation, Differentiation and Continuity on \emph{n}-Dimensional Real Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {65--68}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0011-8}, doi = {10.2478/V10037-011-0011-8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/InoueNES11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jaeger11, author = {Peter Jaeger}, title = {Borel-Cantelli Lemma}, journal = {Formaliz. Math.}, volume = {19}, number = {4}, pages = {227--232}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0031-4}, doi = {10.2478/V10037-011-0031-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jaeger11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KanazashiOS11, author = {Katuhiko Kanazashi and Hiroyuki Okazaki and Yasunari Shidama}, title = {Banach Algebra of Bounded Complex-Valued Functionals}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {121--126}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0019-0}, doi = {10.2478/V10037-011-0019-0}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/KanazashiOS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz11, author = {Artur Kornilowicz}, title = {Mazur-Ulam Theorem}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {127--130}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0020-7}, doi = {10.2478/V10037-011-0020-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz11a, author = {Artur Kornilowicz}, title = {Cayley's Theorem}, journal = {Formaliz. Math.}, volume = {19}, number = {4}, pages = {223--225}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0030-5}, doi = {10.2478/V10037-011-0030-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangL11, author = {Xiquan Liang and Dailu Li}, title = {Some Properties of \emph{p}-Groups and Commutative \emph{p}-Groups}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {11--15}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0002-9}, doi = {10.2478/V10037-011-0002-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangTJ11, author = {Xiquan Liang and Ling Tang and Xichun Jiang}, title = {Difference and Difference Quotient. Part {IV}}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {35--39}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0006-5}, doi = {10.2478/V10037-011-0006-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangTJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaKS11, author = {Keiichi Miyajima and Takahiro Kato and Yasunari Shidama}, title = {Riemann Integral of Functions from {R} into Real Normed Space}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {17--22}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0003-8}, doi = {10.2478/V10037-011-0003-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaKS11, author = {Keiko Narita and Artur Kornilowicz and Yasunari Shidama}, title = {More on the Continuity of Real Functions}, journal = {Formaliz. Math.}, volume = {19}, number = {4}, pages = {233--239}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0032-3}, doi = {10.2478/V10037-011-0032-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NaritaKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Nittka11, author = {Robin Nittka}, title = {Conway's Games and Some of their Basic Properties}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {73--81}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0013-6}, doi = {10.2478/V10037-011-0013-6}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Nittka11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiAS11, author = {Hiroyuki Okazaki and Kenichi Arai and Yasunari Shidama}, title = {Normal Subgroup of Product of Groups}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {23--26}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0004-7}, doi = {10.2478/V10037-011-0004-7}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiAS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiENS11, author = {Hiroyuki Okazaki and Noboru Endou and Keiko Narita and Yasunari Shidama}, title = {Differentiable Functions into Real Normed Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {69--72}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0012-7}, doi = {10.2478/V10037-011-0012-7}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiENS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiES11, author = {Hiroyuki Okazaki and Noboru Endou and Yasunari Shidama}, title = {More on Continuous Functions on Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {45--49}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0008-3}, doi = {10.2478/V10037-011-0008-3}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiES11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiES11a, author = {Hiroyuki Okazaki and Noboru Endou and Yasunari Shidama}, title = {Cartesian Products of Family of Real Linear Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {51--59}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0009-2}, doi = {10.2478/V10037-011-0009-2}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiES11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak11, author = {Karol Pak}, title = {Linear Transformations of Euclidean Topological Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {103--108}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0016-3}, doi = {10.2478/V10037-011-0016-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak11a, author = {Karol Pak}, title = {Linear Transformations of Euclidean Topological Spaces. Part {II}}, journal = {Formaliz. Math.}, volume = {19}, number = {2}, pages = {109--112}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0017-2}, doi = {10.2478/V10037-011-0017-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak11b, author = {Karol Pak}, title = {Continuity of Barycentric Coordinates in Euclidean Topological Spaces}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {139--144}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0022-5}, doi = {10.2478/V10037-011-0022-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak11b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak11c, author = {Karol Pak}, title = {Brouwer Fixed Point Theorem for Simplexes}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {145--150}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0023-4}, doi = {10.2478/V10037-011-0023-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak11c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak11d, author = {Karol Pak}, title = {Brouwer Fixed Point Theorem in the General Case}, journal = {Formaliz. Math.}, volume = {19}, number = {3}, pages = {151--153}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0024-3}, doi = {10.2478/V10037-011-0024-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak11d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi11, author = {Marco Riccardi}, title = {The Definition of Topological Manifolds}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {41--44}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0007-4}, doi = {10.2478/V10037-011-0007-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/RudnickiS11, author = {Piotr Rudnicki and Lorna Stewart}, title = {The Mycielskian of a Graph}, journal = {Formaliz. Math.}, volume = {19}, number = {1}, pages = {27--34}, year = {2011}, url = {https://doi.org/10.2478/v10037-011-0005-6}, doi = {10.2478/V10037-011-0005-6}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/RudnickiS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek10, author = {Grzegorz Bancerek}, title = {A Model of Mizar Concepts - Unification}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {65--75}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0009-7}, doi = {10.2478/V10037-010-0009-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Inoue10, author = {Takao Inou'e}, title = {Second-Order Partial Differentiation of Real Ternary Functions}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {113--127}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0015-9}, doi = {10.2478/V10037-010-0015-9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Inoue10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/InoueES10, author = {Takao Inou'e and Noboru Endou and Yasunari Shidama}, title = {Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {207--212}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0025-7}, doi = {10.2478/V10037-010-0025-7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/InoueES10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/InoueXL10, author = {Takao Inou'e and Bing Xie and Xiquan Liang}, title = {Partial Differentiation of Real Ternary Functions}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {39--46}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0005-y}, doi = {10.2478/V10037-010-0005-Y}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/InoueXL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IshidaS10, author = {Kazuhisa Ishida and Yasunari Shidama}, title = {Fixpoint Theorem for Continuous Functions on Chain-Complete Posets}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {47--51}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0006-x}, doi = {10.2478/V10037-010-0006-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IshidaS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Jastrzebska10, author = {Magdalena Jastrzebska}, title = {Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {77--80}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0010-1}, doi = {10.2478/V10037-010-0010-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Jastrzebska10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kaliszyk10, author = {Cezary Kaliszyk}, title = {Counting Derangements, Non Bijective Functions and the Birthday Problem}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {197--200}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0023-9}, doi = {10.2478/V10037-010-0023-9}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Kaliszyk10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/KanazashiES10, author = {Katuhiko Kanazashi and Noboru Endou and Yasunari Shidama}, title = {Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {11--16}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0002-1}, doi = {10.2478/V10037-010-0002-1}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/KanazashiES10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz10, author = {Artur Kornilowicz}, title = {The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {81--85}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0011-0}, doi = {10.2478/V10037-010-0011-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz10a, author = {Artur Kornilowicz}, title = {Miscellaneous Facts about Open Functions and Continuous Functions}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {171--174}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0019-5}, doi = {10.2478/V10037-010-0019-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz10b, author = {Artur Kornilowicz}, title = {On the Continuity of Some Functions}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {175--183}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0020-z}, doi = {10.2478/V10037-010-0020-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz10b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiLM10, author = {Dailu Li and Xiquan Liang and Yanhong Men}, title = {Nilpotent Groups}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {53--56}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0007-9}, doi = {10.2478/V10037-010-0007-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiLM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiM10, author = {Bo Li and Na Ma}, title = {Integrability Formulas. Part {I}}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {27--37}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0004-z}, doi = {10.2478/V10037-010-0004-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiM10a, author = {Bo Li and Na Ma}, title = {Integrability Formulas. Part {III}}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {143--157}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0017-7}, doi = {10.2478/V10037-010-0017-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiM10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiML10, author = {Bo Li and Na Ma and Xiquan Liang}, title = {Integrability Formulas. Part {II}}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {129--141}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0016-8}, doi = {10.2478/V10037-010-0016-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiML10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangT10, author = {Xiquan Liang and Ling Tang}, title = {Difference and Difference Quotient. Part {III}}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {57--64}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0008-8}, doi = {10.2478/V10037-010-0008-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangZB10, author = {Xiquan Liang and Piqing Zhao and Ou Bai}, title = {Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {1--10}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0001-2}, doi = {10.2478/V10037-010-0001-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangZB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaK10, author = {Keiichi Miyajima and Takahiro Kato}, title = {The Sum and Product of Finite Sequences of Complex Numbers}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {107--111}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0014-x}, doi = {10.2478/V10037-010-0014-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaKS10, author = {Keiichi Miyajima and Takahiro Kato and Yasunari Shidama}, title = {Riemann Integral of Functions {R} into {C}}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {201--206}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0024-8}, doi = {10.2478/V10037-010-0024-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaKS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiS10, author = {Hiroyuki Okazaki and Yasunari Shidama}, title = {Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {213--217}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0026-6}, doi = {10.2478/V10037-010-0026-6}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak10, author = {Karol Pak}, title = {Affine Independence in Vector Spaces}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {87--93}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0012-z}, doi = {10.2478/V10037-010-0012-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak10a, author = {Karol Pak}, title = {Abstract Simplicial Complexes}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {95--106}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0013-y}, doi = {10.2478/V10037-010-0013-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak10b, author = {Karol Pak}, title = {The Geometric Interior in Real Linear Spaces}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {185--188}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0021-y}, doi = {10.2478/V10037-010-0021-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak10b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak10c, author = {Karol Pak}, title = {Sperner's Lemma}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {189--196}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0022-x}, doi = {10.2478/V10037-010-0022-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak10c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi10, author = {Marco Riccardi}, title = {Free Magmas}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {17--26}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0003-0}, doi = {10.2478/V10037-010-0003-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/WataseES10, author = {Yasushige Watase and Noboru Endou and Yasunari Shidama}, title = {On Lp Space Formed by Real-Valued Partial Functions}, journal = {Formaliz. Math.}, volume = {18}, number = {1-4}, pages = {159--169}, year = {2010}, url = {https://doi.org/10.2478/v10037-010-0018-6}, doi = {10.2478/V10037-010-0018-6}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/WataseES10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/AraiO09, author = {Kenichi Arai and Hiroyuki Okazaki}, title = {Properties of Primes and Multiplicative Group of a Field}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {151--155}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0017-7}, doi = {10.2478/V10037-009-0017-7}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/AraiO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek09, author = {Grzegorz Bancerek}, title = {Epsilon Numbers and Cantor Normal Form}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {249--256}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0032-8}, doi = {10.2478/V10037-009-0032-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Doll09, author = {Agnes Doll}, title = {Kolmogorov's Zero-One Law}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {73--77}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0008-8}, doi = {10.2478/V10037-009-0008-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Doll09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouOS09, author = {Noboru Endou and Hiroyuki Okazaki and Yasunari Shidama}, title = {Hopf Extension Theorem of Measure}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {157--162}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0018-6}, doi = {10.2478/V10037-009-0018-6}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/EndouOS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GrabowskiJ09, author = {Adam Grabowski and Magdalena Jastrzebska}, title = {On the Lattice of Intervals and Rough Sets}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {237--244}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0030-x}, doi = {10.2478/V10037-009-0030-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/GrabowskiJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/JitsukawaKSN09, author = {Mitsuru Jitsukawa and Pauline N. Kawamoto and Yasunari Shidama and Yatsuka Nakamura}, title = {Cell Petri Net Concepts}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {37--42}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0004-z}, doi = {10.2478/V10037-009-0004-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/JitsukawaKSN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz09, author = {Artur Kornilowicz}, title = {Arithmetic Operations on Functions from Sets into Functional Sets}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {43--60}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0005-y}, doi = {10.2478/V10037-009-0005-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Kornilowicz09a, author = {Artur Kornilowicz}, title = {Collective Operations on Number-Membered Sets}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {99--115}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0011-0}, doi = {10.2478/V10037-009-0011-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Kornilowicz09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiM09, author = {Bo Li and Yanhong Men}, title = {Basic Properties of Even and Odd Functions}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {187--192}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0022-x}, doi = {10.2478/V10037-009-0022-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiMLL09, author = {Bo Li and Yanhong Men and Dailu Li and Xiquan Liang}, title = {Basic Properties of Periodic Functions}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {245--248}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0031-9}, doi = {10.2478/V10037-009-0031-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiMLL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiWLZ09, author = {Bo Li and Pan Wang and Xiquan Liang and Yanping Zhuang}, title = {Some Operations on Quaternion Numbers}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {61--65}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0006-x}, doi = {10.2478/V10037-009-0006-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiWLZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiZML09, author = {Bo Li and Yanping Zhuang and Yanhong Men and Xiquan Liang}, title = {Several Integrability Formulas of Special Functions. Part {II}}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {23--35}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0003-0}, doi = {10.2478/V10037-009-0003-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiZML09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiZXW09, author = {Bo Li and Yanping Zhuang and Bing Xie and Pan Wang}, title = {Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {11--21}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0002-1}, doi = {10.2478/V10037-009-0002-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiZXW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangL09, author = {Xiquan Liang and Dailu Li}, title = {On Rough Subgroup of a Group}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {213--217}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0026-6}, doi = {10.2478/V10037-009-0026-6}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MiyajimaS09, author = {Keiichi Miyajima and Yasunari Shidama}, title = {Riemann Integral of Functions from {R} into Rn}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {179--185}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0021-y}, doi = {10.2478/V10037-009-0021-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/MiyajimaS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakamuraKOS09, author = {Yatsuka Nakamura and Artur Kornilowicz and Nagato Oya and Yasunari Shidama}, title = {The Real Vector Spaces of Finite Sequences are Finite Dimensional}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {1--9}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0001-2}, doi = {10.2478/V10037-009-0001-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakamuraKOS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES09, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {The Measurability of Complex-Valued Functional Sequences}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {89--97}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0010-1}, doi = {10.2478/V10037-009-0010-1}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES09a, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {Lebesgue's Convergence Theorem of Complex-Valued Function}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {137--145}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0015-9}, doi = {10.2478/V10037-009-0015-9}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Okazaki09, author = {Hiroyuki Okazaki}, title = {Probability on Finite and Discrete Set and Uniform Distribution}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {173--178}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0020-z}, doi = {10.2478/V10037-009-0020-Z}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Okazaki09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiS09, author = {Hiroyuki Okazaki and Yasunari Shidama}, title = {Probability on Finite Set and Real-Valued Random Variables}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {129--136}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0014-x}, doi = {10.2478/V10037-009-0014-X}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/PacharapokinYSN09, author = {Chanapat Pacharapokin and Hiroshi Yamazaki and Yasunari Shidama and Yatsuka Nakamura}, title = {Complex Function Differentiability}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {67--72}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0007-9}, doi = {10.2478/V10037-009-0007-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/PacharapokinYSN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak09, author = {Karol Pak}, title = {Basic Properties of Metrizable Topological Spaces}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {201--205}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0024-8}, doi = {10.2478/V10037-009-0024-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak09a, author = {Karol Pak}, title = {Small Inductive Dimension of Topological Spaces}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {207--212}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0025-7}, doi = {10.2478/V10037-009-0025-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak09b, author = {Karol Pak}, title = {Small Inductive Dimension of Topological Spaces. Part {II}}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {219--222}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0027-5}, doi = {10.2478/V10037-009-0027-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak09b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi09, author = {Marco Riccardi}, title = {Solution of Cubic and Quartic Equations}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {117--122}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0012-z}, doi = {10.2478/V10037-009-0012-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi09a, author = {Marco Riccardi}, title = {The Perfect Number Theorem and Wilson's Theorem}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {123--128}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0013-y}, doi = {10.2478/V10037-009-0013-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Rudnicki09, author = {Piotr Rudnicki}, title = {Dilworth's Decomposition Theorem for Posets}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {223--232}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0028-4}, doi = {10.2478/V10037-009-0028-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Rudnicki09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Trybulec09, author = {Michal Trybulec}, title = {Labelled State Transition Systems}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {163--171}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0019-5}, doi = {10.2478/V10037-009-0019-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Trybulec09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Trybulec09a, author = {Michal Trybulec}, title = {Equivalence of Deterministic and Nondeterministic Epsilon Automata}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {193--199}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0023-9}, doi = {10.2478/V10037-009-0023-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Trybulec09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/XieLS09, author = {Bing Xie and Xiquan Liang and Xiuzhuan Shen}, title = {Second-Order Partial Differentiation of Real Binary Functions}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {79--87}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0009-7}, doi = {10.2478/V10037-009-0009-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/XieLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiSPN09, author = {Hiroshi Yamazaki and Yasunari Shidama and Chanapat Pacharapokin and Yatsuka Nakamura}, title = {The Cauchy-Riemann Differential Equations of Complex Functions}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {147--149}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0016-8}, doi = {10.2478/V10037-009-0016-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YamazakiSPN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiYWS09, author = {Masahiko Yamazaki and Hiroshi Yamazaki and Katsumi Wasaki and Yasunari Shidama}, title = {Complex Integral}, journal = {Formaliz. Math.}, volume = {17}, number = {1-4}, pages = {233--236}, year = {2009}, url = {https://doi.org/10.2478/v10037-009-0029-3}, doi = {10.2478/V10037-009-0029-3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YamazakiYWS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Alama08, author = {Jesse Alama}, title = {The Vector Space of Subsets of a Set Based on Symmetric Difference}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {1--5}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0001-7}, doi = {10.2478/V10037-008-0001-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Alama08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Alama08a, author = {Jesse Alama}, title = {Euler's Polyhedron Formula}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {7--17}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0002-6}, doi = {10.2478/V10037-008-0002-6}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Alama08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek08, author = {Grzegorz Bancerek}, title = {Mizar Analysis of Algorithms: Algorithms over Integers}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {177--194}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0024-0}, doi = {10.2478/V10037-008-0024-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek08a, author = {Grzegorz Bancerek}, title = {Towards the Construction of a Model of Mizar Concepts}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {207--230}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0027-x}, doi = {10.2478/V10037-008-0027-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/BancerekS08, author = {Grzegorz Bancerek and Yasunari Shidama}, title = {Introduction to Matroids}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {325--332}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0040-0}, doi = {10.2478/V10037-008-0040-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/BancerekS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/DingGW08, author = {Yuzhong Ding and Fuguo Ge and Chenglong Wu}, title = {BCI-homomorphisms}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {371--376}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0045-8}, doi = {10.2478/V10037-008-0045-8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/DingGW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouNS08, author = {Noboru Endou and Keiko Narita and Yasunari Shidama}, title = {The Lebesgue Monotone Convergence Theorem}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {167--175}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0023-1}, doi = {10.2478/V10037-008-0023-1}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/EndouNS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouNS08a, author = {Noboru Endou and Keiko Narita and Yasunari Shidama}, title = {Fatou's Lemma and the Lebesgue's Convergence Theorem}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {305--309}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0037-8}, doi = {10.2478/V10037-008-0037-8}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/EndouNS08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EndouSN08, author = {Noboru Endou and Yasunari Shidama and Keiko Narita}, title = {Egoroff's Theorem}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {57--63}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0009-z}, doi = {10.2478/V10037-008-0009-Z}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/EndouSN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/EnrightR08, author = {Jessica A. Enright and Piotr Rudnicki}, title = {Helly Property for Subtrees}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {91--96}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0013-3}, doi = {10.2478/V10037-008-0013-3}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/EnrightR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ge08, author = {Fuguo Ge}, title = {Inner Products, Group, Ring of Quaternion Numbers}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {135--139}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0019-x}, doi = {10.2478/V10037-008-0019-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ge08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/GeX08, author = {Fuguo Ge and Bing Xie}, title = {Several Differentiation Formulas of Special Functions. Part {VII}}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {389--399}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0047-6}, doi = {10.2478/V10037-008-0047-6}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/GeX08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Ishida08, author = {Kazuhisa Ishida}, title = {Model Checking. Part {II}}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {231--245}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0028-9}, doi = {10.2478/V10037-008-0028-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Ishida08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/IshidaS08, author = {Kazuhisa Ishida and Yasunari Shidama}, title = {Model Checking. Part {III}}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {339--353}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0042-y}, doi = {10.2478/V10037-008-0042-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/IshidaS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiZL08, author = {Bo Li and Yanping Zhuang and Xiquan Liang}, title = {Difference and Difference Quotient. Part {II}}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {45--49}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0007-1}, doi = {10.2478/V10037-008-0007-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiZL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/LiangX08, author = {Xiquan Liang and Bing Xie}, title = {Inverse Trigonometric Functions Arctan and Arccot}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {147--158}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0021-3}, doi = {10.2478/V10037-008-0021-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/LiangX08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MadraG08, author = {Elzbieta Madra and Adam Grabowski}, title = {Orthomodular Lattices}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {277--282}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0033-z}, doi = {10.2478/V10037-008-0033-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/MadraG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/MatsuzakiES08, author = {Hidenori Matsuzaki and Noboru Endou and Yasunari Shidama}, title = {Convex Sets and Convex Combinations on Complex Linear Spaces}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {123--133}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0018-y}, doi = {10.2478/V10037-008-0018-Y}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/MatsuzakiES08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakamuraI08, author = {Yatsuka Nakamura and Hisashi Ito}, title = {Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {283--288}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0034-y}, doi = {10.2478/V10037-008-0034-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakamuraI08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NakamuraOC08, author = {Yatsuka Nakamura and Kunio Oniumi and Wenpai Chang}, title = {Invertibility of Matrices of Field Elements}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {195--202}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0025-z}, doi = {10.2478/V10037-008-0025-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/NakamuraOC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES08, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {The First Mean Value Theorem for Integrals}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {51--55}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0008-0}, doi = {10.2478/V10037-008-0008-0}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/NaritaES08a, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, title = {Integral of Complex-Valued Measurable Function}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {319--324}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0039-6}, doi = {10.2478/V10037-008-0039-6}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/NaritaES08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/OkazakiS08, author = {Hiroyuki Okazaki and Yasunari Shidama}, title = {Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {103--107}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0015-1}, doi = {10.2478/V10037-008-0015-1}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/OkazakiS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak08, author = {Karol Pak}, title = {Complete Spaces}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {35--43}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0006-2}, doi = {10.2478/V10037-008-0006-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak08a, author = {Karol Pak}, title = {Solutions of Linear Equations}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {81--90}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0012-4}, doi = {10.2478/V10037-008-0012-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak08b, author = {Karol Pak}, title = {Block Diagonal Matrices}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {259--267}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0031-1}, doi = {10.2478/V10037-008-0031-1}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak08b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak08c, author = {Karol Pak}, title = {Linear Map of Matrices}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {269--275}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0032-0}, doi = {10.2478/V10037-008-0032-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak08c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak08d, author = {Karol Pak}, title = {Eigenvalues of a Linear Transformation}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {289--295}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0035-x}, doi = {10.2478/V10037-008-0035-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak08d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Pak08e, author = {Karol Pak}, title = {Jordan Matrix Decomposition}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {297--303}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0036-9}, doi = {10.2478/V10037-008-0036-9}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Pak08e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi08, author = {Marco Riccardi}, title = {Heron's Formula and Ptolemy's Theorem}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {97--101}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0014-2}, doi = {10.2478/V10037-008-0014-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Riccardi08a, author = {Marco Riccardi}, title = {Ramsey's Theorem}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {203--205}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0026-y}, doi = {10.2478/V10037-008-0026-Y}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Riccardi08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SakuraiKS08, author = {Hideki Sakurai and Hisayoshi Kunimune and Yasunari Shidama}, title = {Uniform Boundedness Principle}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {19--21}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0003-5}, doi = {10.2478/V10037-008-0003-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SakuraiKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SakuraiKS08a, author = {Hideki Sakurai and Hisayoshi Kunimune and Yasunari Shidama}, title = {Open Mapping Theorem}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {401--403}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0048-5}, doi = {10.2478/V10037-008-0048-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SakuraiKS08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Schwarzweller08, author = {Christoph Schwarzweller}, title = {Modular Integer Arithmetic}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {247--252}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0029-8}, doi = {10.2478/V10037-008-0029-8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Schwarzweller08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/ShidamaSE08, author = {Yasunari Shidama and Hikofumi Suzuki and Noboru Endou}, title = {Banach Algebra of Bounded Functionals}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {115--122}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0017-z}, doi = {10.2478/V10037-008-0017-Z}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/ShidamaSE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SunPWL08, author = {Tao Sun and Weibo Pan and Chenglong Wu and Xiquan Liang}, title = {General Theory of Quasi-Commutative BCI-algebras}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {253--258}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0030-2}, doi = {10.2478/V10037-008-0030-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SunPWL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/SunZL08, author = {Tao Sun and Junjie Zhao and Xiquan Liang}, title = {BCI-algebras with Condition {(S)} and their Properties}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {65--71}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0010-6}, doi = {10.2478/V10037-008-0010-6}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/SunZL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Trybulec08, author = {Michal Trybulec}, title = {Regular Expression Quantifiers - at least m Occurrences}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {29--33}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0005-3}, doi = {10.2478/V10037-008-0005-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Trybulec08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Wasaki08, author = {Katsumi Wasaki}, title = {Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part {II}}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {73--80}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0011-5}, doi = {10.2478/V10037-008-0011-5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Wasaki08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Wasaki08a, author = {Katsumi Wasaki}, title = {Stability of the 4-2 Binary Addition Circuit Cells. Part {I}}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {377--387}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0046-7}, doi = {10.2478/V10037-008-0046-7}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Wasaki08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/WataseES08, author = {Yasushige Watase and Noboru Endou and Yasunari Shidama}, title = {On {L1} Space Formed by Real-Valued Partial Functions}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {361--369}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0044-9}, doi = {10.2478/V10037-008-0044-9}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/WataseES08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/WuD08, author = {Chenglong Wu and Yuzhong Ding}, title = {Ideals of BCI-algebras and their Properties}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {109--114}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0016-0}, doi = {10.2478/V10037-008-0016-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/WuD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/XieLG08, author = {Bing Xie and Xiquan Liang and Fuguo Ge}, title = {Inverse Trigonometric Functions Arcsec and Arccosec}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {159--165}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0022-2}, doi = {10.2478/V10037-008-0022-2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/XieLG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/XieLL08, author = {Bing Xie and Xiquan Liang and Hongwei Li}, title = {Partial Differentiation of Real Binary Functions}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {333--338}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0041-z}, doi = {10.2478/V10037-008-0041-Z}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/XieLL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YamazakiYS08, author = {Masahiko Yamazaki and Hiroshi Yamazaki and Yasunari Shidama}, title = {Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {311--317}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0038-7}, doi = {10.2478/V10037-008-0038-7}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YamazakiYS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YanLZ08, author = {Li Yan and Xiquan Liang and Junjie Zhao}, title = {Gauss Lemma and Law of Quadratic Reciprocity}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {23--28}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0004-4}, doi = {10.2478/V10037-008-0004-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YanLZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/YueL08, author = {Xiaopeng Yue and Xiquan Liang}, title = {Basic Properties of Circulant Matrices and Anti-Circular Matrices}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {355--360}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0043-x}, doi = {10.2478/V10037-008-0043-X}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/YueL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/ZhaoLY08, author = {Junjie Zhao and Xiquan Liang and Li Yan}, title = {Several Higher Differentiation Formulas of Special Functions}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {141--145}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0020-4}, doi = {10.2478/V10037-008-0020-4}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/ZhaoLY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.