• SparseMatrix

  • Referenced in 638 articles [sw04629]
  • real applications. The Collection is widely used by the numerical linear algebra community...
  • BLAS

  • Referenced in 485 articles [sw03216]
  • Linear Algebra Subroutines) collected together by level (1, 2 and 3) and precision (real, double...
  • REDUCE

  • Referenced in 740 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 ... solution of a variety of algebraic equations; facilities for the output of expressions...
  • KeYmaera

  • Referenced in 41 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...
  • SYNRAC

  • Referenced in 28 articles [sw00942]
  • SYNRAC: A Maple-package for solving real algebraic constraints. In this paper we present ... maple-package, named SyNRAC, for solving real algebraic constraints derived from various engineering problems...
  • insulate

  • Referenced in 23 articles [sw21729]
  • exact computation of the topology of real algebraic curves. We consider the problem of computing ... induced by one (or more) algebraic curves in the real plane. We make no assumptions ... polynomials are algebraic numbers. Various algebraic approaches for this real root finding and counting problem ... computing the topology of a single real algebraic curve. Even this prototypical implementation without optimizations...
  • 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...
  • LAPACK

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

  • Referenced in 11 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 ... describe how to efficiently construct real simple Lie algebras up to isomorphism. Second, we consider ... real semisimple Lie algebra 𝔤. We provide an algorithm for constructing a maximally (non-)compact...
  • Bertini_real

  • Referenced in 12 articles [sw09933]
  • software for one- and two-dimensional real algebraic sets. Bertini_real is a command line ... decomposing the real portion of a one- or two-dimensional complex irreducible algebraic ... from a witness set, a set of real vertices is computed, along with connection information...
  • surfex

  • Referenced in 12 articles [sw10673]
  • SURFEX - Visualization of Real Algebraic Surfaces. surfex (with S. Holzer, a tool which is quite...
  • Surfer

  • Referenced in 10 articles [sw00931]
  • Surfer is a program to visualize real algebraic geometry in real-time. The surfaces visualized...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • algebra. CLICAL works on Clifford algebras Clp,q of real non-degenerate quadratic spaces...
  • Surf

  • Referenced in 8 articles [sw04923]
  • tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections...
  • CliffMath

  • Referenced in 21 articles [sw04955]
  • algebraic framework of Clifford algebras, for tackling important real world problems related, but not limited...
  • SPECTRA

  • Referenced in 7 articles [sw17619]
  • solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities in exact...
  • ScaLAPACK

  • Referenced in 404 articles [sw00830]
  • library of high-performance linear algebra routines for distributed memory message-passing MIMD computers ... routines.\parSoftware is available in single precision real, double precision real, single precision complex...
  • CliffOC

  • Referenced in 18 articles [sw04957]
  • algebraic framework of Clifford algebras, for tackling important real world problems related, but not limited...
  • SARAG

  • Referenced in 3 articles [sw00826]
  • which is a software library for real algebraic geometry written in the free computer algebra ... SARAG stands for “Some Algorithms in Real Algebraic Geometry” and has two main applications: extending ... Maxima in the field of real algebraic geometry and being part of the interactive version ... book “Algorithms in Real Algebraic Geometry” by S. Basu, R. Pollack, M.-F. Roy [Berlin...