The following pages link to (Q3973339):
Displayed 7 items.
- Random arithmetic formulas can be reconstructed efficiently (Q488050) (← links)
- On the computation of matrices of traces and radicals of ideals (Q654040) (← links)
- A decision method for the integrability of differential-algebraic Pfaffian systems (Q895975) (← links)
- An algorithm for solving parametric linear systems (Q1194335) (← links)
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948) (← links)
- An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals, and applications to commutative semigroups (Q5928894) (← links)
- Segre-driven radicality testing (Q6184180) (← links)