The following pages link to John Perry (Q512376):
Displaying 25 items.
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Algorithms for computing the global infimum and minimum of a polynomial function (Q424330) (← links)
- Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions (Q432759) (← links)
- Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain (Q492033) (← links)
- Corrigendum to: ``The F5 criterion revised'' (Q512377) (← links)
- F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases (Q607065) (← links)
- Gröbner basis of the alternating Galoisian ideal (Q629348) (← links)
- Macsyma: A personal history (Q655565) (← links)
- Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm (Q744015) (← links)
- A signature-based algorithm for computing Gröbner bases over principal ideal domains (Q782709) (← links)
- Corrigendum to ``Are Buchberger's criteria necessary for the chain condition?'' [J. Symbolic Comput. 42 (2007) 717-732] (Q954972) (← links)
- Computing border bases without using a term ordering (Q1943354) (← links)
- Fast computation of generic bivariate resultants (Q1996880) (← links)
- A dynamic F4 algorithm to compute Gröbner bases (Q2025446) (← links)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- A counterexample to the Gröbner ring conjecture (Q2049385) (← links)
- The F5 criterion revised (Q2275900) (← links)
- A factorization algorithm for \(G\)-algebras and its applications (Q2409016) (← links)
- An analysis of inhomogeneous signature-based Gröbner basis computations (Q2437323) (← links)
- Are Buchberger's criteria necessary for the chain condition? (Q2470056) (← links)
- Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t ]\!][x]\) (Q2628324) (← links)
- Computing Determinants by Double-Crossing (Q2999719) (← links)
- An extension of Buchberger’s criteria for Gröbner basis decision (Q3091993) (← links)
- Androids Armed With Poisoned Chocolate Squares: Ideal Nim and Its Relatives (Q4961629) (← links)
