Have a personal or library account? Click to login
Volume 27 (2019): Issue 1 (April 2019) Cover

Volume 27 (2019): Issue 1 (Apr 2019)

Formalized Mathematics
Open Access
Journal detailsArticles & issues
Previous issueFormalized MathematicsNext issue

All volumes and issues in this journal

Issue 4 (December 2019)
Issue 3 (October 2019)
Issue 2 (July 2019)
Issue 1 (April 2019)

9 articles
Open Access
|May 2019
Concatenation of Finite Sequences
Rafał Ziobro  
Open Access
|May 2019
Bilinear Operators on Normed Linear Spaces
Kazuhisa Nakasho  
Open Access
|May 2019
A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
Sora Otsuki,  Pauline N. Kawamoto and  Hiroshi Yamazaki  
Open Access
|May 2019
Multilinear Operator and Its Basic Properties
Kazuhisa Nakasho  
Open Access
|May 2019
Cross-Ratio in Real Vector Space
Roland Coghetto  
Open Access
|May 2019
Continuity of Multilinear Operator on Normed Linear Spaces
Kazuhisa Nakasho and  Yasunari Shidama  
Open Access
|May 2019
Fubini’s Theorem
Noboru Endou  
Open Access
|May 2019
Tarski Geometry Axioms. Part IV – Right Angle
Roland Coghetto and  Adam Grabowski  
Open Access
|May 2019
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
Hiroyuki Okazaki,  Koh-ichi Nagao and  Yuichi Futa  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other
Journal RSS Feed