The following pages link to (Q3358853):
Displayed 4 items.
- How to compute the Chow form of an unmixed polynomial ideal in single exponential time (Q809149) (← links)
- An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs (Q1295548) (← links)
- Complexity bounds in elimination theory -- a survey. (Q1565824) (← links)
- Algorithmic aspects of Suslin's proof of Serre's conjecture (Q2366722) (← links)