• REDUCE

  • Referenced in 746 articles [sw00789]
  • interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions...
  • KeYmaera

  • Referenced in 44 articles [sw03709]
  • hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies ... supports differential dynamic logic, which is a real-valued first-order dynamic logic for hybrid...
  • SparseMatrix

  • Referenced in 725 articles [sw04629]
  • real applications. The Collection is widely used by the numerical linear algebra community ... geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • areas, similar functionality is provided for real and complex matrices, in both single and double ... computation is performed by calls to the Basic Linear Algebra Subprograms (BLAS). LAPACK is designed...
  • insulate

  • Referenced in 24 articles [sw21729]
  • exact computation of the topology of real algebraic curves. We consider the problem of computing ... more) algebraic curves in the real plane. We make no assumptions about the curves ... polynomials are algebraic numbers. Various algebraic approaches for this real root finding and counting problem ... case of computing the topology of a single real algebraic curve. Even this prototypical implementation...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • SACLIB [4,7] library of computer algebra programs, originally derived from SAC-2 [3], contains ... SACLIB 2.1 routines for computations with real algebraic numbers [9]; the same routines are also ... arrays are used extensively in weakly typed computer algebra systems such as SACLIB. We will...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • high-performance linear algebra routines for distributed memory message-passing MIMD computers and networks ... workstations, vector supercomputers, and shared memory parallel computers. Both libraries contain routines for solving systems ... routines.\parSoftware is available in single precision real, double precision real, single precision complex...
  • CoReLG

  • Referenced in 12 articles [sw08646]
  • Computing with real Lie algebras: real forms, Cartan decompositions, and Cartan subalgebras. We describe algorithms ... performing various tasks related to real simple Lie algebras. These algorithms form the basis ... computer algebra system GAP4. First, we describe how to efficiently construct real simple Lie algebras...
  • CylindricalAlgebraicDecompose

  • Referenced in 4 articles [sw32798]
  • fundamental tool in computational real algebraic geometry and has been implemented in several software. While ... real root isolation of regular chains. The function in the RegularChains library for computing...
  • GiNaCRA

  • Referenced in 4 articles [sw06694]
  • providing data structures and algorithms for real algebraic computations. GiNaCRA is based on the efficient...
  • SPECTRA

  • Referenced in 8 articles [sw17619]
  • Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities...
  • CliffMath

  • Referenced in 23 articles [sw04955]
  • algebraic framework of Clifford algebras, for tackling important real world problems related, but not limited ... book, together with packages for performing symbolic computations...
  • SARAG

  • Referenced in 3 articles [sw00826]
  • software library for real algebraic geometry written in the free computer algebra system Maxima ... version of the book “Algorithms in Real Algebraic Geometry” by S. Basu, R. Pollack ... signed sub-resultants, linear algebra, gcd computation, real roots counting, real roots isolation, sign determination...
  • CliffOC

  • Referenced in 20 articles [sw04957]
  • algebraic framework of Clifford algebras, for tackling important real world problems related, but not limited ... book, together with packages for performing symbolic computations...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • verification problems can be reduced to semi-algebraic system (SAS for short) solving ... polynomial inequalities. Algorithms for quantifier elimination of real closed fields are the general method ... partly implemented them as a real symbolic computation tool in Maple named DISCOVERER. In this...
  • Clifford Multivector Toolbox

  • Referenced in 16 articles [sw20734]
  • Multivector Toolbox. A toolbox for computing with Clifford algebras in Matlab. Matlab® is a proprietary ... software system for calculating with matrices of real and complex numbers, developed and sold...
  • RealAlgebraic

  • Referenced in 1 article [sw09225]
  • number type for exact geometric computation. Real_algebraic is a number type for exact geometric ... with increasing precision, making sign computation adaptive. Real_algebraic is based on other libraries...
  • BLAD

  • Referenced in 20 articles [sw08612]
  • This paper describes applications of a computer algebra method, differential elimination, to applied mathematics problems ... order to put some light on the real limitations of the applications. Together with ... which is embedded in the MAPLE computer algebra software, and the BLAD libraries which...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • purpose tool for computing and visualizing solutions to systems of algebraic equations. Diverse algorithms exist ... polynomial resultants and birational maps between arbitrary algebraic sets and hypersurfaces. Our designed tool shall ... algebraic and numeric methods, and real solutions. Complex solutions can also be computed, but visualizing ... improving the state of the art of algebraic equation solving by devising novel techniques, blending...
  • UMAP

  • Referenced in 30 articles [sw34900]
  • algebraic topology. The result is a practical scalable algorithm that applies to real world data ... time performance. Furthermore, UMAP has no computational restrictions on embedding dimension, making it viable...