Search dblp for Publications

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

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