Search dblp for Publications

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

 download as .bib file

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

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.