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.

The Formal Construction of Fuzzy Numbers
Formalized Mathematics Adam Grabowski 
Formal Introduction to Fuzzy Implications
Formalized Mathematics Adam Grabowski 
Integral of Non Positive Functions
Formalized Mathematics Noboru Endou 
Gauge Integral
Formalized Mathematics Roland Coghetto 
Mathematical and Formalized Epistemologies
Robert Vallée 
Formal Languages  Concatenation and Closure
Formalized Mathematics Michał Trybulec 
The Quaternion Numbers
Formalized Mathematics Xiquan Liang, Fuguo Ge 
The Catalan Numbers. Part II1
Formalized Mathematics Karol Pąk 
Model Checking. Part I
Formalized Mathematics Kazuhisa Ishida 
Pocklington's Theorem and Bertrand's Postulate
Formalized Mathematics Marco Riccardi 
Arrow's Impossibility Theorem
Formalized Mathematics Freek Wiedijk 
Laplace Expansion
Formalized Mathematics Karol Pak, Andrzej Trybulec 
The Rank+Nullity Theorem
Formalized Mathematics Jesse Alama 
The Sylow Theorems
Formalized Mathematics Marco Riccardi 
Mizar Analysis of Algorithms: Preliminaries
Formalized Mathematics Grzegorz Bancerek 
Combinatorial Grassmannians
Formalized Mathematics Andrzej Owsiejczuk 
The JordanHölder Theorem
Formalized Mathematics Marco Riccardi 
Chordal Graphs
Formalized Mathematics Broderick Arneson, Piotr Rudnicki 
String Rewriting Systems
Formalized Mathematics Michał Trybulec 
Alexandroff One Point Compactification
Formalized Mathematics Czesław Byliński
Next >>