default search action
Formalized Mathematics, Volume 21
Volume 21, Number 1, January 2013
- Grzegorz Bancerek:
Analysis of Algorithms: An Example of a Sort Algorithm. 1-23 - Katuhiko Kanazashi, Hiroyuki Okazaki
, Yasunari Shidama
The Ck Space. 25-31 - Hiroyuki Okazaki
Random Variables and Product of Probability Spaces. 33-39 - Grzegorz Bancerek:
Semantics of MML Query - Ordering. 41-46 - Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
A Test for the Stability of Networks. 47-53 - Adam Grabowski:
Relational Formal Characterization of Rough Sets. 55-64 - Hiroyuki Okazaki
Isomorphisms of Direct Products of Finite Commutative Groups. 65-74
Volume 21, Number 2, June 2013
- Kenichi Arai, Hiroyuki Okazaki
N-Dimensional Binary Vector Spaces. 75-81 - Adam St. Arnaud, Piotr Rudnicki:
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane. 83-85 - Adam Naumowicz
More on Divisibility Criteria for Selected Primes. 87-94 - Noboru Endou
Differentiation in Normed Spaces. 95-102 - Adam Grabowski:
Polygonal Numbers. 103-113 - Yuichi Futa, Hiroyuki Okazaki
Gaussian Integers. 115-125 - Artur Kornilowicz
Commutativeness of Fundamental Groups of Topological Groups. 127-131 - Hiroyuki Okazaki
Constructing Binary Huffman Tree. 133-143 - Keiko Narita, Noboru Endou
Riemann Integral of Functions from ℝ into Real Banach Space. 145-152 - Adam Grabowski:
On Square-Free Numbers. 153-162
Volume 21, Number 3, September 2013
- Noboru Endou
Double Sequences and Limits. 163-170 - Kenichi Arai, Hiroyuki Okazaki
Formalization of the Advanced Encryption Standard. Part I. 171-184 - Keiko Narita, Noboru Endou
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space. 185-191 - Marco Riccardi:
Object-Free Definition of Categories. 193-205 - Hiroshi Yamazaki, Hiroyuki Okazaki
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. 207-211 - Adam Grabowski:
Prime Filters and Ideals in Distributive Lattices. 213-221 - Eliza Niewiadomska, Adam Grabowski:
Introduction to Formal Preference Spaces. 223-233
Volume 21, Number 4, December 2013
- Maciej Golinski, Artur Kornilowicz
Coproducts in Categories without Uniqueness of cod and dom. 235-239 - Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama:
Formulation of Cell Petri Nets. 241-247 - Yuichi Futa, Noboru Endou
Isometric Differentiable Functions on Real Normed Space. 249-260 - Keiko Narita, Noboru Endou
Differential Equations on Functions from R into Real Banach Space. 261-272 - Yuichi Futa, Hiroyuki Okazaki
Submodule of free Z-module. 273-282
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 2024-12-29 01:17 CET 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: