Ports Search

Kig is an application for interactive geometry. FEATURES - Allows the students to interactively explore mathematical figures and concepts using the computer. - Serves as a WYSIWYG tool for drawing mathematical figures and including them in other documents.

KmPlot is a program to draw graphs, their integrals or derivatives. It supports different systems of coordinates like the cartesian or the polar coordinate system. The graphs can be colorized and the view is scalable, so that you are able to zoom to the level you need. Features: - Powerful mathematical parser. - Precise metric printing. - Different plot types: cartesian, parametric, polar, implicit, differential. - Highly configurable visual settings (plot line, axes, grid). - Export to bitmap format (BMP and PNG) and scalable vector graphics (SVG). - Save/load complete session in readable XML format. - Trace mode: cross hair following plot, coordinates shown in the status bar. - Supports zooming. - Ability to draw the 1st and 2nd derivative and the integral of a plot function. - Supports user defined constants and parameter values. - Various tools for plot functions: - Find minimum/maximum point. - Get y-value and draw the area between the function and the y-axis.

LTL is a C++ class template library for scientific computing which provides high performance via SSE3 floating point support for vector operations. Useful for array processing, image processing, FITS and ASCII I/O, and linear algebra (astronomical and scientific computing, in short). LTL provides dynamic arrays of up to 5-dimensions, subarrays and slicing, support for fixed size vectors and matrices including basic linear algebra operations, expression templates based evaluation, and I/O facilities for ascii and FITS format files. Users of the boost and blitz++ library may find the cross-pollination of these unique features to be fruitful.

KKTDirect implements an ordering method and accompanying factorization for the direct solution of saddle-point matrices (also known as KKT or equilibrium matrices). A simple constraint on ordering together with an assumption on the rank of parts of the matrix are sufficient to guarantee the existence of the LDL^T factorization, stability concerns aside. In fact, D may be taken to be a diagonal matrix with +/-1 along the diagonal, and be fully determined prior to factorization, giving rise to a "signed Cholesky" factorization. A modified minimum-degree-like algorithm which incorporates this constraint is used, along with a simple algorithm to modify an existing fill-reducing ordering to respect the constraint. While a stability analysis is lacking, numerical experiments indicate that this is generally sufficient to avoid the need for numerical pivoting during factorization, with clear possible benefits for performance. Note this is only alpha-quality proof-of-concept code: for example, out-of-memory errors are not handled gracefully, and the provided Minimum Degree routine is not yet competitive with other packages.

Lambda is a lambda calculus interpreter. It also will convert lambda expression into the combinators S, K, and I. Current features: * Load predefined lambda expression * Many definitions provided: numbers Y fact map iszero list 1st 2nd 3rd ADD MUL EXP list suc pred . . . * Automatic number definitions. * Interpret lambda expressions. * Single step interpretation. * Normal or application order reductions. * Variable extraction (Conversion to S K I) * List definitions. * Some lambda calculus theory.

Matrix Math is software to quickly and easily compute functions of matrices of any size. It supports addition, subtraction, multiplication, inversion, division, and will support whatever else is necessary.

nauty is a program for computing automorphism groups of graphs and digraphs. It can also produce a canonical labelling.

The package is intended for scientists and engineers who need to manipulate a variety of types of matrices using standard matrix operations. Emphasis is on the kind of operations needed in statistical calculations such as least squares, linear equation solve and eigenvalues.

A Double-Double and Quad-Double Arithmetic library. Double-double and quad-double numbers are unevaluated sum of two and four IEEE doubles capable of representing 106 and 212 bits of significand, respectively. The library is written in C++, taking full advantage of operator overloading. C, Fortran 77, and Fortran 90 interfaces are also provided. This work was done at Lawrence Berkeley National Laboratory, NERSC Division, Yozo Hida with Xiaoye S. Li and David H. Bailey.

Hoc, the High Order Calculator, is an interpreted language for floating-point calculations. Its most basic use is as a powerful and convenient calculator, interactively evaluating expressions such as 1+2*sin(0.7). But hoc is no ordinary calculator: It also lets you assign values to variables, define your own functions, and use loops, conditionals, and everything else you'd expect in a programming language. Hoc was developed by Brian Kernighan and Rob Pike, and introduced in their 1984 book The Unix Programming Environment. This version has been extended and improved by Nadav Y. Har'El.