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

Formalized Mathematics

Volumen 32 (2024): Edición 1 (Agosto 2024)

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

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Informática, Informática, otros, Matemáticas, Matemáticas generales
RSS Feed de revista