The following pages link to (Q3973334):
Displayed 13 items.
- 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)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- Wu's method and the Khovanskii finiteness theorem (Q1186731) (← links)
- On the parameterization of algebraic curves (Q1197098) (← links)
- Computational complexity and constraint logic programming languages (Q1354033) (← links)
- Complexity results for triangular sets (Q1878489) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- An alternative algorithm for computing the pseudo-remainder of multivariate polynomials (Q2489188) (← links)
- Characteristic sets for ordinary differential equations (Q2508525) (← links)
- The uniform companion for large differential fields of characteristic 0 (Q5461369) (← links)
- A probabilistic algorithm to test local algebraic observability in polynomial time (Q5894826) (← links)