The following pages link to (Q3973334):
Displaying 23 items.
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms (Q477250) (← links)
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers (Q611072) (← links)
- Computation of differential Chow forms for ordinary prime differential ideals (Q895970) (← 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 of triangular representations of algebraic sets (Q1714872) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Complexity results for triangular sets (Q1878489) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- A new algorithmic scheme for computing characteristic sets (Q1930182) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases (Q2364885) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- An alternative algorithm for computing the pseudo-remainder of multivariate polynomials (Q2489188) (← links)
- Characteristic sets for ordinary differential equations (Q2508525) (← links)
- (Q3359767) (← 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)
- Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros (Q6087590) (← links)
