
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 graphbased 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 usersupplied 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 matrixvector 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 Morsetheoretic 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 ... locallyoptimal 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 tripletbased 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 ... SuperFineboosted matrix representation with parsimony (MRP, the most wellknown 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...