|
|
DC Proof Online (Popularity: )
http://www.dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
Category:
Science - Math - Logic and Foundations - Software
|
|
Theoretical Dialectical Journal (Popularity: )
http://tedial.narod.ru/
To review the basic axioms of Physics and review them from the standpoint of Dialectics.
Category:
Science - Physics - Mathematical Physics - Publications
|
|
Metamath Proof Explorer (Popularity: )
http://metamath.org
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
Category:
Science - Math - Logic and Foundations - Set Theory
|
|
Grommes Precision Electronics, Inc. (Popularity: )
http://www.grommesprecision.com
American manufacturer of original, custom, and private labeled audio and electronic components for use in commercial, consumer, and industrial applications.
Category:
Business - Arts and Entertainment - Tools and Equipment - Manufacturers
|
|
Theology and Practice of a Contemporary Religion (Popularity: )
http://www.bonafidescientology.org
Online book contains the codes, axioms and creed of the church, discussions of the religious background of the religion.
Category:
Society - Religion and Spirituality - Scientology - Church of Scientology
|
|
Suggested Upper Merged Ontology (Popularity: )
http://www.ontologyportal.org
A free, formal ontology in first order logic with domain ontologies totalling 20,000 concepts and 60,000 axioms, with mappings to all of WordNet.
Category:
Reference - Knowledge Management - Knowledge Representation - Ontologies
|
|
|
|