
HPL
 Referenced in 7 articles
[sw21404]
 combined  Various virtual panel broadcast topologies  bandwidth reducing swapbroadcast algorithm  backward substitution with look...

VAMMPIRE
 Referenced in 1 article
[sw19737]
 introduce a strategy to relate the substitution effect within matched molecular pairs (MMPs ... environment within the cocrystallized proteinligand complex. Virtually Aligned Matched Molecular Pairs Including Receptor Environment...

OPTMODEL
 Referenced in 5 articles
[sw06280]
 formulation of an optimization model into OPTMODEL virtually transparent since the modeling language mimics ... whether through structural changes or through the substitution of new data for old. In addition...

PROSE
 Referenced in 4 articles
[sw34023]
 PROSE was the mathematical 4GL virtual machine which established the holistic modeling paradigm known ... solve piecewise, or by algebra manipulation (e.g. substitution), but had to be solved as wholes...

DPMF
 Referenced in 1 article
[sw02810]
 authorization systems together to form a virtual cluster. Policy management is divided into intercluster ... main idea of CAPI is to generate substitution policies to replace the unknown policy information...

FlexCache
 Referenced in 1 article
[sw01266]
 flexible, compiler generated data caching. FlexCache substitutes the tagmemory and cache controller hardware with ... leverages compiletime static information to selectively virtualize memory, to eliminate cachetag accesses...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

Isabelle
 Referenced in 611 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1642 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Magma
 Referenced in 2917 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PARDISO
 Referenced in 270 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

QEPCAD
 Referenced in 276 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 740 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SINGULAR
 Referenced in 1408 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...