default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fm/fm29.bht:"
download as .bib file
@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}
}
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-19 21:51 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:
