
Maxima
 Referenced in 169 articles
[sw00560]
 expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations ... using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot...

TAF
 Referenced in 85 articles
[sw07492]
 Tool: TAF Transformation of Algorithms in Fortran (TAF) is a sourcetosource ADtool ... flow analysis. Given the independent and dependent variables of the specified toplevel routine...

GTM
 Referenced in 57 articles
[sw39434]
 variables. A familiar example is factor analysis which is based on a linear transformations between ... introduce a form of nonlinear latent variable model called the Generative Topographic Mapping...

NICE
 Referenced in 14 articles
[sw29631]
 resulting in independent latent variables. We parametrize this transformation so that computing the Jacobian determinant...

NumSBT
 Referenced in 5 articles
[sw09109]
 very large values of the transform variable. Applications to the evaluation of overlap integrals...

irid_fod
 Referenced in 5 articles
[sw20906]
 where ”s” is the Laplace transform variable, and ”r” is a real number...

Symbolic Math Toolbox
 Referenced in 37 articles
[sw08398]
 transforms, and equation solving. Your computations can be performed either analytically or using variableprecision...

LSFBTR
 Referenced in 7 articles
[sw13181]
 uniformly in the variable ln(r). The resulting values of the transform are given ... distributed uniformly in the variable ln(k). Solution method: The transform can be carried...

pyodesys
 Referenced in 2 articles
[sw29025]
 sometimes necessary to perform variable transformations in order for the solution to proceed efficiently.pyodesys provides ... alternative formulations of the system (from variable transformations, including scaling of variables...

CiaoPP
 Referenced in 44 articles
[sw12089]
 program debugging, analysis, and sourcetosource transformation tasks on (Ciao) Prolog programs. These tasks ... program, including types, modes and other variable instantiation properties, nonfailure, determinacy, bounds on computational ... Several kinds of source to source program transformations such as program specialization, slicing, partial evaluation...

Bandera
 Referenced in 134 articles
[sw07663]
 integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... trail while displaying values of variables and internal states of Java lock objects...

DICTRA
 Referenced in 9 articles
[sw27312]
 only geometries that can be transformed into one space variable can be treated, but many...

PROC CALIS
 Referenced in 5 articles
[sw12071]
 should remove outliers and consider transformations of nonnormal variables before using PROC CALIS with maximum...

Statistics Toolbox
 Referenced in 18 articles
[sw10157]
 identify key variables that impact your model with sequential feature selection, transform your data with...

SQEMA
 Referenced in 39 articles
[sw03056]
 canonical completeness result. SQEMA is based on transformation rules, the most important of which employs ... enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative...

RuleMerger
 Referenced in 3 articles
[sw22849]
 RuleMerger: automatic construction of variabilitybased model transformation rules. Unifying similar model transformation rules into ... variabilitybased ones can improve both the maintainability and the performance of a model transformation...

libMC
 Referenced in 47 articles
[sw06615]
 implemented in libMC. Moreover, subgradients for multivariable functions are calculated along various seed directions ... operator overloading approach (as opposed to program transformation techniques) to automate the relaxation and subgradient...

GPTIPS
 Referenced in 7 articles
[sw15254]
 order nonlinear transformations of the input variables. The functionality of GPTIPS is demonstrated...

biXid
 Referenced in 9 articles
[sw12667]
 program defines a relation over documents and transforms a document to another ... allow nonlinear pattern variables for expressing nontrivial transformations that cannot be written only...

DEQuadrature
 Referenced in 1 article
[sw12625]
 after a variable transformation induces double exponential endpoint decay. In addition, the variable transformations maximize...