Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 27 (2019): Issue 2 (July 2019)

Download Cover
Previous Issue
Next Issue
11 Articles
Open Access | Jul 20, 2019
On Roots of Polynomials over F[X]/ 〈p〉
Christoph Schwarzweller
Schwarzweller, Christoph
  
Open Access | Jul 20, 2019
Isomorphisms from the Space of Multilinear Operators
Kazuhisa Nakasho
Nakasho, Kazuhisa
  
Open Access | Jul 20, 2019
Invertible Operators on Banach Spaces
Kazuhisa Nakasho
Nakasho, Kazuhisa
  
Open Access | Jul 20, 2019
Implicit Function Theorem. Part II
Kazuhisa Nakasho
Nakasho, Kazuhisa
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Jul 20, 2019
On Monomorphisms and Subfields
Christoph Schwarzweller
Schwarzweller, Christoph
  
Open Access | Jul 20, 2019
Natural Addition of Ordinals
Sebastian Koch
Koch, Sebastian
  
Open Access | Jul 20, 2019
About Supergraphs. Part III
Sebastian Koch
Koch, Sebastian
  
Open Access | Jul 20, 2019
Partial Correctness of a Factorial Algorithm
Adrian Jaszczak
Jaszczak, Adrian
 and 
Artur Korniłowicz
Korniłowicz, Artur
  
Open Access | Jul 20, 2019
Partial Correctness of a Power Algorithm
Adrian Jaszczak
Jaszczak, Adrian
  
Open Access | Jul 20, 2019
Diophantine Sets. Part II
Karol Pąk
Pąk, Karol
  
Open Access | Jul 20, 2019
Formalization of the MRDP Theorem in the Mizar System
Karol Pąk
Pąk, Karol
  

Search

All Volumes and Issues in this Journal

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy