Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 29 (2021): Issue 1 (April 2021)

Download Cover
Previous Issue
Next Issue
6 Articles
Open Access | Aug 26, 2021
Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
Yasushige Watase

Yasushige Watase

Suginami-ku MatsunokiTokyo, Japan
Search for this author on
Sciendo|Google Scholar
Watase, Yasushige
  
Open Access | Aug 26, 2021
Inverse Function Theorem. Part I1
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi UniversityYamaguchi, Japan
Search for this author on
Sciendo|Google Scholar
Nakasho, Kazuhisa
 and 
Yuichi Futa

Yuichi Futa

Tokyo University of Technology TokyoJapan
Search for this author on
Sciendo|Google Scholar
Futa, Yuichi
  
Open Access | Aug 26, 2021
Miscellaneous Graph Preliminaries. Part I
Sebastian Koch

Sebastian Koch

Johannes Gutenberg University MainzGermany
Search for this author on
Sciendo|Google Scholar
Koch, Sebastian
  
Open Access | Aug 26, 2021
Algebraic Extensions
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Search for this author on
Sciendo|Google Scholar
Schwarzweller, Christoph
 and 
Agnieszka Rowińska-Schwarzweller

Agnieszka Rowińska-Schwarzweller

Sopot, Poland
Search for this author on
Sciendo|Google Scholar
Rowińska-Schwarzweller, Agnieszka
  
Open Access | Aug 26, 2021
Functional Space Consisted by Continuous Functions on Topological Space
Hiroshi Yamazaki

Hiroshi Yamazaki

Nagano Prefectural Institute of TechnologyNagano, Japan
Search for this author on
Sciendo|Google Scholar
Yamazaki, Hiroshi
, 
Keiichi Miyajima

Keiichi Miyajima

Ibaraki UniversityIbaraki, Japan
Search for this author on
Sciendo|Google Scholar
Miyajima, Keiichi
 and 
Yasunari Shidama

Yasunari Shidama

Karuizawa Hotch 244-1Nagano, Japan
Search for this author on
Sciendo|Google Scholar
Shidama, Yasunari
  
Open Access | Aug 26, 2021
Elementary Number Theory Problems. Part II
Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Korniłowicz, Artur
 and 
Dariusz Surowik

Dariusz Surowik

University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Surowik, Dariusz
  

Search

All Volumes and Issues in this Journal

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed