Oberwolfach References on Mathematical Software

28 Search Results

CASA

CASA is a special-purpose system for computational algebra and constructive algebraic geometry. The system has been developed since 1990. CASA is the ongoing product of the Computer Algebra Group at the Research Institute for Symbolic Computation (RISC-Linz), the University of Linz, Austria, under the direction of Prof. Winkler. The system is built on the kernel of the widely used computer algebra system Maple.

More information

cdd/cddplus

The program cdd+ is a C++ implementation of the Double Description Method of Motzkin et al. for generating all vertices (i.e. extreme points) and extreme rays of a general convex polyhedron in R^d given by a system of linear inequalities.

More information

CoCoA

CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations on multivaraiate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Poincare' series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities of CoCoA and the flexibility of its use are further enhanced by the dedicated high-level programming language. For convenience, the system offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms.

More information

EViews

Eviews supports general statistical analysis and econometric analyses (cross-section, panel data analysis, time series estimation and forecasting). It combines spreadsheet and relational database technology with the traditional tasks found in statistical software. Among its numerous data formats are Excel, databases, PSPP/SPSS, DAP/SAS, Stata, RATS, and TSP. Compatible: numerous formats, including databank format, Excel formats, PSPP/SPSS, DAP/SAS, Stata, RATS, and TSP

More information

FLASH Code

The FLASH code is a modular, adaptive, parallel simulation code capable of handling general compressible flow problems in astrophysical environments. It has been designed to allow users to configure initial and boundary conditions, change algorithms, and add new physical effects with minimal effort. It uses the PARAMESH library to manage a block-structured adaptive grid, placing resolution elements only where they are needed most. It uses the Message-Passing Interface (MPI) library to achieve portability and scalability on a variety of different message-passing parallel computers.

More information

GiANT

GiANT is a graphical interface for working with number fields. It dynamically provides the user with typeset information, diagrams, and drag-and-drop functionality. The result is a level of human-computer interaction which is difficult to achieve in a shell environment. GiANT is written in Java 1.4 and runs on top of the computer algebra system KASH 2.5.

More information

gretl - Gnu Regression, Econometrics and Time-series Library

Gretl is a statistical package. It was developed mainly for econometrics. It has as well scripting capabilities as an easy intuitive interface. It features a wide variety of estimators, time series methods limited dependent variables. It has several times been applied in the Journal of Applied Econometrics.

More information

IBM SPSS Statistics

With IBM SPSS Statistics, you can get a quick look at your data, formulate hypotheses for additional testing, and then carry out a number of procedures to help clarify relationships between variables, create clusters, identify trends and make predictions.

More information

ILOG CPLEX

ILOG CPLEX is an environment for optimization problems. ILOG CPLEX algorithms can be accessed from the CPLEX Component Libraries as well as the CPLEX Interactive Optimizer, an easy-to-use interactive program. CPLEX provides all the basic features and utilities for using these solvers: sophisticated problem preprocessing; file reading and writing utilities; reporting; messaging control; interactive revision capability; efficient restart from an advanced basis; sensitivity analysis; and an infeasibility finder.

More information

Isabelle

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

More information

JMP

JMP provides a comprehensive set of statistical tools as well as design of experiments and statistical quality control in a single package. It allows for custom programming and script development via JSL, "JMP Scripting Language".

More information

JMulTi

JMulTi is an interactive software designed for univariate and multivariate time series analysis. It has a Java graphical user interface that uses an external engine for statistical computations. It has been designed for certain econometric procedures in time series analysis, especially some of them not available in other packages, like Impulse Response Analysis with bootstrapped confidence intervals for VAR/VEC modelling.

More information

KANT

KASH/KANT is a computer algebra system for sophisticated computations in algebraic number fields and global function fields. It has been developed under the project leadership of Prof. Dr. M. Pohst at Technische Universität Berlin.

More information

KnotPlot

KnotPlot is a program to visualize and manipulate knots in three and four dimensions. Knots can be loaded from a database of almost 1000 knots and links or sketched by hand in three dimensions. Also, knots may be constructed via the Conway notation or using a tangle calculator. A number of special knot types (torus knots, knot chains, Lissajous knots) may be created on the fly. Finally, new knots can be created from old knots using a number of transformations.

