Formalized Mathematics's Cover Image

Open Access

Formalized Mathematics

Volume 16 (2008): Issue 4 (December 2008)

Share

Download Cover

14 Articles

Sort By

Open Access | Mar 20, 2009

Integral of Complex-Valued Measurable Function

,

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Eigenvalues of a Linear Transformation

Open Access | Mar 20, 2009

Open Mapping Theorem

Sakurai, Hideki

,

Hisayoshi Kunimune

Kunimune, Hisayoshi

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Partial Differentiation of Real Binary Functions

,

and

Open Access | Mar 20, 2009

Model Checking. Part III

Kazuhisa Ishida

Ishida, Kazuhisa

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform

Masahiko Yamazaki

Yamazaki, Masahiko

,

Hiroshi Yamazaki

Yamazaki, Hiroshi

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Jordan Matrix Decomposition

Open Access | Mar 20, 2009

BCI-homomorphisms

,

and

Open Access | Mar 20, 2009

On L¹ Space Formed by Real-Valued Partial Functions

Yasushige Watase

Watase, Yasushige

,

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Fatou's Lemma and the Lebesgue's Convergence Theorem

,

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Stability of the 4-2 Binary Addition Circuit Cells. Part I

Wasaki, Katsumi

Open Access | Mar 20, 2009

Introduction to Matroids

Grzegorz Bancerek

Bancerek, Grzegorz

and

Yasunari Shidama

Shidama, Yasunari

Open Access | Mar 20, 2009

Basic Properties of Circulant Matrices and Anti-Circular Matrices

and

Open Access | Mar 20, 2009

Several Differentiation Formulas of Special Functions. Part VII

and

Search

All Volumes and Issues in this Journal

Volume 32 (2024)

Issue 1 (August 2024)

Volume 31 (2023)

Issue 1 (September 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)

Volume 20 (2012)

Volume 19 (2011)

Volume 18 (2010)

Volume 17 (2009)

Volume 16 (2008)

Volume 15 (2007)

Volume 14 (2006)

Language:: English

Publication timeframe:: 1 times per year
Journal Subjects:: Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other

Journal RSS Feed