• Coq

  • Referenced in 1888 articles [sw00161]
  • provides a formal language to write mathematical definitions, executable algorithms and theorems together with ... machine-checked 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 large-scale 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 near-mathematical notation, resulting in compact, intuitive and readable programs. We present ... generate concrete low-level 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 front-ends, 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 research-oriented 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...
  • DUNE-FEM

  • Referenced in 38 articles [sw03084]
  • DUNE-FEM 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...