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