To narrow your search for a journal article or book, either:
 Enter either the DOI (Digital Object Identifier) associated with your research if you know it, or
 Type some words from the article title or book title and an author first and last name. Note  if you see many results listed, try adding some additional distinctive words from the article title to help narrow down your search.
Search results for: formalized mathematics
Please signin or register to create a Kudos account in order to claim each of your publications.

Integral of Non Positive Functions
Formalized Mathematics Noboru Endou 
Gauge Integral
Formalized Mathematics Roland Coghetto 
Groups – Additive Notation
Formalized Mathematics Roland Coghetto 
Convergent Filter Bases
Formalized Mathematics Roland Coghetto 
Polish Notation
Formalized Mathematics Taneli Huuskonen 
Grzegorczyk’s Logics. Part I
Formalized Mathematics Taneli Huuskonen 
Topology from Neighbourhoods
Formalized Mathematics Roland Coghetto 
Stone Lattices
Formalized Mathematics Adam Grabowski 
Group of Homography in Real Projective Plane
Formalized Mathematics Roland Coghetto 
Ordered Rings and Fields
Formalized Mathematics Christoph Schwarzweller 
Fubini’s Theorem on Measure
Formalized Mathematics Noboru Endou 
Basel Problem
Formalized Mathematics Karol Pąk, Artur Korniłowicz 
Euler’s Partition Theorem
Formalized Mathematics Karol Pąk 
Finite Product of Semiring of Sets
Formalized Mathematics Roland Coghetto 
Morley’s Trisector Theorem
Formalized Mathematics Roland Coghetto 
Two Axiomatizations of Nelson Algebras
Formalized Mathematics Adam Grabowski 
Flexary Operations
Formalized Mathematics Karol Pąk 
Introduction to Diophantine Approximation
Formalized Mathematics Yasushige Watase 
Formally Real Fields
Formalized Mathematics Christoph Schwarzweller 
Altitude, Orthocenter of a Triangle and Triangulation
Formalized Mathematics Roland Coghetto
Next >>