• SparseMatrix

  • Referenced in 663 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...
  • Surfer

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

  • Referenced in 8 articles [sw04923]
  • tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections...
  • 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...
  • CylindricalAlgebraicDecompose

  • Referenced in 4 articles [sw32798]
  • fundamental tool in computational real algebraic geometry and has been implemented in several software. While ... triangular decomposition of polynomial systems and real root isolation of regular chains. The function...
  • rootsur.lib

  • Referenced in 3 articles [sw10984]
  • References: Basu, Pollack, Roy, ”Algorithms in Real Algebraic Geometry”, Springer...
  • GAviewer

  • Referenced in 10 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...
  • UMAP

  • Referenced in 9 articles [sw34900]
  • geometry and algebraic topology. The result is a practical scalable algorithm that applies to real...
  • Singularity

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

  • Referenced in 2 articles [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...
  • LearningAlgebraicVarieties

  • Referenced in 9 articles [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...
  • DeterminantalRepresentations

  • Referenced in 5 articles [sw33866]
  • which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane ... speed and robustness, employing linear algebra and numerical algebraic geometry, without genericity assumptions...
  • 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 general-purpose 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...
  • SimNet

  • Referenced in 1 article [sw39551]
  • with APIs that enable user extensions to geometry, physics and network architecture. It has advanced ... multi-Node implementation with accelerated linear algebra as well as FP32, FP64 and TF32 computations ... effective solution of the PDEs. We present real-world use cases that range from challenging ... physics simulations with turbulence and complex 3D geometries, to industrial design optimization and inverse problems...
  • ANSYS

  • Referenced in 672 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 330 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 101 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

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