Formalized Mathematics's Cover Image

Accesso libero

Formalized Mathematics

Volume 20 (2012): Numero 1 (Gennaio 2012)

CONDIVIDI

Scarica la copertina

Numero precedente

Prossimo numero

12 Articoli

Ordina per

Accesso libero | 12 set 2012

Planes and Spheres as Topological Manifolds. Stereographic Projection

Riccardi, Marco

Accesso libero | 12 set 2012

Riemann Integral of Functions from R into n-dimensional Real Normed Space

Keiichi Miyajima

Miyajima, Keiichi

,

Artur Korniłowicz

Korniłowicz, Artur

e

Yasunari Shidama

Shidama, Yasunari

Accesso libero | 12 set 2012

Functional Space C(ω), C₀(ω)

Katuhiko Kanazashi

Kanazashi, Katuhiko

,

Hiroyuki Okazaki

Okazaki, Hiroyuki

e

Yasunari Shidama

Shidama, Yasunari

Accesso libero | 12 set 2012

Valuation Theory. Part I

Grzegorz Bancerek

Bancerek, Grzegorz

,

Hidetsune Kobayashi

Kobayashi, Hidetsune

e

Artur Korniłowicz

Korniłowicz, Artur

Accesso libero | 12 set 2012

The Rotation Group

Accesso libero | 12 set 2012

Z-modules

,

Hiroyuki Okazaki

Okazaki, Hiroyuki

e

Yasunari Shidama

Shidama, Yasunari

Accesso libero | 12 set 2012

Operations of Points on Elliptic Curve in Projective Coordinates

,

Hiroyuki Okazaki

Okazaki, Hiroyuki

,

Daichi Mizushima

Mizushima, Daichi

e

Yasunari Shidama

Shidama, Yasunari

Accesso libero | 12 set 2012

Some Basic Properties of Some Special Matrices. Part III

e

Accesso libero | 12 set 2012

Morphology for Image Processing. Part I

Hiroshi Yamazaki

Yamazaki, Hiroshi

,

Czesław Byliński

Byliński, Czesław

e

Wasaki, Katsumi

Accesso libero | 12 set 2012

The Differentiable Functions from R into Rⁿ

,

Artur Korniłowicz

Korniłowicz, Artur

e

Yasunari Shidama

Shidama, Yasunari

Accesso libero | 12 set 2012

Elementary Introduction to Stochastic Finance in Discrete Time

Accesso libero | 12 set 2012

Differentiable Functions on Normed Linear Spaces

Yasunari Shidama

Shidama, Yasunari

Cerca

Tutti i volumi ed i numeri in questa rivista

Volume 32 (2024)

Numero 1 (Agosto 2024)

Volume 31 (2023)

Numero 1 (Settembre 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)

Lingua:: Inglese

Frequenza di pubblicazione:: 1 volte all'anno
Argomenti della rivista:: Matematica, Matematica generale, Informatica, Informatica, altro

Feed RSS della rivista