Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 29 (2021): Issue 3 (October 2021)

Download Cover
Previous Issue
Next Issue
3 Articles

Artikel

Open Access | Dec 30, 2021
Real Vector Space and Related Notions
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi UniversityYamaguchi, Japan
Orcid profile
Search for this author on
Sciendo|Google Scholar
Nakasho, Kazuhisa
, 
Hiroyuki Okazaki

Hiroyuki Okazaki

Shinshu UniversityNagano, Japan
Search for this author on
Sciendo|Google Scholar
Okazaki, Hiroyuki
 and 
Yasunari Shidama

Yasunari Shidama

Shinshu UniversityNagano, Japan
Search for this author on
Sciendo|Google Scholar
Shidama, Yasunari
  
Open Access | Dec 30, 2021
Splitting Fields
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Orcid profile
Search for this author on
Sciendo|Google Scholar
Schwarzweller, Christoph
  
Open Access | Dec 30, 2021
Algorithm NextFit for the Bin Packing Problem
Hiroshi Fujiwara

Hiroshi Fujiwara

Shinshu UniversityNagano, Japan
Search for this author on
Sciendo|Google Scholar
Fujiwara, Hiroshi
, 
Ryota Adachi

Ryota Adachi

Intage Technosphere Inc.Tokyo, Japan
Search for this author on
Sciendo|Google Scholar
Adachi, Ryota
 and 
Hiroaki Yamamoto

Hiroaki Yamamoto

Shinshu UniversityNagano, Japan
Search for this author on
Sciendo|Google Scholar
Yamamoto, Hiroaki
  

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