default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/fm:"
download as .bib file
@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 = {Thu, 18 Jun 2020 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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Mon, 28 Aug 2023 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, 12 Feb 2023 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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, 12 Feb 2023 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Fri, 10 Dec 2021 00:00:00 +0100},
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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Mon, 28 Aug 2023 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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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, 12 Feb 2023 00:00:00 +0100},
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, 12 Feb 2023 00:00:00 +0100},
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, 12 Feb 2023 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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, 12 Feb 2023 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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.
retrieved on 2024-09-18 18:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
