Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 21 (2013): Issue 3 (October 2013)
Volume 21 (2013): Issue 3 (Oct 2013)
Formalized Mathematics
Open Access
Download
Download
Journal details
Journal details
For authors
Table of contents
Documents
Previous issue
Formalized Mathematics
Next issue
All volumes and issues in this journal
Volume 33 (2025)
Volume 32 (2024)
Volume 31 (2023)
Volume 30 (2022)
Volume 29 (2021)
Volume 28 (2020)
Volume 27 (2019)
Volume 26 (2018)
Volume 25 (2017)
Volume 24 (2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Issue 4 (December 2013)
Issue 3 (October 2013)
Issue 2 (June 2013)
Issue 1 (January 2013)
Volume 20 (2012)
Volume 19 (2011)
Load more
7 articles
Open Access
|
Oct 2013
Abstract
Formalization of the Advanced Encryption Standard. Part I
Kenichi Arai
and
Hiroyuki Okazaki
Open Access
|
Oct 2013
Abstract
Object-Free Definition of Categories
Marco Riccardi
Open Access
|
Oct 2013
Abstract
Prime Filters and Ideals in Distributive Lattices
Adam Grabowski
Open Access
|
Oct 2013
Abstract
Double Sequences and Limits
Noboru Endou
,
Hiroyuki Okazaki
and
Yasunari Shidama
Open Access
|
Oct 2013
Abstract
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Keiko Narita
,
Noboru Endou
and
Yasunari Shidama
Open Access
|
Oct 2013
Abstract
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Hiroshi Yamazaki
,
Hiroyuki Okazaki
,
Kazuhisa Nakasho
and
Yasunari Shidama
Open Access
|
Oct 2013
Abstract
Introduction to Formal Preference Spaces
Eliza Niewiadomska
and
Adam Grabowski
eISSN:
1898-9934
|
ISSN:
1426-2630
|
Language:
English
|
Publication frequency:
1 time per year
Published by:
University of Bialystok
In partnership with:
Paradigm Publishing Services
Related subjects:
Mathematics
,
General mathematics
,
Computer sciences
,
Computer sciences, other
Journal RSS Feed