Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

Volume 32 (2024): Numero 1 (Agosto 2024)

Scarica la copertina
Numero precedente
Prossimo numero
24 Articoli
Accesso libero | 31 ago 2024
Elementary Number Theory Problems. Part XIII
Artur Korniłowicz
Korniłowicz, Artur
 e 
Rafał Ziobro
Ziobro, Rafał
  
Accesso libero | 31 ago 2024
Integral of Continuous Three Variable Functions
Noboru Endou
Endou, Noboru
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 31 ago 2024
Separable Polynomials and Separable Extensions
Christoph Schwarzweller
Schwarzweller, Christoph
  
Accesso libero | 26 nov 2024
Elementary Number Theory Problems. Part XIV – Diophantine Equations
Artur Korniłowicz
Korniłowicz, Artur
  
Accesso libero | 26 nov 2024
Inverse Element for Surreal Number
Karol Pąk
Pąk, Karol
  
Accesso libero | 12 dic 2024
U-Small and U-Locally Small Categories
Roland Coghetto
Coghetto, Roland
  
Accesso libero | 12 dic 2024
Elementary Number Theory Problems. Part XV – Diophantine Equations
Karol Pąk
Pąk, Karol
 e 
Artur Korniłowicz
Korniłowicz, Artur
  
Accesso libero | 30 dic 2024
Formal Proof of Transcendence of the Number e. Part I
Yasushige Watase
Watase, Yasushige
  
Accesso libero | 30 dic 2024
Formal Proof of Transcendence of the Number e. Part II
Yasushige Watase
Watase, Yasushige
  
Accesso libero | 31 dic 2024
Formalization of Orthogonal Complements of Normed Spaces
Hiroyuki Okazaki
Okazaki, Hiroyuki
  
Accesso libero | 31 dic 2024
Ascoli-Arzelà Theorem (Metric Space Version)
Keiichi Miyajima
Miyajima, Keiichi
 e 
Hiroshi Yamazaki
Yamazaki, Hiroshi
  
Accesso libero | 31 dic 2024
Universality of Measure Space
Noboru Endou
Endou, Noboru
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 31 dic 2024
Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
Kazuhisa Nakasho
Nakasho, Kazuhisa
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 31 dic 2024
About Path and Cycle Graphs
Sebastian Koch
Koch, Sebastian
  
Accesso libero | 31 dic 2024
Classical Isoperimetric Theorem
Kazuhisa Nakasho
Nakasho, Kazuhisa
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 31 dic 2024
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
Kazuhisa Nakasho
Nakasho, Kazuhisa
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 31 dic 2024
Elementary Number Theory Problems. Part XVI
Karol Pąk
Pąk, Karol
  
Accesso libero | 31 dic 2024
Fundamentals of Finitary Proofs
Taneli Huuskonen
Huuskonen, Taneli
  
Accesso libero | 31 dic 2024
Some Standard Examples of Vector Spaces
Christoph Schwarzweller
Schwarzweller, Christoph
 e 
Agnieszka Rowińska-Schwarzweller
Rowińska-Schwarzweller, Agnieszka
  
Accesso libero | 31 dic 2024
Pascal’s Triangle and Lucas’s Theorem
Rafał Ziobro
Ziobro, Rafał
  
Accesso libero | 31 dic 2024
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
Kazuhisa Nakasho
Nakasho, Kazuhisa
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 31 dic 2024
Formalization of Trellises and Tolerance Relations
Adam Grabowski
Grabowski, Adam
 e 
Franciszek Turowski
Turowski, Franciszek
  
Accesso libero | 31 dic 2024
Some Number Relations
Sebastian Koch
Koch, Sebastian
  
Accesso libero | 31 dic 2024
Finite Fields
Christoph Schwarzweller
Schwarzweller, Christoph
  

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