
GAviewer
 Referenced in 10 articles
[sw10858]
 extends the linear algebra techniques traditionally used in computer graphics and robotics. It naturally integrates ... complex numbers, quaternions and Plücker coordinates.) into real geometry...

Minlog
 Referenced in 21 articles
[sw09765]
 used to exploit the computational content in (co)algebraic proofs and to develop correct ... about parsing, the other about exact real numbers in signed digit representation...

Schittkowski
 Referenced in 30 articles
[sw05205]
 optimization problems that are needed to compute parameters of a dynamical model by a least ... algebraic equations, or onedimensional partial differential equations which we can meet in real life...

Bertini_real
 Referenced in 13 articles
[sw09933]
 dimensional complex irreducible algebraic set in any reasonable number of variables. Using numerical homotopy continuation ... witness set, a set of real vertices is computed, along with connection information and associated...

LAMG
 Referenced in 34 articles
[sw06551]
 matrices of graphs arise in largescale computational applications such as semisupervised machine learning; spectral ... unstructured grids with finite elements. A lean algebraic multigrid (LAMG) solver of the symmetric linear ... linearly for a diverse set of 3774 realworld graphs with up to 47 million ... extensible to eigenproblems and other graph computations...

IRiSC
 Referenced in 1 article
[sw15922]
 existential fragment of real algebra. This paper connects research in computer science in the field ... real algebra. We consider a real algebraic decision procedure computing all realizable sign conditions...

CLICAL
 Referenced in 17 articles
[sw20733]
 calculatortype computer program for geometric algebras of multivectors, called Clifford algebras. CLICAL evaluates elementary ... generalizations: quaternions, octonions and multivectors in Clifford algebras. CLICAL works directly on intrinsic geometric objects ... exterior algebra. CLICAL works on Clifford algebras Clp,q of real nondegenerate quadratic spaces ... algebra is a user interface, which provides geometrical insight. However, the actual numerical computations...

Singularity
 Referenced in 7 articles
[sw20306]
 local real zeros of multidimensional smooth maps. Many tools and techniques from computational algebraic geometry...

BranchCuts
 Referenced in 5 articles
[sw24938]
 encoding multivalued functions in computer algebra systems. While the defining choices are usually simple ... typically portions of either the real or imaginary axes) the cuts induced by the expression ... calculating the cuts in the computer algebra programme Maple. We discuss the issues raised, classifying...

MAS
 Referenced in 5 articles
[sw08442]
 Algebra System) is an experimental computer algebra system (CAS), developed at the University of Passau ... programming facilities with algebraic specification capabilities for design and study of algebraic algorithms. It contains ... real quantifier elimination, parametric real root counting, and for computing in (noncommutative) polynomial rings...

Polytop
 Referenced in 2 articles
[sw25569]
 computational problem is to compute topological information about a real surface defined by a system ... polyTop, leverages numerical algebraic geometry computations from Bertini and Bertini_real with topological computations...

FABRIK
 Referenced in 10 articles
[sw09382]
 algebraic objects. This approach can be used in a wide range of computer animation applications ... here. The proposed hand pose tracker is realtime implementable and exploits the advantages...

MLD2P4
 Referenced in 13 articles
[sw07206]
 matrix is assumed to be square, real or complex, with a symmetric sparsity pattern. MLD2P4 ... PSBLAS (Parallel Sparse Basic Linear Algebra Subprograms) computational framework and can be used in conjuction ... easily specify different aspects of a generic algebraic multilevel Schwarz preconditioner, thus allowing to search ... MLD2P4 are available for both the real and the complex case, that can be used...

ACUOS2
 Referenced in 12 articles
[sw31984]
 unity (U) algebraic axioms is finitary. However, existing tools for computing generalizers (also called “anti ... such theories do not currently scale to real size problems. This paper describes the ACUOS2...

ROPTLIB
 Referenced in 15 articles
[sw27188]
 task of finding an optimum of a realvalued function defined on a Riemannian manifold ... many applications including computer vision, signal processing, and numerical linear algebra. The substantial background required...

NPspinor
 Referenced in 18 articles
[sw00633]
 With the assistance of the computer algebra system MAPLE’s NPspinor package, two propositions ... involving four of the spin coefficients is real. The second proposition states that...

VSDITLU
 Referenced in 9 articles
[sw08725]
 library of facts about the reals in the theorem prover ... cases where standard techniques implemented in computer algebra systems fail. We present the full model...

DeterminantalRepresentations
 Referenced in 5 articles
[sw33866]
 package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus ... geared towards speed and robustness, employing linear algebra and numerical algebraic geometry, without genericity assumptions...

BPAS
 Referenced in 9 articles
[sw08399]
 Algebra Subprograms): The BPAS library provides support for arithmetic operations with polynomials on modern computer ... polynomial multiplication, multipoint evaluation and interpolation, real root isolation for both univariate and multivariate...

Mmxlib
 Referenced in 5 articles
[sw18785]
 Effective real numbers in Mmxlib. Until now, the area of symbolic computation has mainly focused ... manipulation of algebraic expressions. Based on earlier, theoretical work, the author has started to develop...