• Bertini

  • Referenced in 179 articles [sw06683]
  • parameter continuation for families of systems, such as the inverse kinematics of six-revolute serial ... preserves the straightline quality of an input system. Uses homogenization to accurately compute solutions...
  • ScaLAPACK

  • Referenced in 377 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 67 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 53 articles [sw15253]
  • derived from control and filtering problems for systems in generalized (or implicit or descriptor) state ... respect to inversion. Cross-weighting or correlated noise is handled directly. Both system-theoretic balancing...
  • Matchbox

  • Referenced in 24 articles [sw10115]
  • with respect to an (inverse) match-bounded string rewriting system. Matchbox can search for proof...
  • Inverse-syst

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

  • Referenced in 26 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...
  • Loewner

  • Referenced in 22 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 Moore-Penrose 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...
  • ILUPACK

  • Referenced in 20 articles [sw10477]
  • positive definite systems. The basic idea of ILUPACK is based on inverse-based ILUs, that...
  • EFD

  • Referenced in 45 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...
  • DGMRES

  • Referenced in 12 articles [sw02839]
  • derived for Drazin-inverse 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...
  • Aleph

  • Referenced in 39 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:245-286, 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 25 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...
  • LINA01

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

  • 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...
  • Modulef

  • Referenced in 19 articles [sw01072]
  • systems can be solved using direct or iterative methods. Solution methods for eigenproblems include inverse...
  • PaFiBo-OBGAIM

  • 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...