default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized 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 - Yasushige Watase:
Introduction to Algebraic Geometry. 67-73 - Sebastian Koch:
About Regular Graphs. 75-86 - Artur Kornilowicz:
Elementary Number Theory Problems. Part VIII. 87-100 - Alexander M. Nelson:
Internal Direct Products and the Universal Property of Direct Product Groups. 101-120 - Christoph Schwarzweller:
Normal Extensions. 121-130 - Noboru Endou:
Antiderivatives and Integration. 131-141 - Yasushige Watase:
Embedding Principle for Rings and Abelian Groups. 143-150 - Adam Grabowski:
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations. 151-159 - Artur Kornilowicz:
Elementary Number Theory Problems. Part IX. 161-169 - Artur Kornilowicz:
Elementary Number Theory Problems. Part X - Diophantine Equations. 171-180 - Noboru Endou, Yasunari Shidama:
Multidimensional Measure Space and Integration. 181-192 - Karol Pak:
Conway Numbers - Formal Introduction. 193-203 - Karol Pak:
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers. 205-213 - Karol Pak:
The Ring of Conway Numbers in Mizar. 215-228 - Adam Naumowicz:
Elementary Number Theory Problems. Part XI. 229-275 - Adam Grabowski:
Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression. 277-286 - Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller:
Simple Extensions. 287-298 - Takashi Mitsuishi:
Symmetrical Piecewise Linear Functions Composed by Absolute Value Function. 299-308 - Noboru Endou, Yasunari Shidama:
Integral of Continuous Functions of Two Variables. 309-324 - Roland Coghetto, Adam Grabowski:
Tarski Geometry Axioms. Part V - Half-planes and Planes. 325-339 - Christoph Schwarzweller:
Extensions of Orderings. 341-352
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.
last updated on 2026-07-11 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
