The following pages link to (Q3714165):
Displaying 50 items.
- Polly cracker, revisited (Q285245) (← links)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- Relative parametrization of linear multidimensional systems (Q335932) (← links)
- Notes on minimal realizations of multidimensional systems (Q335942) (← links)
- Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs (Q355525) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Vanishing ideals over complete multipartite graphs (Q393520) (← links)
- W-Gröbner basis and monomial ideals under polynomial composition (Q423183) (← links)
- Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases (Q426175) (← links)
- Algebraic and geometric structures of analytic partial differential equations (Q520979) (← links)
- Trust-region methods for nonlinear elliptic equations with radial basis functions (Q521519) (← links)
- The structure of certain ideal transforms (Q580433) (← links)
- Extension of the Berlekamp-Massey algorithm to N dimensions (Q583882) (← links)
- On the Jacobian conjecture: A new approach via Gröbner bases (Q584328) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Two computational techniques for singularity resolution (Q597110) (← links)
- Extended \(F_5\) criteria (Q607057) (← links)
- On the decoding of the \((24, 12, 8)\) Golay code (Q621601) (← links)
- On the computation of parametric Gröbner bases for modules and syzygies (Q623733) (← links)
- Implicitization using univariate resultants (Q625672) (← links)
- On the topology of real algebraic plane curves (Q626980) (← links)
- Artificial discontinuities of single-parametric Gröbner bases (Q629351) (← links)
- Computing inhomogeneous Gröbner bases (Q633077) (← links)
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- Applying IsRewritten criterion on Buchberger algorithm (Q638523) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- Second syzygy of determinantal ideals generated by minors of generic symmetric matrices (Q674478) (← links)
- A behavioral approach to identifiability of 2D scalar systems (Q674957) (← links)
- Constructions of standard bases of right \(K\langle A\rangle\)- modules (Q688707) (← links)
- Pivoting in extended rings for computing approximate Gröbner bases (Q691644) (← links)
- Solving the 100 swiss francs problem (Q691647) (← links)
- Elliptic solitons with free constants and their isospectral deformations (Q696310) (← links)
- Non-standard approaches to integer programming (Q697562) (← links)
- An implementation for the algorithm of Janet bases of linear differential ideals in the Maple system (Q705044) (← links)
- On the decoding of binary cyclic codes with the Newton identities (Q733502) (← links)
- An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography (Q733509) (← links)
- Differential invariant algebras of Lie pseudo-groups (Q734830) (← links)
- Galois cohomology of a number field is Koszul (Q741675) (← links)
- A dimensionality paradigm for surface interrogations (Q749151) (← links)
- Non-commutative Gröbner bases in algebras of solvable type (Q752147) (← links)
- Multidimensional constant linear systems (Q752615) (← links)
- The method of differentiating under the integral sign (Q754021) (← links)
- Algebraic properties of plane offset curves (Q758088) (← links)
- Multi-valued logic and Gröbner bases with applications to modal logic (Q804567) (← links)
- Parallel multiplication and powering of polynomials (Q808710) (← links)
- Robust gamma-stability analysis in a plant parameter space (Q810465) (← links)
- Distance between two arbitrary unperturbed orbits (Q815663) (← links)
- Differential fault based key recovery attacks on TRIAD (Q831667) (← links)
