
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 3folds of genus ≤10. Algebraic geometry and commutative algebra...

webDiscovery
 Referenced in 8 articles
[sw10153]
 automatic discovery in geometry. A userdefined 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 integrationbyparts (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 numericalgebraic 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 nonlinear 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 componentbased 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 nonEuclidean 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...