Publication | Closed Access

A New Algorithm for Discussing Gröbner Bases with Parameters

Mathematical ProgrammingEngineeringAutomated ReasoningParameterized AlgorithmAlgebraic MethodComputer AlgebraComputer ScienceNew Algorithm