Search Results for "mining software linux"

Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that...

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

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.

...for a complete list of my software featuring Windows, Linux, and FreeBSD just go to Files. > https://sourceforge.net/projects/freeware/files/ final note: this learning space assumes that you already have support for **7zip** and **.tar.gz** archives. if you don't, please go get it. > http://www.7zip.org/ for tar.gz: 1. open the terminal 2. enter "gunzip file.tar.gz" 3. enter "tar -xzvf file.tar" Now accepting Bitcoin donations: 1AFMeDXvwenkKV96tLaYnXdRVxjZSRWhP

DIASER, Geo-data duplication long-term archive system & WAN vault. Manage mixed data archives generated by existing backup software. Ensure availability using commodity hardware. Retain administrative and financial control.

Al-anvar is an open source freeware dedicated for Quranic study and research. Some of its features are: Advanced search , Commenting tool , Indexing and Grouping , Add-ons for different translations and commentaries in many languages , Online and offline recitation

Shark Virtual Library (shark-vlibrary) allows to share trougth an web java application educational, cultural and other types of documents (e-books, researches, articles, sounds...) it is specially designed for educational purposes and institutios, Three kinds of users can manage and use the documents what are saved in diffrerent sections that you can add.

Implementation of algorithm from paper 'Numerical Approximation of Option Premia in Displaced-Lognormal Heston Models' by A Dickinson. For code: click link under 'Develop' & checkout via svn or click link under Browse Code->SVN & download tarball

Schema validation with simple dom php classes, that will check the xsd file before the xml based forms will accept any submit. The ajax wrapper should work with widgets to show any validation error to the form user.

libNT is a Number Theory Library which is based on a BigInteger Class. It will contain several algorithms for solving Number Theory Problems. Written in the IDE Code::Blocks

DASS-GUI is a graphical user interface for pattern search in non-sequential data.

MGARCH is a software library for R-Project to simulate and estimate various MGARCH processes. This project also provides convenience tools for preparing data, summarizing and visualizing results, prediction and documentation.

MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.