Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 29 (2021): Issue 2 (July 2021)

Download Cover
Previous Issue
Next Issue
5 Articles

Artikel

Open Access | Dec 30, 2021
Pappus’s Hexagon Theorem in Real Projective Plane
Roland Coghetto

Roland Coghetto

cafr-MSA2P asblLa Louvière, Belgium
Orcid profile
Search for this author on
Sciendo|Google Scholar
Coghetto, Roland
  
Open Access | Dec 30, 2021
On Weakly Associative Lattices and Near Lattices
Damian Sawicki

Damian Sawicki

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Sawicki, Damian
 and 
Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Orcid profile
Search for this author on
Sciendo|Google Scholar
Grabowski, Adam
  
Open Access | Dec 30, 2021
Ascoli-Arzelà Theorem
Hiroshi Yamazaki

Hiroshi Yamazaki

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

Keiichi Miyajima

Ibaraki University Faculty of Engineering HitachiIbaraki, 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 | Dec 30, 2021
On Primary Ideals. Part I
Yasushige Watase

Yasushige Watase

Tokyo, Japan
Search for this author on
Sciendo|Google Scholar
Watase, Yasushige
  
Open Access | Dec 30, 2021
Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear Functions
Takashi Mitsuishi

Takashi Mitsuishi

University of Marketing and Distribution SciencesKobe, Japan
Search for this author on
Sciendo|Google Scholar
Mitsuishi, Takashi
  

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