PoSSo
From MaRDI portal
Software:16816
No author found.
Related Items (32)
Homotopy continuation method for solving systems of nonlinear and polynomial equations ⋮ On deflation and multiplicity structure ⋮ Compact representation of polynomials for algorithms for computing Gröbner and involutive bases ⋮ Efficiency estimate for distributed computation of Gröbner bases and involutive bases ⋮ PHoMpara-parallel implementation of the polyhedral homotopy continuation method for polynomial systems ⋮ Polynomial equation solving by lifting procedures for ramified fibers ⋮ Parallelization of triangular decompositions: techniques and implementation ⋮ Unmixing the mixed volume computation ⋮ Parallelization of modular algorithms ⋮ Involutive bases algorithm incorporating F\(_5\) criterion ⋮ An analysis of inhomogeneous signature-based Gröbner basis computations ⋮ A survey on signature-based algorithms for computing Gröbner bases ⋮ Unnamed Item ⋮ Parallel algorithms for Gröbner-basis construction ⋮ Computer Algebra in Scientific Computing ⋮ Mixed cell computation in HOM4ps ⋮ Spherical projective path tracking for homotopy continuation methods ⋮ BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases ⋮ PHoM -- a polyhedral homotopy continuation method for polynomial systems ⋮ Numerical stability of path tracing in polyhedral homotopy continuation methods ⋮ On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases ⋮ Parallel modular computation of Gröbner and involutive bases ⋮ A filled function method for nonlinear systems of equalities and inequalities ⋮ Parallel computation of Janet and Gröbner bases over rational numbers ⋮ HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method ⋮ Algorithm 835 ⋮ Incomplete Gröbner basis as a preconditioner for polynomial systems ⋮ Certifying properties of an efficient functional program for computing Gröbner bases ⋮ Semantic-Aware Fingerprints of Symbolic Research Data ⋮ Certifying Isolated Singular Points and their Multiplicity Structure ⋮ Semidefinite characterization and computation of zero-dimensional real radical ideals ⋮ Algorithm 795
This page was built for software: PoSSo