The following pages link to (Q3490991):
Displaying 25 items.
- Towards a certified version of the encyclopedia of triangle centers (Q294378) (← links)
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers (Q611072) (← links)
- An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space (Q646765) (← links)
- Characteristic set method for differential-difference polynomial systems (Q1030248) (← links)
- Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases (Q1195755) (← links)
- On the parameterization of algebraic curves (Q1197098) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- Computing real solutions of fuzzy polynomial systems (Q2035296) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- Multiplicity-preserving triangular set decomposition of two polynomials (Q2341596) (← links)
- Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880) (← links)
- An algorithm for decomposing a polynomial system into normal ascending sets (Q2464308) (← links)
- An alternative algorithm for computing the pseudo-remainder of multivariate polynomials (Q2489188) (← links)
- Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems (Q2643540) (← links)
- Finding solutions of fuzzy polynomial equations systems by an Algebraic method (Q2988589) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition (Q5175452) (← links)
- Algebraic factoring and geometry theorem proving (Q5210786) (← links)
- Mechanically proving geometry theorems using a combination of Wu's method and Collins' method (Q5210787) (← links)
- Comprehensive characteristic decomposition of parametric polynomial systems (Q6666527) (← links)
