Archive of Formal Proofs Full Version
Description:
A collection of machine-checkend mathematical proofs.
Download Archive of Formal Proofs
7 downloads.
Langganan:
Posting Komentar (Atom)
Blog PNPM Kecamatan Gedangan Kabupaten Malang
Social Profiles
Postingan Populer
-
GeneSim Full Version Description: GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces th...
-
Quadtree Simulator Full Version Description: Simulates a quadtree for spatial indexing of triangles. Download Quadtree Simulator 13 downloads.
-
iLastic Last Version Description: Query, integrate and manipulate data using natural languages.. Download iLastic 12 downloads.
-
ASCO (A SPICE Circuit Optimizer) Last Version Description: The ASCO project aims to bring circuit optimization capabilities to existing SPIC...
-
GGPServer Full Version Description: GGPServer is a web server based on Apache Tomcat that allows to play and watch matches between registere...
-
guiqwt Last Version Description: Based on PyQwt (plotting widgets for PyQt4 graphical user interfaces) and on the scientific modules NumPy a...
-
oTuner Full Version Description: 9-Octave Chromatic Tuner. Download oTuner 153 downloads.
-
Ferda Data Miner Full Version Description: Ferda is a user friendly data mining tool. It is a modular distributed multiplatform framework ba...
-
Gargantua Last Version Description: Fast Unsupervised Sentence Aligner described in "Improved unsupervised sentence alignment for symme...
-
gpib-tcl Crack Version Description: An extension to the Tcl language to allow communication with measurement instruments over the IEEE-488 (...
Diberdayakan oleh Blogger.
Mengenai Saya
Arsip Blog
-
▼
2000
(365)
-
▼
Desember
(31)
- Anaglyph Canvas3D
- Advanced Numerical Instruments 2D
- 3-DPhysicsSim
- Virtual Laboratory Environment
- aprepro
- tranalyzer
- gpstools
- easy to use spice interface
- Xconq
- XCTruck3D _Truck
- Weka-Parallel
- WOLFSIM- Wideband Optical FDTD Simulator
- TFAST
- Sphaerica
- Siril
- R-Tree Library
- PetriNetExec: Java Embeddable Petri Nets
- Periodic Tables Package
- PatentNet
- Parallel port+
- OpenCASCADE Sketcher
- Ontology Common API Tasks (OntoCAT)
- GoPenS
- Galois sub-hierarchy builder
- GPLib++ - Geophysical Library
- FLR
- FLORA-2
- Component Framework / GINY Graph Library
- CNVision
- Armpit Scheme
- Archive of Formal Proofs
-
▼
Desember
(31)
Recent Posts
Copyright © 2013 UPK PNPM GEDANGAN | Powered by Blogger
Design by Joni them >
Tidak ada komentar:
Posting Komentar