Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 30 (2022): Issue 4 (December 2022)

Download Cover
4 Articles
Open Access | Feb 18, 2023
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
  
Open Access | Feb 18, 2023
Prime Representing Polynomial with 10 Unknowns
  
Open Access | Feb 18, 2023
Existence and Uniqueness of Algebraic Closures
  
Open Access | Feb 18, 2023
Formalization of Orthogonal Decomposition for Hilbert Spaces
  

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