Formalized Mathematics (original) (raw)
Have a personal or library account? Click to login
- Journals
- Formalized Mathematics
- Volume 15 (2007): Issue 2 (June 2007)
Volume 15 (2007): Issue 2 (Jan 2007)
Open Access
Journal detailsArticles & issues
Formalized Mathematics
All volumes and issues in this journal
5 articles
Open Access
|Jun 2008
Riemann Indefinite Integral of Functions of Real Variable
[Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari"), [Noboru Endou](/search?commonSearchText="Endou, Noboru") and [Katsumi Wasaki](/search?commonSearchText="Wasaki, Katsumi")
Open Access
|Jun 2008
Partial Differentiation on Normed Linear Spaces Rn
[Noboru Endou](/search?commonSearchText="Endou, Noboru"), [Yasunari Shidama](/search?commonSearchText="Shidama, Yasunari") and [Keiichi Miyajima](/search?commonSearchText="Miyajima, Keiichi")
Open Access
|Jun 2008
Regular Expression Quantifiers — m to n Occurrences
[Michał Trybulec](/search?commonSearchText="Trybulec, Michał")
Open Access
|Jun 2008
[Marco Riccardi](/search?commonSearchText="Riccardi, Marco")
Open Access
|Jun 2008
[Andrzej Owsiejczuk](/search?commonSearchText="Owsiejczuk, Andrzej")
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: