Search Results for "archiving programs windows"

NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on Elementary Number Theory' (TAKAGI, Teiji) in Python-NZMATH language. ...

An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.

Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint.

PyDQP implementes 11 different dual decomposition schemes, both first and second order, in order to solve quadratic programs in a distributed fashion.

A library encapsulating bilinear pairing computation and group computation in the cyclic groups G_1, G_2, G_T. The bilinear pairing is a bilinear, non-degenerate map between G_1 and G_2 to an element in G_T. The users can build complex pairing-based software by the Pairing library without much knowledge of elliptic curves or pairing or number theory. The library is smaller than 57 Kbytes, suitable for hand held devices. The size is only 3.7% of the size of the BPC...

A C++ library for Quadratic Programming which implements the Goldfarb-Idnani active-set dual method. At present it is limited to the solution of strictly convex quadratic programs. The project has moved to GitHub (https://github.com/liuq/QuadProgpp).

EToS (Efficient Technology of Spike sorting; Extracellular recording To Spike trains) is an open-source system for spike sorting. EToS contains the programs of spike detection, feature extraction and clustering.

PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

VMMLib is a vector and matrix math library implemented using C++ templates, thus making it very easy to integrate into other libraries and programs. It is developed at the VMML, University of Zürich.

Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming.

A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.

A collection of pre- and post-processors for mathematical software (such as AUTO) to investigate bifurcation problems in non-linear dynamical systems. A self contained subset is RAuto, a collection of scripts and programs for running AUTO on a comman

This project hosts tools used for analysis of Gaussian Mixture Distributions (GMDs) which are used for statistical signal processing. The tools are libraries for implementing GMD operations and programs used to analyze properties of GMDs.

NetWorkSpaces, developed by Scientific Computing Associates Inc., provides a framework to coordinate programs written in R. It allows users to write parallel programs in R easily.

Small Python programs for the structural designer / Pequeños programas para el diseñador de estructuras hechas en Python

Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.

Lightweight backpropagation neural network in C. Intended for programs that need a simple neural network and do not want needlessly complex neural network libraries. Includes example application that trains a network to recognize handwritten digits.

Numerically estimate an efficiency of code construction algorithms. Randomly generate n binary words of length m with minimum Hamming distance d and create a prefix code (= retrieval tree) from them. Based on PhD work.

Pena is an acronym for "Pena Encryption for Automata". This framework will help you to run encrypted representations of programs.

The project aims to build a set of Java-based mathematical programs.

Ganita, in sanskrit, means mathematics - and that is what this java package is about. I wrote the classes in this package to help me with the various mathematical programs that I write. This collection of mathematical classes would help you in creating ma

matdoc is a Java tool for generating API documentation for MATLAB and Octave programs in HTML, LaTeX, and M-file formats.

Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.