
SparseMatrix
 Referenced in 518 articles
[sw04629]
 real applications. The Collection is widely used by the numerical linear algebra community ... from problems with underlying 2D or 3D geometry (as structural engineering, computational fluid dynamics, model...

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

Surfer
 Referenced in 6 articles
[sw00931]
 Surfer is a program to visualize real algebraic geometry in realtime. The surfaces visualized...

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...

rootsur.lib
 Referenced in 2 articles
[sw10984]
 References: Basu, Pollack, Roy, ”Algorithms in Real Algebraic Geometry”, Springer...

GAviewer
 Referenced in 8 articles
[sw10858]
 capability considerably reinforces and extends the linear algebra techniques traditionally used in computer graphics ... numbers, quaternions and Plücker coordinates.) into real geometry...

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

Polytop
 Referenced in 1 article
[sw25569]
 compute topological information about a real surface defined by a system of polynomial equations ... polyTop, leverages numerical algebraic geometry computations from Bertini and Bertini_real with topological computations...

cubic.lib
 Referenced in 1 article
[sw16959]
 propose to use objects from algebraic geometry as test shapes. A cubic surface is given ... variables. A class of cubics in real 3D space contains exactly 27 real lines. These ... thin shape geometry the material required to produce an algebraic surface is minimal. We provide...

GANITH
 Referenced in 9 articles
[sw10142]
 GANITH algebraic geometry toolkit. We are building a generalpurpose tool for computing and visualizing ... solutions to systems of algebraic equations. Diverse algorithms exist for this problem and related ... polynomial resultants and birational maps between arbitrary algebraic sets and hypersurfaces. Our designed tool shall ... intelligent blend of algebraic and numeric methods, and real solutions. Complex solutions can also...

LearningAlgebraicVarieties
 Referenced in 1 article
[sw26096]
 samples. We seek to determine a real algebraic variety from a fixed finite subset ... lies on aspects of topology and algebraic geometry, such as dimension and defining polynomials...

ANSYS
 Referenced in 569 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

AXIOM
 Referenced in 163 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CASA
 Referenced in 73 articles
[sw00108]
 CASA is a specialpurpose system for computational...

cdd
 Referenced in 100 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 304 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CLIFFORD
 Referenced in 62 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 562 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1499 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 179 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...