Funding Data Link References Status API Help
type
year
publication
category
publisher
funder name
source
Page 1 of 604631 results
Sort by: relevance publication year

Formal Languages - Concatenation and Closure

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 1

Authors: Michał Trybulec

The Quaternion Numbers

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 4

Authors: Xiquan Liang, Fuguo Ge

The Catalan Numbers. Part II1

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 4

Authors: Karol Pąk

Model Checking. Part I

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 4

Authors: Kazuhisa Ishida

Mathematical and Formalized Epistemologies

Chapter published 2003 in Quantum Mechanics, Mathematics, Cognition and Action on pages 309 to 324

Authors: Robert Vallée

Combinatorial Grassmannians

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 2

Authors: Andrzej Owsiejczuk

Pocklington's Theorem and Bertrand's Postulate

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 2

Authors: Marco Riccardi

The Jordan-Hölder Theorem

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 2

Authors: Marco Riccardi

Chordal Graphs

Journal Article published 1 Jan 2006 in Formalized Mathematics volume 14 issue 3

Authors: Broderick Arneson, Piotr Rudnicki

String Rewriting Systems

Journal Article published 1 Jan 2007 in Formalized Mathematics volume 15 issue 3

Authors: Michał Trybulec