
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 realvalued firstorder dynamic logic for hybrid...

SYNRAC
 Referenced in 28 articles
[sw00942]
 SYNRAC: A Maplepackage for solving real algebraic constraints. In this paper we present ... maplepackage, 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 SAC2 [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 twodimensional real algebraic sets. Bertini_real is a command line ... decomposing the real portion of a one or twodimensional 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 realtime. The surfaces visualized...

CLICAL
 Referenced in 17 articles
[sw20733]
 algebra. CLICAL works on Clifford algebras Clp,q of real nondegenerate 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 highperformance linear algebra routines for distributed memory messagepassing 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...