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.

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 
Mathematical and Formalized Epistemologies
Robert Vallée 
Combinatorial Grassmannians
Formalized Mathematics Andrzej Owsiejczuk 
Pocklington's Theorem and Bertrand's Postulate
Formalized Mathematics Marco Riccardi 
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 
Arrow's Impossibility Theorem
Formalized Mathematics Freek Wiedijk 
The Rank+Nullity Theorem
Formalized Mathematics Jesse Alama 
Laplace Expansion
Formalized Mathematics Karol Pak, Andrzej Trybulec 
The Sylow Theorems
Formalized Mathematics Marco Riccardi 
Mizar Analysis of Algorithms: Preliminaries
Formalized Mathematics Grzegorz Bancerek 
Program Algebra over an Algebra
Formalized Mathematics Grzegorz Bancerek 
Posterior Probability on Finite Set
Formalized Mathematics Hiroyuki Okazaki 
Semantics of MML Query
Formalized Mathematics Grzegorz Bancerek 
Introduction to Rational Functions
Formalized Mathematics Christoph Schwarzweller
Next >>