Formalized Mathematics's Cover Image
Uneingeschränkter Zugang

Formalized Mathematics

Band 30 (2022): Heft 1 (April 2022)

COVER HERUNTERLADEN
Vorherige Ausgabe
Nächste Ausgabe
6 Artikel
Uneingeschränkter Zugang | 21. Dez. 2022
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Takao Inoué

Takao Inoué

Department of Medical Molecular Informatics, Meiji Pharmaceutical University, Graduate School of Science and Engineering, Hosei University, Hosei UniversityTokyo,
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Inoué, Takao
 und 
Riku Hanaoka

Riku Hanaoka

Tokyo, Japan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Hanaoka, Riku
  
Uneingeschränkter Zugang | 21. Dez. 2022
Compactness of Neural Networks
Keiichi Miyajima

Keiichi Miyajima

Ibaraki University, Faculty of EngineeringJapan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Miyajima, Keiichi
 und 
Hiroshi Yamazaki

Hiroshi Yamazaki

Nagano Prefectural Institute of TechnologyNagano, Japan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Yamazaki, Hiroshi
  
Uneingeschränkter Zugang | 21. Dez. 2022
Splitting Fields for the Rational Polynomials X2−2, X2+X+1, X3−1, and X3−2
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Suche nach diesem Autor auf
Sciendo|Google Scholar
Schwarzweller, Christoph
 und 
Sara Burgoa

Sara Burgoa

United States of America
Suche nach diesem Autor auf
Sciendo|Google Scholar
Burgoa, Sara
  
Uneingeschränkter Zugang | 21. Dez. 2022
Absolutely Integrable Functions
Noboru Endou

Noboru Endou

National Institute of Technology, Gifu CollegeJapan
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Endou, Noboru
  
Uneingeschränkter Zugang | 21. Dez. 2022
Non-Trivial Universes and Sequences of Universes
Roland Coghetto

Roland Coghetto

La Louvière, Belgium
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Coghetto, Roland
  
Uneingeschränkter Zugang | 21. Dez. 2022
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi UniversityYamaguchi, Japan
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Nakasho, Kazuhisa
 und 
Yuichi Futa

Yuichi Futa

Tokyo University of TechnologyTokyo, Japan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Futa, Yuichi
  

Suche

Alle Bände und Hefte dieser Zeitschrift

Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, Informatik, andere, Mathematik, Mathematik, Allgemeines
Zeitschrift RSS Feed