Volume 18(31) 2009:
Computer Reconstruction of the Body of Mathematics

ISBN 978-83-7431-229-5

Preface
(PDF)

Alama Jesse
A Formal Proof of Euler's Polyhedron Formula (PDF)

Grabowski Adam, Jastrzębska Magdalena
Two Formal Approaches to Rough Sets (PDF)

Grabowski Adam, Schwarzweller Christoph
Improving Representation of Knowledge within the Mizar Library (PDF)

Kieffer Steven, Avigad Jeremy, Friedman Harvey
A Language for Mathematical Knowledge Management (PDF)

Korniłowicz Artur
How to Define Terms in Mizar Effectively (PDF)

Milewski Robert
The Influence of Delocalization on the Results of Eliminating Repetitions of Semantically Equivalent Sentences in the MML Database (PDF)

Naumowicz Adam
Enhanced Processing of Adjectives in Mizar (PDF)

Schwarzweller Christoph
The Chinese Remainder Theorem, its Proofs and its Generalizations in Mathematical Repositories (PDF)

Urban Josef, Sutcliffe Geoff, Trac Steven, Puzis Yury
Combining Mizar and TPTP Semantic Presentation and Verification Tools (PDF)

Wiedijk Freek
Statistics on Digital Libraries of Mathematics (PDF)

Copyright © 2009 STUDIES IN LOGIC, GRAMMAR AND RHETORIC
ISSN 0860-150X.
Articles are copyrighted by their respective authors.