Ports 搜索

ARPACK-NG is a collection of Fortran77 subroutines designed to solve large-scale eigenvalue problems. It is a fork of the Rice University ARPACK, and is jointly-maintained by Debian, Octave, and Scilab.

[ excerpt from developer's web site ] Using JNI (Java Native Interface), a bit of C code (thanks ugha!), a little manual work and a piece of chewinggum: it is possible to make the public key cryptography quite a bit faster.

ABACUS is a software system written in C++ that provides a framework for the implementation of branch-and-bound algorithms using linear programming relaxations. Cutting planes or columns can be generated dynamically (branch-and-cut, branch-and-price, branch-and-cut-and-price). ABACUS allows the software developer to concentrate merely on the problem specific parts, i.e., the separation of cutting planes, column generation, and primal heuristics. ABACUS supports the Open Solver Interface (Osi) developed by the COIN-OR (COmputational INfrastructure for Operations Research) project which means that every solver supported by OSI can be used to solve the relaxations. Moreover, ABACUS provides a variety of general algorithmic concepts, e.g., a list of different enumeration and branching strategies from which the best alternative for the user's application can be chosen. Finally, ABACUS provides many basic data structures and useful tools for the implementation of such algorithms. It is designed both for general mixed integer optimization problems and for combinatorial optimization problems. It unifies cutting plane and column generation within one algorithm framework. Simple reuse of code and the design of abstract data structures and algorithms are met by object oriented programming modules.

Algae is a programming language for numerical analysis. It was written in the Boeing Company to fulfill their need for a fast and versatile tool, capable of handling large systems. Algae has been applied to interesting problems in aerospace and related fields for more than a decade.

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. Alt-Ergo is compact, safe, and modular. Each component is described by a small set of inference rules and is implemented as an Ocaml functor.

Before a calculation can be performed on a parallel computer, it must first be decomposed into tasks which are assigned to different processors. Efficient use of the machine requires that each processor have about the same amount of work to do and that the quantity of interprocessor communication is kept small. Finding an optimal decomposition is provably hard, but due to its practical importance, a great deal of effort has been devoted to developing heuristics for this problem. The decomposition problem can be addressed in terms of graph partitioning. Chaco implements a variety of algorithms for graph partitioning and is used at most of the major parallel computing centers around the world to simplify the development of parallel applications, and to ensure that high performance is obtained. Chaco has contributed to a wide variety of computational studies including investigation of the molecular structure of liquid crystals, evaluating the design of a chemical vapor deposition reactor and modeling automobile collisions. Note: this port includes a patch provided by Walter Landry for use within MBDyn.

Functions from this package are useful for number theory applications. For example, in two-keys cryptography. See /tests/RSA.php in the package for example of simple implementation of RSA-like cryptoalgorithm. See http://chat.finalcombat.com/vayala/big_int/ page for more complex implementation of RSA-like crypto, which supports key generating, encrypting/decrypting, signing and validating of sign. The package has many bitset functions, which allow to work with arbitrary length bitsets. This package is much faster than bundled into PHP BCMath and consists almost all functions, which are implemented in PHP GMP extension, but it needn't any external libraries.

the Auto Payment Calculator V1.0 Release Copyright (C) 1997 Eric A. Griff Auto Payment Calculator is a simple, xforms based, application for use under the X-windows system, that calculates auto loan payments. It is pretty straight forward. You enter the Principal (Amount), Term (in months), and Rate, and then with either [RETURN] (or [enter] or whatever your keyboard equivelent is), (ALT-C), or clicking the calculate button; you will have the payment in months, as well as number of weeks, and weekly payment. You may also [TAB] through the Amount, Term, and Rate, as well as hold down ALT and press the character in its Name that is underlined to go do that function. As long as all three are filled in, you may hit [ENTER] to Calculate right there. This makes it easy to cycle quickly through numerous terms, amounts, and rates.

ARPACK++ is a collection of classes that offers c++ programmers an interface to ARPACK. It preserves the full capability, performance, accuracy and low memory requirements of the FORTRAN package, but takes advantage of the C++ object-oriented programming environment.