![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Formalized Mathematics, Volume 31
Volume 31, Number 1, September 2023
- Yasushige Watase:
On Bag of 1. Part I. 1-8 - Noboru Endou
:
Differentiation on Interval. 9-21 - Artur Kornilowicz
:
Elementary Number Theory Problems. Part VII. 23-29 - Sebastian Koch
:
Introduction to Graph Enumerations. 31-52 - Hiroyuki Okazaki:
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors. 53-57 - Takashi Mitsuishi:
Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method. 59-66
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.