This project will develop some software to easily use MizarMML-DB, which is a free simple database for Mizar articles registered in the Mizar Mathematical Library (MML) (refer to: http://mizar.org/).
Release Date:
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Database Environment:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of MizarMML-DB. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
File released: /download/MizarMML-DB.zip
-
File released: /readme090927.txt
-
File released: /MizarMML-DB/readme090927.txt
-
File released: /download/MizarMML-DB.zip
-
File released: /download/MakeInsertMML.zip
-
File released: /MizarMML-DB/MizarMML-DB_log.ldf
-
File released: /MizarMML-DB/MizarMML-DB.mdf
-
File released: /MizarMML-DB/createMML-DB-Category.sql
-
File released: /MizarMML-DB/createMLL-DB-Catalogue.sql
-
File released: /createMML-DB.sql
Rate and Review
Be the first person to add a text review.
Related Projects
-
pySwallow Mail
An Emailer Daemon that allows 3rd Party Software to easily send emails by just generating a file And easily Seeing the result. Without the need to open up any ports and leave yourself open to attackers. Python source and frozen binaries will be provided.
-
-
OpenAxiom: Scientific Computation System
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
MizarMML-DB Actions
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
