• APMC

  • Referenced in 27 articles [sw11483]
  • probabilistic systems. However, the representation of the transition matrix may be expensive for very large ... this paper, we propose an approximation method to verify quantitative properties on discrete Markov chains ... randomized algorithm requires only a succinct representation of the system and is based...
  • FlipCut

  • Referenced in 2 articles [sw08374]
  • supertrees: towards matrix representation accuracy in polynomial time. In computational phylogenetics, supertree methods provide ... finding minimum cuts in some graph. Matrix representation methods compute supertrees of superior quality ... from graph-based methods with a matrix representation method, namely Minimum Flip Supertrees. Here ... quality, our method is sometimes on par with the “gold standard” Matrix Representation with Parsimony...
  • NSPCG

  • Referenced in 30 articles [sw00636]
  • operator representation. The coefficient matrix can be passed in one of several different matrix data ... with user-supplied routines for performing certain matrix operations. In this case ... required to copy the matrix into one of the package formats. This is particularly advantageous ... basic preconditioners that are available are point methods such as Jacobi, incomplete $LU$ decomposition...
  • cdd

  • Referenced in 109 articles [sw00114]
  • where is an real matrix and is a real dimensional vector. See, [FP96 ... efficient implementation of the double description method which is employed in cdd+. One useful feature ... which is to obtain a linear inequality representation of a convex polyhedron given...
  • DVDSON

  • Referenced in 16 articles [sw17845]
  • real, symmetric matrix. Based on the Davidson method, which is extensively used in quantum chemistry/physics ... original algorithm by adopting several extensions. The matrix-vector multiplication routine that it requires ... matrix formats and optimizations are thus feasible. Examples of an efficient sparse matrix representation...
  • Quartets MaxCut

  • Referenced in 5 articles [sw29616]
  • root of many tree reconstruction methods and theoretical as well as experimental results have been ... outperforms and outraces the Matrix Representation with Parsimony (MRP) methods that have previously been most...
  • DSPCA

  • Referenced in 35 articles [sw04804]
  • classical variational representation of the largest eigenvalue of a symmetric matrix, where cardinality is constrained ... arising in the direct sparse PCA method...
  • REPSN

  • Referenced in 20 articles [sw00800]
  • author describe techniques for computing a matrix representation for G which affords χ whenever ... present paper we introduce a new, fast method which can be applied in the important...
  • Perseus

  • Referenced in 21 articles [sw08778]
  • column operations on possibly gigantic matrix representations of boundary operators defined on cell complexes. Discrete ... scope and limitations of such Morse-theoretic methods. We also provide a brief overview...
  • Anasazi

  • Referenced in 20 articles [sw04030]
  • flexibility to specify the data representation for the matrix and vectors and so leverage ... locally-optimal block preconditioned conjugate gradient (LOBPCG) method...
  • UDC

  • Referenced in 18 articles [sw20233]
  • conquer method for computing the spectral resolution of a unitary upper Hessenberg matrix ... such matrix H of order n, normalized so that its subdiagonal elements are nonnegative ... Givens matrices and a diagonal matrix. This representation, which we refer to as the Schur...
  • Semigroups

  • Referenced in 25 articles [sw11877]
  • matrix semigroups, free inverse semigroups, and free bands. Semigroups contains more efficient methods than those ... variety of further properties. There are methods for finding congruences of certain types of semigroups ... finite semigroup, and smaller degree partial permutation representations of inverse semigroups. There are functions...
  • SuperTriplets

  • Referenced in 3 articles [sw29604]
  • trees. We first recall how, using this representation, the parsimony analysis is related ... method avoids several practical limitations of the triplet-based binary matrix representation, making it useful...
  • SuperFine

  • Referenced in 2 articles [sw29605]
  • produce more accurate trees than standard supertree methods, and run quickly on very large data ... SuperFine-boosted matrix representation with parsimony (MRP, the most well-known supertree method) approaches...
  • BREIT_NO

  • Referenced in 1 article [sw10725]
  • matrix elements. The calculations follow the method based on the representation of configuration wave functions...
  • AClib

  • Referenced in 11 articles [sw09512]
  • rational matrix representation of dimension 4 or 5, respectively, and such representations are available ... compute with the given groups using the methods of the Polycyclic package...
  • CORA

  • Referenced in 7 articles [sw25659]
  • analysis. CORA integrates various vector and matrix set representations and operations on them as well ... software is designed such that set representations can be exchanged without having to modify ... paradigm, such that users can safely use methods without concerning themselves with detailed information hidden...
  • ALPS MPS

  • Referenced in 1 article [sw19924]
  • implementation of these methods based on a matrix product state (MPS) representation. Our applications implement...
  • cddplus

  • Referenced in 11 articles [sw04443]
  • implementation of the Double Description Method of Motzkin et al. for generating all vertices ... real matrix and b is a real m dimensional vector. The program can be used ... move back and forth between an inequality representation and a generator (i.e. vertex...
  • Algorithm 730

  • Referenced in 5 articles [sw14348]
  • conquer method for computing the spectral resolution of a unitary upper Hessenberg matrix ... such matrix H of order n, normalized so that its subdiagonal elements are nonnegative ... Givens matrices and a diagonal matrix. This representation, which we refer to as the Schur...