
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, firstorder algorithm that ... idea of lowrank 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 TSPlike problems. All Concorde functions are threadsafe 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]
 branchandbound 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 mixedinteger optimizer, MINTO provides various mechanisms...

AspectJ
 Referenced in 132 articles
[sw04426]
 program; pointcuts are collections of join points; advice are special methodlike 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]
 generalpurpose languages, a program library is specialized towards a welldefined 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...