More information

LattE integrale

LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice points and integrationinside convex polytopes. LattE contains the first ever implementation of Barvinok's algorithm. The latest version, LattE integrale, has the ability to directly compute integrals of polynomial functions over polytopes and in particular to do exact volume computations. Version 1.6 added the capability of computing the highest coefficients of weighted Ehrhart quasipolynomials.

More information

nauty

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

More information

Normaliz

Normaliz is a tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Its input data can be specified in terms of a system of generators or vertices or a system of linear homogeneous Diophantine equations, inequalities and congruences or a binomial ideal. Normaliz computes the dual cone of a rational cone (in other words, given generators, Normaliz computes the defining hyperplanes, and vice versa), a placing (or lexicographic) triangulation of a vector configuration (resulting in a triangulation of the cone generated by it), the Hilbert basis of a rational cone, the lattice points of a lattice polytope, the normalization of an affine monoid, the Hilbert (or Ehrhart) series and the Hilbert (or Ehrhart) (quasi) polynomial under a Z-grading (for example, for rational polytopes), NEW: generalized (or weighted) Ehrhart series and Lebesgue integrals of polynomials over rational polytopes via NmzIntegrate, a description of the cone and lattice under consideration by a system of inequalities, equations and congruences

More information

OxMetrics

The family of software packages for the econometric analysis of time series, forecasting, econometric model selection and for the statistical analysis of cross-section data and panel data.

More information

PSPP

PSPP is a program for statistical analysis of sampled data. It is a Free replacement for the proprietary program SPSS.

More information

RATS

RATS (Regression Analysis of Time Series) is a fast, efficient, and comprehensive econometrics and time series analysis software package.

More information

SingSurf

An online Java applet for calculation of singular algebraic surfaces.

More information

SINGULAR

SINGULAR is a Computer Algebra system for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR's main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect to an ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including e.g. Buchberger's algorithm and Mora's Tangent Cone algorithm. Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more related functionalities. Based on an easy-to-use interactive shell and a C-like programming language, SINGULAR's internal functionality is augmented and user-extendible by libraries written in the SINGULAR programming language. A general and efficient implementation of communication links allows SINGULAR to make its functionality available to other programs.

More information

SOFA

SOFA - Statistics Open For All The user-friendly, open-source statistics, analysis, and reporting package.

More information

STATGRAPHICS Online

STATGRAPHICS Online is a statistical package that runs within a web browser. You can enter data directly into the data editor or read data from text files, Excel files, or other common formats. The calculations are performed remotely on a web server and the results returned to your browser as HTML with imbedded graphics images.

More information

STATISTICA

STATISTICA provides a comprehensive array of data analysis, data management, data visualization, and data mining procedures. Its techniques include a wide selection of predictive modeling, clustering, classification, and exploratory techniques in one software platform.

More information

Theorema

The Theorema project aims at extending current computer algebra systems by facilities for supporting mathematical proving. The present early-prototype version of the Theorema software system is implemented in Mathematica . The system consists of a general higher-order predicate logic prover and a collection of special provers that call each other depending on the particular proof situations. The individual provers imitate the proof style of human mathematicians and produce human-readable proofs in natural language presented in nested cells. The special provers are intimately connected with the functors that build up the various mathematical domains. The long-term goal of the project is to produce a complete system which supports the mathematician in creating interactive textbooks, i.e. books containing, besides the ordinary passive text, active text representing algorithms in executable format, as well as proofs which can be studied at various levels of detail, and whose routine parts can be automatically generated. This system will provide a uniform (logic and software) framework in which a working mathematician, without leaving the system, can get computer-support while looping through all phases of the mathematical problem solving cycle.

More information

XaoS

XaoS is a fast, portable, real-time, and interactive fractal zoomer. It displays the Mandelbrot set (among other escape time fractals) and allows you zoom smoothly into the fractal. Various coloring modes are provided for both the points inside and outside the selected set. In addition, switching between Julia and Mandelbrot fractal types and on-the-fly plane switching is provided.

More information

Xeukleides

Xeukleides is a frontend for editing and viewing figures described by the language Eukleides (which provides simple and powerful commands for creating elementary Euclidean geometry figures).

More information