default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 33
Volume 33, Number 1, 2025
- Karol Pak
:
Surreal Numbers: A Study of Square Roots. 1-10 - Karol Pak:
Surreal Dyadic and Real Numbers: A Formal Construction. 11-23 - Karol Pak:
Conway's Normal Form in the Mizar System. 25-41 - Sebastian Koch:
Free Product of Groups. 43-55 - Taneli Huuskonen:
Extensions of Languages in Polish Notation. 57-64 - Alexander M. Nelson:
Semidirect Products of Groups. 65-83 - Yasushige Watase:
Formalization of Wallis Infinite Product Formula for π and the Wallis Integral. 85-94 - Yasushige Watase:
A Formal Proof of Stirling's Formula. 95-102 - Kazuhisa Nakasho, Yasunari Shidama:
Higher Order Partial Differentiable Functions. 103-115 - Noboru Endou, Yasunari Shidama:
Measure for Product Space of Real Normed Spaces. 117-135 - Takashi Mitsuishi:
Triangular Fuzzy Set Composed of Two Intersecting Affine Maps. 137-144 - Artur Kornilowicz, Adam Naumowicz:
Elementary Number Theory Problems. Part XVII. 145-165 - Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller:
The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory. 165-174 - Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller:
Introduction to Galois Theory. 175-183 - Noboru Endou, Yasunari Shidama:
Integrability of Multivariable Continuous Functions. 185-206 - Rafal Ziobro:
Application of Complex Classes to Number Theory. 207-216 - Adam Grabowski:
Elementary Number Theory Problems. Part XVIII. 217-229 - Hiroyuki Okazaki, Takehiko Mieno:
Formalization of Separable Version of Banach-Alaoglu Theorem. 231-236 - Christoph Schwarzweller:
Characterization of Finite Galois Extensions. 237-244 - Karol Pak:
Elementary Number Theory Problems. Part XIX. 245-265
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-04-06 23:51 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
