
Bertini
 Referenced in 204 articles
[sw06683]
 parameter continuation for families of systems, such as the inverse kinematics of sixrevolute serial ... preserves the straightline quality of an input system. Uses homogenization to accurately compute solutions...

ScaLAPACK
 Referenced in 393 articles
[sw00830]
 systems of equations, condition estimation and iterative refinement, for LU and Cholesky factorization, matrix inversion ... clusters of workstations, and any system for which PVM or MPI is available.\parEach Users...

SAS/IML
 Referenced in 70 articles
[sw03240]
 programmers, statisticians, and researchers. Use the SAS System for data manipulation and general statistical analysis ... perform complex tasks such as matrix inversion or eigenvector generation...

RICPAC
 Referenced in 58 articles
[sw15253]
 derived from control and filtering problems for systems in generalized (or implicit or descriptor) state ... respect to inversion. Crossweighting or correlated noise is handled directly. Both systemtheoretic balancing...

Inversesyst
 Referenced in 8 articles
[sw20987]
 Singular library for computing Macaulay’s inverse systems. In this note we review the Singular...

Matchbox
 Referenced in 24 articles
[sw10115]
 with respect to an (inverse) matchbounded string rewriting system. Matchbox can search for proof...

Loewner
 Referenced in 27 articles
[sw17575]
 Loewner framework and transfer functions of singular/rectangular systems. A connection is established between the Loewner ... framework for model reduction and the generalized inverses of singular and rectangular matrices. In this ... both the MoorePenrose and the Drazin inverses are involved. As a consequence this approach ... yields transfer functions for singular and rectangular systems. Thus the Loewner framework constitutes a natural...

ParaSails
 Referenced in 27 articles
[sw11521]
 sparse approximate inverse preconditioner for the iterative solution of large, sparse systems of linear equations ... norm) minimization to compute a sparse approximate inverse. The sparsity pattern used is the pattern...

Modulef
 Referenced in 39 articles
[sw01072]
 systems can be solved using direct or iterative methods. Solution methods for eigenproblems include inverse...

ILUPACK
 Referenced in 21 articles
[sw10477]
 positive definite systems. The basic idea of ILUPACK is based on inversebased ILUs, that...

EFD
 Referenced in 47 articles
[sw04152]
 number of multiplications needed to provide an inversion in the ground field. In order ... point). They look at twelve different coordinate systems: Projective, Jacobian (these two systems are also ... affine) coordinates is given. Note that certain systems do not provide a model for every ... cases, allowing zero, one, two or three inversions in the ground field (typically, an inversion...

InvX
 Referenced in 10 articles
[sw10103]
 have implemented InvX, a system that will mechanically generate inverses for a substantial class...

Aleph
 Referenced in 42 articles
[sw12108]
 Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended ... main purpose was to understand ideas of inverse entailment which eventually appeared in Stephen Muggleton ... paper: Inverse Entailment and Progol, New Gen. Comput., 13:245286, available at ftp://ftp.cs.york.ac.uk ... functionality of several other ILP systems. Some of these of relevance to Aleph are: CProgol...

Fuzzydl
 Referenced in 27 articles
[sw11709]
 fuzzy Rough Set reasoning. The fuzzyDL system includes a reasoner for fuzzy SHIF with concrete ... augmented with transitive roles, a role hierarchy, inverse, reflexive, symmetric roles, functional roles, and explicit...

DGMRES
 Referenced in 12 articles
[sw02839]
 derived for Drazininverse solution of consistent or inconsistent linear systems of the form...

ModEM
 Referenced in 2 articles
[sw15654]
 ModEM: a modular system for inversion of electromagnetic geophysical data. We describe implementation ... modular system of computer codes for inversion of electromagnetic geophysical data, referred to as ModEM ... system is constructed with a fine level of modular granularity, with basic components ... inversion – forward modeling, sensitivity computations, inversion search algorithms, model parametrization and regularization, data functionals – interchangeable...

LINA01
 Referenced in 6 articles
[sw04902]
 direct and the inverse normalization of Hamiltonian systems and for the calculation of formal integrals...

BFSAIIC
 Referenced in 24 articles
[sw12938]
 parallel preconditioner for symmetric positive definite linear systems. The paper is concerned with a novel ... combines a generalized factored sparse approximate inverse (FSAI) with an incomplete LU (ILU) factorization...

PaFiBoOBGAIM
 Referenced in 2 articles
[sw19565]
 parallel finite difference approximate inverse preconditioning on multicore systems using POSIX threads. New parallel computational ... difference (FD) approximate inverse matrix methods, based on Portable Operating System Interface for UniX (POSIX ... threads, for multicore systems. Parallelization of the Optimized Banded Generalized Approximate Inverse Matrix (OBGAIM) algorithm ... methods, based on POSIX threads, for multicore systems. For parallelization purposes a replication...