
Coq
 Referenced in 1888 articles
[sw00161]
 provides a formal language to write mathematical definitions, executable algorithms and theorems together with ... machinechecked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert ... certification in industrial context), the formalization of mathematics (e.g. the full formalization...

Nuprl
 Referenced in 394 articles
[sw06751]
 framework for reasoning about mathematics and programming. Over the years its design has been substantially ... meet the demands of largescale applications. Nuprl LPE, the newest release, features an open...

Mosek
 Referenced in 480 articles
[sw04618]
 mathematical optimization problems. Some examples of problems MOSEK can solve are linear programs, quadratic programs ... problems. Such problems occurs frequently in Financial applications e.g. portfolio management, Supply chain management, Analog...

SSVM
 Referenced in 64 articles
[sw12678]
 extensively used for solving important mathematical programming problems and applications, are applied here to generate...

Scilab
 Referenced in 173 articles
[sw00834]
 includes hundreds of mathematical functions. It has a high level programming language allowing access ... Simulation: For usual engineering and science applications including mathematical operations and data analysis...

FEATFLOW
 Referenced in 203 articles
[sw04254]
 program package FEATFLOW is both a user oriented as well as a general purpose subroutine ... develop software which realizes our new mathematical and algorithmical ideas in combination with high performance ... designed for the following three classes of applications: Education of students, scientific research and industrial...

GloptiPoly
 Referenced in 322 articles
[sw04343]
 developments and impact in various areas of mathematics such as algebra, Fourier analysis, functional analysis ... large number of important applications in various fields such as optimization, probability, finance, control, signal ... moment problems with polynomial data. Many important applications in e.g. optimization, probability, financial economics ... build up a hierarchy of semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations...

plantri
 Referenced in 69 articles
[sw10864]
 Fast generation of planar graphs. The program Plantri is described. Its principles of operation ... polytopes. Many applications in the natural sciences as well as in mathematics are presented...

ETPS
 Referenced in 160 articles
[sw06302]
 applications of automated theorem proving include hardware and software verification, partial automation of various mathematical ... used in this way. The program thus allows students to concentrate on the essential logical...

UFL
 Referenced in 63 articles
[sw11183]
 equations in nearmathematical notation, resulting in compact, intuitive and readable programs. We present ... generate concrete lowlevel implementations. Some application examples are presented and libraries that support...

NLP
 Referenced in 3 articles
[sw07786]
 three steps towards more efficient applicability of mathematical programming algorithms : First, a program package...

OMEI
 Referenced in 4 articles
[sw02286]
 establish a uniform application programming interface for heterogeneous mathematical computation systems. OMEI can play ... essential role in making mathematical engines easily accessible by frontends, tools, and servers ... interface enables the development of individual applications that can serve different engines. The motivation, application...

ITPACK
 Referenced in 47 articles
[sw00459]
 Austin involves the development of researchoriented mathematical software, based on iterative algorithms, for solving ... terminating the iterative processes. An important application of ITPACK 2C is for use as solution ... objectives of the ITPACK project, summarizes the programs made to date and outlines plans ... research that has contributed to the present mathematical software package. The 2C version of ITPACK...

JASMIN
 Referenced in 16 articles
[sw18129]
 scientific computing. To improve on the traditional program for numerical simulations of laser fusion ... Computational Mathematics (IAPCM) initializes a software infrastructure named J Adaptive Structured Meshes applications INfrastructure (JASMIN ... accelerate the development of parallel programs for large scale simulations of complex applications on parallel...

MAPCLUS
 Referenced in 31 articles
[sw20021]
 least squares method combined with a mathematical programming optimization procedure based on a penalty function ... ADCLUS representations. MAPCLUS is illustrated with an application to one of the examples given...

GAMS Model
 Referenced in 8 articles
[sw21987]
 applications such as spreadsheets and database interface. GAMS EMP Library  includes GAMS Extended Mathematical Programming ... used as scripts to compile and execute application programs in various programming languages interfacing...

LSSPER
 Referenced in 29 articles
[sw02485]
 using either constraint programming techniques or mathematical programming techniques). Hence, the method can be seen ... optimized. In this paper, we investigate the application of the method to the RCPSP. Several...

DUNEFEM
 Referenced in 38 articles
[sw03084]
 DUNEFEM module. Starting from an abstract mathematical notion of discrete function spaces and operators ... obtained by using modern template based generic programming techniques, including static polymorphism, the engine concept ... several benchmark problems and some advanced applications...

DISPRO
 Referenced in 7 articles
[sw14791]
 problems. So far, certain classes of discrete programming problems could be solved ... application packages. In addition, some packages have been developed in recent years for mathematical programming ... parametric linear programming; DILOS, interactive system for unconstrained optimization, nonlinear programming, and optimal control; ORBITAL ... increased demands for quality, efficiency, and applicability in various MIS and ADPS. The next version...

Schittkowski
 Referenced in 28 articles
[sw05205]
 engineering, natural or medical sciences.par The mathematical models and data fitting calculations are illustrated ... make applications with algorithms, data, and solution tolerances of the program that run under Windows...