Formalized Mathematics (original) (raw)
Have a personal or library account? Click to login
- Journals
- Formalized Mathematics
- Volume 14 (2006): Issue 4 (December 2006)
Volume 14 (2006): Issue 4 (Jan 2006)
Open Access
Journal detailsArticles & issues
Formalized Mathematics
All volumes and issues in this journal
12 articles
Open Access
|Jun 2008
Integral of Real-Valued Measurable Function1
[Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari") and [Noboru Endou](/search?commonSearchText="Endou, Noboru")
Open Access
|Jun 2008
Multiplication of Polynomials using Discrete Fourier Transformation
[Krzysztof Treyderowski](/search?commonSearchText="Treyderowski, Krzysztof") and [Christoph Schwarzweller](/search?commonSearchText="Schwarzweller, Christoph")
Open Access
|Jun 2008
Integrability and the Integral of Partial Functions from R into R1
[Noboru Endou](/search?commonSearchText="Endou, Noboru"), [Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari") and [Masahiko Yamazaki](/search?commonSearchText="Yamazaki, Masahiko")
Open Access
|Jun 2008
The Relevance of Measure and Probability, and Definition of Completeness of Probability
[Bo Zhang](/search?commonSearchText="Zhang, Bo"), [Hiroshi Yamazaki](/search?commonSearchText="Yamazaki, Hiroshi") and [Yatsuka Nakamura](/search?commonSearchText="Nakamura, Yatsuka")
Open Access
|Jun 2008
Schur's Theorem on the Stability of Networks
[Christoph Schwarzweller](/search?commonSearchText="Schwarzweller, Christoph") and [Agnieszka Rowińska-Schwarzweller](/search?commonSearchText="Rowińska-Schwarzweller, Agnieszka")
Open Access
|Jun 2008
On the Representation of Natural Numbers in Positional Numeral Systems1
[Adam Naumowicz](/search?commonSearchText="Naumowicz, Adam")
Open Access
|Jun 2008
[Kazuhisa Ishida](/search?commonSearchText="Ishida, Kazuhisa")
Open Access
|Jun 2008
[Xiquan Liang](/search?commonSearchText="Liang, Xiquan") and [Fuguo Ge](/search?commonSearchText="Ge, Fuguo")
Open Access
|Jun 2008
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
[Noboru Endou](/search?commonSearchText="Endou, Noboru"), [Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari") and [Katsumasa Okamura](/search?commonSearchText="Okamura, Katsumasa")
Open Access
|Jun 2008
Some Special Matrices of Real Elements and Their Properties
[Xiquan Liang](/search?commonSearchText="Liang, Xiquan"), [Fuguo Ge](/search?commonSearchText="Ge, Fuguo") and [Xiaopeng Yue](/search?commonSearchText="Yue, Xiaopeng")
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with:
Paradigm Publishing Services
Related subjects: