Search dblp for Publications

export results for "toc:db/journals/fm/fm25.bht:"

 download as .bib file

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

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.