Algorithms 1 Boundary value problems 1 Complexity 1 Computational complexity 1 Conditioning 1 Effective elimination theory 1 Effective first Bertini theorem 1 Estimation 1 Homotopy algorithms 1 Mathematical models 1 Matrix algebra 1 Partial differential equations 1 Pebble game; time-space tradeoff; straight-line program; elimination theory 1 Polynomial system solving 1 Polynomials 1 Problem solving 1 Semi linear parabolic problems 1 Semi-linear parabolic problems 1 Set theory 1 Stationary solutions 1 Theorem proving 1 Varieties over finite fields 1 q-rational points 1