• GAP

  • Referenced in 3154 articles [sw00320]
  • Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing ... easily modify or extend it for your special use. Computer algebra system...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac...
  • JStatCom

  • Referenced in 103 articles [sw04873]
  • integrate numerical procedures written in specialized programming languages, like Matlab, Gauss or Ox, with...
  • ESC/Java

  • Referenced in 137 articles [sw07217]
  • that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas...
  • HYPLAS

  • Referenced in 194 articles [sw17661]
  • found at www.wiley.com/go/desouzaneto.This computer program has been specially written to illustrate the practical implementation...
  • SDPLR

  • Referenced in 146 articles [sw04745]
  • R.D.C. Monteiro for solving general semidefinite programs (SDPs) using a nonlinear, first-order algorithm that ... idea of low-rank factorization. A specialized version of SDPLR ... also available for solving specially structured semidefinite programs (SDPs) such as the MaxCut...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • have been designed for a variety of programming languages, including Ada, C, C++, CLU, CORBA ... interface languages that can be specialized for particular programming languages or used to specify interfaces ... between programs in different languages. Interface specifications rely on definitions from auxiliary specifications, written ... notations, but can use LSL to define specialized vocabularies suitable for particular interface specifications...
  • CiaoPP

  • Referenced in 44 articles [sw12089]
  • source program transformations such as program specialization, slicing, partial evaluation of a program, program parallelization...
  • Concorde

  • Referenced in 317 articles [sw04770]
  • code is written in the ANSI C programming language and it is available for academic ... specialized codes for TSP-like problems. All Concorde functions are thread-safe for programming...
  • Wolfram Demonstrations

  • Referenced in 42 articles [sw13598]
  • Moreover, their creation requires specialized programming knowledge, making them difficult and expensive to develop...
  • SDPT3

  • Referenced in 697 articles [sw04009]
  • This software is designed to solve conic programming problems whose constraint cone is a product ... with the constraint cones. This includes the special case of determinant maximization problems with linear...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • optimization from relational algebra operators to MapReduce programs is still an open and dynamic research ... this paper, we focus on a special type of data analysis query, namely multiple group...
  • MINTO

  • Referenced in 135 articles [sw04587]
  • branch-and-bound algorithm with linear programming relaxations. It also provides automatic constraint classification, preprocessing ... basic algorithm by providing a variety of specialized application routines that can customize MINTO ... prices control the size of the linear programs by managing active constraints ... possible when used to build a special purpose mixed-integer optimizer, MINTO provides various mechanisms...
  • AspectJ

  • Referenced in 132 articles [sw04426]
  • program; pointcuts are collections of join points; advice are special method-like constructs that ... show that AspectJ is powerful, and that programs written using it are easy to understand...
  • GHC

  • Referenced in 43 articles [sw23765]
  • logic programming languages and logic programming in general, with special attention paid to parallelism ... extreme simplicity compared with the other parallel programming languages. GHC is a restriction...
  • CONMIN

  • Referenced in 51 articles [sw04741]
  • provided so that the program can be used without special knowledge of optimization techniques. Sample ... familiar with CONMIN and to make the program operational...
  • ZRAM

  • Referenced in 38 articles [sw01038]
  • general-purpose languages, a program library is specialized towards a well-defined class of problems...
  • SDPB

  • Referenced in 104 articles [sw23927]
  • semidefinite program solver, designed for the conformal bootstrap. SDPB significantly outperforms less specialized solvers...
  • Algorithm 719

  • Referenced in 41 articles [sw13183]
  • means of source directives (special comments) in the original Fortran program, the user declares...
  • NLPQLP

  • Referenced in 40 articles [sw04073]
  • Search. NLPQLP is a special implementation of a sequential quadratic programming (SQP) method. Proceeding from...