Skip to content
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Servizi bibliotecari
Temi
Architettura e design
Arti
Business e Economia
Chimica
Chimica industriale
Farmacia
Filosofia
Fisica
Geoscienze
Ingegneria
Interesse generale
Legge
Letteratura
Linguistica e semiotica
Matematica
Medicina
Musica
Scienze bibliotecarie e dell'informazione, studi library
Scienze dei materiali
Scienze della vita
Scienze informatiche
Scienze sociali
Sport e tempo libero
Storia
Studi classici e del Vicino Oriente antico
Studi culturali
Studi ebraici
Teologia e religione
Pubblicazioni
Riviste
Libri
Atti
Editori
Journal Matcher
Blog
Contatti
Cerca
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Carrello
Home
Riviste
Formalized Mathematics
Volume 17 (2009): Numero 2 (Giugno 2009)
Accesso libero
Formalized Mathematics
Volume 17 (2009): Numero 2 (Giugno 2009)
CONDIVIDI
Scarica la copertina
Scarica
Numero precedente
Prossimo numero
18 Articoli
Ordina per
Accesso libero | 14 lug 2009
Probability on Finite Set and Real-Valued Random Variables
Hiroyuki Okazaki
Hiroyuki Okazaki
Cerca questo autore su
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
e
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
Accesso libero | 14 lug 2009
The Measurability of Complex-Valued Functional Sequences
Keiko Narita
Keiko Narita
Cerca questo autore su
Sciendo
|
Google Scholar
Narita, Keiko
,
Noboru Endou
Noboru Endou
Cerca questo autore su
Sciendo
|
Google Scholar
Endou, Noboru
e
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
Accesso libero | 14 lug 2009
The Perfect Number Theorem and Wilson's Theorem
Marco Riccardi
Marco Riccardi
Cerca questo autore su
Sciendo
|
Google Scholar
Riccardi, Marco
Accesso libero | 14 lug 2009
Solution of Cubic and Quartic Equations
Marco Riccardi
Marco Riccardi
Cerca questo autore su
Sciendo
|
Google Scholar
Riccardi, Marco
Accesso libero | 14 lug 2009
Collective Operations on Number-Membered Sets
Artur Korniłowicz
Artur Korniłowicz
Cerca questo autore su
Sciendo
|
Google Scholar
Korniłowicz, Artur
Accesso libero | 14 lug 2009
Labelled State Transition Systems
Michał Trybulec
Michał Trybulec
Cerca questo autore su
Sciendo
|
Google Scholar
Trybulec, Michał
Accesso libero | 14 lug 2009
Basic Properties of Even and Odd Functions
Bo Li
Bo Li
Cerca questo autore su
Sciendo
|
Google Scholar
Li, Bo
e
Yanhong Men
Yanhong Men
Cerca questo autore su
Sciendo
|
Google Scholar
Men, Yanhong
Accesso libero | 14 lug 2009
Equivalence of Deterministic and Nondeterministic Epsilon Automata
Michał Trybulec
Michał Trybulec
Cerca questo autore su
Sciendo
|
Google Scholar
Trybulec, Michał
Accesso libero | 14 lug 2009
Lebesgue's Convergence Theorem of Complex-Valued Function
Keiko Narita
Keiko Narita
Cerca questo autore su
Sciendo
|
Google Scholar
Narita, Keiko
,
Noboru Endou
Noboru Endou
Cerca questo autore su
Sciendo
|
Google Scholar
Endou, Noboru
e
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
Accesso libero | 14 lug 2009
Riemann Integral of Functions from R into
R
n
Keiichi Miyajima
Keiichi Miyajima
Cerca questo autore su
Sciendo
|
Google Scholar
Miyajima, Keiichi
e
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
Accesso libero | 14 lug 2009
Kolmogorov's Zero-One Law
Agnes Doll
Agnes Doll
Cerca questo autore su
Sciendo
|
Google Scholar
Doll, Agnes
Accesso libero | 14 lug 2009
Properties of Primes and Multiplicative Group of a Field
Kenichi Arai
Kenichi Arai
Cerca questo autore su
Sciendo
|
Google Scholar
Arai, Kenichi
e
Hiroyuki Okazaki
Hiroyuki Okazaki
Cerca questo autore su
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
Accesso libero | 14 lug 2009
Some Operations on Quaternion Numbers
Bo Li
Bo Li
Cerca questo autore su
Sciendo
|
Google Scholar
Li, Bo
,
Xiquan Liang
Xiquan Liang
Cerca questo autore su
Sciendo
|
Google Scholar
Liang, Xiquan
,
Pan Wang
Pan Wang
Cerca questo autore su
Sciendo
|
Google Scholar
Wang, Pan
e
Yanping Zhuang
Yanping Zhuang
Cerca questo autore su
Sciendo
|
Google Scholar
Zhuang, Yanping
Accesso libero | 14 lug 2009
Probability on Finite and Discrete Set and Uniform Distribution
Hiroyuki Okazaki
Hiroyuki Okazaki
Cerca questo autore su
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
Accesso libero | 14 lug 2009
Complex Function Differentiability
Chanapat Pacharapokin
Chanapat Pacharapokin
Cerca questo autore su
Sciendo
|
Google Scholar
Pacharapokin, Chanapat
,
Hiroshi Yamazaki
Hiroshi Yamazaki
Cerca questo autore su
Sciendo
|
Google Scholar
Yamazaki, Hiroshi
,
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
e
Yatsuka Nakamura
Yatsuka Nakamura
Cerca questo autore su
Sciendo
|
Google Scholar
Nakamura, Yatsuka
Accesso libero | 14 lug 2009
The Cauchy-Riemann Differential Equations of Complex Functions
Hiroshi Yamazaki
Hiroshi Yamazaki
Cerca questo autore su
Sciendo
|
Google Scholar
Yamazaki, Hiroshi
,
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
,
Yatsuka Nakamura
Yatsuka Nakamura
Cerca questo autore su
Sciendo
|
Google Scholar
Nakamura, Yatsuka
e
Chanapat Pacharapokin
Chanapat Pacharapokin
Cerca questo autore su
Sciendo
|
Google Scholar
Pacharapokin, Chanapat
Accesso libero | 14 lug 2009
Second-Order Partial Differentiation of Real Binary Functions
Bing Xie
Bing Xie
Cerca questo autore su
Sciendo
|
Google Scholar
Xie, Bing
,
Xiquan Liang
Xiquan Liang
Cerca questo autore su
Sciendo
|
Google Scholar
Liang, Xiquan
e
Xiuzhuan Shen
Xiuzhuan Shen
Cerca questo autore su
Sciendo
|
Google Scholar
Shen, Xiuzhuan
Accesso libero | 14 lug 2009
Hopf Extension Theorem of Measure
Noboru Endou
Noboru Endou
Cerca questo autore su
Sciendo
|
Google Scholar
Endou, Noboru
,
Hiroyuki Okazaki
Hiroyuki Okazaki
Cerca questo autore su
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
e
Yasunari Shidama
Yasunari Shidama
Cerca questo autore su
Sciendo
|
Google Scholar
Shidama, Yasunari
Cerca
Rivista
Volume
Numero
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)
Numero 4 (Dicembre 2022)
Numero 3 (Ottobre 2022)
Numero 2 (Luglio 2022)
Numero 1 (Aprile 2022)
Volume 29 (2021)
Numero 4 (Dicembre 2021)
Numero 3 (Ottobre 2021)
Numero 2 (Luglio 2021)
Numero 1 (Aprile 2021)
Volume 28 (2020)
Numero 4 (Dicembre 2020)
Numero 3 (Ottobre 2020)
Numero 2 (Luglio 2020)
Numero 1 (Aprile 2020)
Volume 27 (2019)
Numero 4 (Dicembre 2019)
Numero 3 (Ottobre 2019)
Numero 2 (Luglio 2019)
Numero 1 (Aprile 2019)
Volume 26 (2018)
Numero 4 (Dicembre 2018)
Numero 3 (Ottobre 2018)
Numero 2 (Luglio 2018)
Numero 1 (Aprile 2018)
Volume 25 (2017)
Numero 4 (Dicembre 2017)
Numero 3 (Ottobre 2017)
Numero 2 (Luglio 2017)
Numero 1 (Marzo 2017)
Volume 24 (2016)
Numero 4 (Dicembre 2016)
Numero 3 (Settembre 2016)
Numero 2 (Giugno 2016)
Numero 1 (Marzo 2016)
Volume 23 (2015)
Numero 4 (Dicembre 2015)
Numero 3 (Settembre 2015)
Numero 2 (Giugno 2015)
Numero 1 (Marzo 2015)
Volume 22 (2014)
Numero 4 (Dicembre 2014)
Numero 3 (Settembre 2014)
Numero 2 (Giugno 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Numero 1 (Marzo 2014)
Volume 21 (2013)
Numero 4 (Dicembre 2013)
Numero 3 (Ottobre 2013)
Numero 2 (Giugno 2013)
Numero 1 (Gennaio 2013)
Volume 20 (2012)
Numero 4 (Dicembre 2012)
Numero 3 (Settembre 2012)
Numero 2 (Giugno 2012)
Numero 1 (Gennaio 2012)
Volume 19 (2011)
Numero 4 (Dicembre 2011)
Numero 3 (Settembre 2011)
Numero 2 (Giugno 2011)
Numero 1 (Marzo 2011)
Volume 18 (2010)
Numero 4 (Dicembre 2010)
Numero 3 (Settembre 2010)
Numero 2 (Giugno 2010)
Numero 1 (Marzo 2010)
Volume 17 (2009)
Numero 4 (Dicembre 2009)
Numero 3 (Settembre 2009)
Numero 2 (Giugno 2009)
Numero 1 (Marzo 2009)
Volume 16 (2008)
Numero 4 (Dicembre 2008)
Numero 3 (Settembre 2008)
Numero 2 (Giugno 2008)
Numero 1 (Marzo 2008)
Volume 15 (2007)
Numero 4 (Dicembre 2007)
Numero 3 (Settembre 2007)
Numero 2 (Giugno 2007)
Numero 1 (Marzo 2007)
Volume 14 (2006)
Numero 4 (Dicembre 2006)
Numero 3 (Settembre 2006)
Numero 2 (Giugno 2006)
Numero 1 (Marzo 2006)
