default search action
Search dblp for Publications
export results for "toc:db/journals/fm/fm31.bht:"
@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} }
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.