• 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 one-dimensional 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 large-scale 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 real-world graphs with up to 47 million ... extensible to eigenproblems and other graph computations...
  • I-RiSC

  • 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]
  • calculator-type 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 non-degenerate 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 multi-valued 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 real-time 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 real-valued 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, multi-point 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...