• CASA

  • Referenced in 88 articles [sw00108]
  • purpose system for computational algebra and constructive algebraic geometry. The system has been developed since...
  • PolyMesher

  • Referenced in 101 articles [sw13340]
  • geometry and offers great flexibility to construct a large class of domains via algebraic expressions...
  • GRAPE

  • Referenced in 82 articles [sw07516]
  • primarily designed for constructing and analysing graphs related to groups, finite geometries, and designs ... Brendan McKay’s nauty package. Computer algebra system...
  • KoszulDivisorOnPic14M8

  • Referenced in 29 articles [sw12557]
  • KoszulDivisorOnPic14M8 Construction of random curves of degree 14 and genus 8. In this package ... Fano 3-folds of genus ≤10. Algebraic geometry and commutative algebra...
  • webDiscovery

  • Referenced in 8 articles [sw10153]
  • automatic discovery in geometry. A user-defined geometric construction is uploaded to a Java Servlet ... server, where two computer algebra systems, CoCoA and Mathematica, return the discovered facts about...
  • ATENSOR

  • Referenced in 8 articles [sw00055]
  • differential geometry and other fields where indexed objects arise. Solution method: The group algebra technique ... permutation group is applied to construct a canonical subspace and the effective algorithm...
  • Azurite

  • Referenced in 16 articles [sw20252]
  • Azurite: An algebraic geometry based package for finding bases of loop integrals. For any given ... basis of this vector space. It constructs the needed integration-by-parts (IBP) identities ... diagrams and is powered by the computer algebra systems {sc Singular} and {sc Mathematica...
  • core 2

  • Referenced in 4 articles [sw04960]
  • computation in geometry and algebra. There is a growing interest in numeric-algebraic techniques ... computer algebra community as such techniques can speed up many applications. This paper is concerned ... algebraic number computation is based on iterative verified approximations, combined with constructive zero bounds. This ... applications such as non-linear computational geometry. The adaptive complexity of ENC combined with filters...
  • BLUEVERI

  • Referenced in 1 article [sw10899]
  • computational algebraic geometry (Buchberger’s algorithm for Gr”obner basis construction). We present results from...
  • Points

  • Referenced in 1 article [sw01064]
  • intends to construct algorithms and to implement sofwares concerning problems in Algebraic Geometry which need...
  • MultivariateResidues

  • Referenced in 2 articles [sw22362]
  • residues based on methods from computational algebraic geometry. Multivariate residues appear in several contexts ... integral coefficients from maximal unitarity cuts, the construction of canonical bases of loop integrals...
  • Albany/FELIX

  • Referenced in 5 articles [sw17196]
  • flow. The solver, known as Albany/FELIX, is constructed using the component-based approach to building ... problems involving a realistic Greenland ice sheet geometry discretized using hexahedral and tetrahedral meshes. Also ... linear solver using a new algebraic multilevel preconditioner, constructed based on the idea of semi...
  • libtropicon

  • Referenced in 2 articles [sw25573]
  • fundamental problem in computational algebraic geometry. An efficient algorithm for solving this problem will ... varieties, computing mixed volume, enumerating mixed cells, constructing polyhedral homotopies, etc. libtropicon is a library ... existing ecosystem of software in computational algebraic geometry...
  • AMGCL

  • Referenced in 4 articles [sw29215]
  • solving large sparse linear systems with algebraic multigrid (AMG) method ... require any information about the underlying geometry. AMG is often used not as a standalone ... algorithms. The AMG hierarchy is constructed on a CPU and then is transferred into...
  • MoebInv

  • Referenced in 2 articles [sw27527]
  • numeric and graphical manipulations in non-Euclidean geometry. There is Graphical User Interface which allows ... basic operations on cycles (quadrics) through SFSCc construction. The second library Figure operates on ensembles ... Both libraries are based on the Clifford algebra capacities of the GiNaC computer algebra system...
  • cubic.lib

  • Referenced in 1 article [sw16959]
  • thin shape geometry the material required to produce an algebraic surface is minimal. We provide ... computer algebra system Singular which, from 6 given points in the plane, constructs a cubic...
  • ANSYS

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

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

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

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