Formalized Mathematics's Cover Image

Acceso abierto

Formalized Mathematics

Volumen 20 (2012): Edición 1 (Enero 2012)

Compartir

Descargar portada

Edición anterior

Próxima edición

12 Artículos

Ordenar por

Acceso abierto | 12 sept 2012

Planes and Spheres as Topological Manifolds. Stereographic Projection

Riccardi, Marco

Acceso abierto | 12 sept 2012

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

Keiichi Miyajima

Miyajima, Keiichi

,

Artur Korniłowicz

Korniłowicz, Artur

y

Yasunari Shidama

Shidama, Yasunari

Acceso abierto | 12 sept 2012

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

Katuhiko Kanazashi

Kanazashi, Katuhiko

,

Hiroyuki Okazaki

Okazaki, Hiroyuki

y

Yasunari Shidama

Shidama, Yasunari

Acceso abierto | 12 sept 2012

Valuation Theory. Part I

Grzegorz Bancerek

Bancerek, Grzegorz

,

Hidetsune Kobayashi

Kobayashi, Hidetsune

y

Artur Korniłowicz

Korniłowicz, Artur

Acceso abierto | 12 sept 2012

The Rotation Group

Acceso abierto | 12 sept 2012

Z-modules

,

Hiroyuki Okazaki

Okazaki, Hiroyuki

y

Yasunari Shidama

Shidama, Yasunari

Acceso abierto | 12 sept 2012

Operations of Points on Elliptic Curve in Projective Coordinates

,

Hiroyuki Okazaki

Okazaki, Hiroyuki

,

Daichi Mizushima

Mizushima, Daichi

y

Yasunari Shidama

Shidama, Yasunari

Acceso abierto | 12 sept 2012

Some Basic Properties of Some Special Matrices. Part III

y

Acceso abierto | 12 sept 2012

Morphology for Image Processing. Part I

Hiroshi Yamazaki

Yamazaki, Hiroshi

,

Czesław Byliński

Byliński, Czesław

y

Wasaki, Katsumi

Acceso abierto | 12 sept 2012

The Differentiable Functions from R into Rⁿ

,

Artur Korniłowicz

Korniłowicz, Artur

y

Yasunari Shidama

Shidama, Yasunari

Acceso abierto | 12 sept 2012

Elementary Introduction to Stochastic Finance in Discrete Time

Acceso abierto | 12 sept 2012

Differentiable Functions on Normed Linear Spaces

Yasunari Shidama

Shidama, Yasunari

Buscar

Todos los volúmenes y ediciones en esta revista

Volumen 32 (2024)

Edición 1 (Agosto 2024)

Volumen 31 (2023)

Edición 1 (Septiembre 2023)

Volumen 30 (2022)

Volumen 29 (2021)

Volumen 28 (2020)

Volumen 27 (2019)

Volumen 26 (2018)

Volumen 25 (2017)

Volumen 24 (2016)

Volumen 23 (2015)

Volumen 22 (2014)

Volumen 21 (2013)

Volumen 20 (2012)

Volumen 19 (2011)

Volumen 18 (2010)

Volumen 17 (2009)

Volumen 16 (2008)

Volumen 15 (2007)

Volumen 14 (2006)

Idioma:: Inglés

Calendario de la edición:: 1 veces al año
Temas de la revista:: Matemáticas, Matemáticas generales, Informática, Informática, otros

RSS Feed de revista