• NOMAD

  • Referenced in 90 articles [sw02916]
  • usually given as costly programs with no derivative information and no function values returned...
  • DERIVE

  • Referenced in 65 articles [sw02964]
  • longer available as a separate program, but the Derive code is now incorporated into...
  • XploRe

  • Referenced in 59 articles [sw01128]
  • software via the XploRe programming language, which is derived from the C programming language. Single...
  • SNOPT

  • Referenced in 518 articles [sw02300]
  • large-scale constrained optimization. Sequential quadratic programming (SQP) methods have proved highly effective for solving ... linear and nonlinear). We assume that first derivatives are available and that the constraint gradients...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • Simula is the name of two simulation programming languages, Simula I and Simula 67, developed ... introduced in Simula derivatives. Simula is considered the first object-oriented programming language...
  • ADIFOR

  • Referenced in 245 articles [sw02185]
  • automatic differentiation of Fortran 77 programs. Given a Fortran 77 source code and a user ... independent variables, ADIFOR will generate an augmented derivative code that computes the partial derivatives...
  • Visual Basic

  • Referenced in 299 articles [sw03518]
  • environment (IDE) from Microsoft for its COM programming model first released in 1991 and declared ... Visual Basic was derived from BASIC and enables the rapid application development (RAD) of graphical...
  • NAS Parallel Benchmarks

  • Referenced in 128 articles [sw08853]
  • programs designed to help evaluate the performance of parallel supercomputers. The benchmarks are derived from ... available in commonly-used programming models like MPI and OpenMP...
  • OpenAD/F

  • Referenced in 23 articles [sw09380]
  • functions defined by a Fortran program. The derivative evaluation is performed by a Fortran code ... analysis and transformation of the original program that defines the function of interest. Open/ADF ... schema. The implemented transformation algorithms allow efficient derivative computations using locally optimized cross-country sequences...
  • DIMSYM

  • Referenced in 73 articles [sw04279]
  • dimensional). The program allows the user to compute Lie brackets, vector derivatives ... manifolds can be utilised from within the program. Its use can be interactive or batch...
  • DSPCA

  • Referenced in 35 articles [sw04804]
  • where cardinality is constrained, and derive a semidefinite programming based relaxation for our problem...
  • NETGEN

  • Referenced in 147 articles [sw09229]
  • development, implementation, and availability of a computer program for generating a variety of feasible network ... together with a set of benchmarked problems derived from it. The code “NETGEN” can generate...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • library of computer algebra programs, originally derived from SAC-2 [3], contains reference implementations ... SACLIB 3.0 beta from C programs, all SACLIB functions are available with C linkage. Such...
  • NPSOL

  • Referenced in 147 articles [sw07420]
  • NPSOL 5.0: Fortran package for nonlinear programming. NPSOL is a set of Fortran 77 subroutines ... constraints functions and (optionally) their first derivatives. NPSOL is not intended for large sparse problems ... problem size. NPSOL uses a sequential quadratic programming (SQP) algorithm, in which each search direction...
  • Wolverine

  • Referenced in 13 articles [sw14483]
  • programs, deploying Craig interpolation to derive program invariants. We describe the underlying approach...
  • AoPA

  • Referenced in 8 articles [sw09832]
  • Agda: dependent types for relational program derivation. Relational program derivation is the technique of stepwise ... Agda), to encode relational derivations in the dependently typed programming language Agda. A program...
  • LISP

  • Referenced in 126 articles [sw07201]
  • research. As one of the earliest programming languages, Lisp pioneered many ideas in computer science ... self-hosting compiler.[2] The name LISP derives from ”LISt Processing”. Linked lists ... lists. As a result, Lisp programs can manipulate source code as a data structure, giving...
  • ISETL

  • Referenced in 20 articles [sw01370]
  • level. The method uses ISETL, a programming language derived from SETL, to implement instruction whose...
  • KYPD

  • Referenced in 7 articles [sw05126]
  • KYPD: a solver for semidefinite programs derived from the Kalman-Yakubovich-Popov lemma Semidefinite programs ... derived from the Kalman-Yakubovich-Popov lemma are quite common in control and signal processing ... applications. The programs are often of high dimension making them hard or impossible to solve...
  • GAUSSIAN

  • Referenced in 181 articles [sw06118]
  • Gaussian is an electronic structure program, used by chemists, chemical engineers, biochemists, physicists and others ... molecular systems, along with numerous molecular properties derived from these basic computation types...