[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

Volume 29 (2021): Numero 4 (Dicembre 2021)

Scarica la copertina
Numero precedente
Prossimo numero
10 Articoli
Accesso libero | 09 lug 2022
Automatization of Ternary Boolean Algebras
Wojciech Kuśmierowski
Kuśmierowski, Wojciech
 e 
Adam Grabowski
Grabowski, Adam
  
Accesso libero | 09 lug 2022
Duality Notions in Real Projective Plane
Roland Coghetto
Coghetto, Roland
  
Accesso libero | 09 lug 2022
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Kazuhisa Nakasho
Nakasho, Kazuhisa
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 09 lug 2022
Relationship between the Riemann and Lebesgue Integrals
Noboru Endou
Endou, Noboru
  
Accesso libero | 09 lug 2022
Improper Integral. Part I
Noboru Endou
Endou, Noboru
  
Accesso libero | 09 lug 2022
Prime Representing Polynomial
Karol Pąk
Pąk, Karol
  
Accesso libero | 09 lug 2022
Quadratic Extensions
Christoph Schwarzweller
Schwarzweller, Christoph
 e 
Agnieszka Rowińska-Schwarzweller
Rowińska-Schwarzweller, Agnieszka
  
Accesso libero | 09 lug 2022
The 3-Fold Product Space of Real Normed Spaces and its Properties
Hiroyuki Okazaki
Okazaki, Hiroyuki
 e 
Kazuhisa Nakasho
Nakasho, Kazuhisa
  
Accesso libero | 09 lug 2022
About Graph Sums
Sebastian Koch
Koch, Sebastian
  
Accesso libero | 09 lug 2022
Improper Integral. Part II
Noboru Endou
Endou, Noboru
  

Cerca

Tutti i volumi ed i numeri in questa rivista

eISSN:
1898-9934
Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Informatica, Informatica, altro, Matematica, Matematica generale
Feed RSS della rivista