## Volume 133,
Number 1,
11 October 1994

Selected Papers of the Workshop on Continuous Algorithms and Complexity,
Barcelona,
Spain,
Octobert 1993
- Felipe Cucker, Mike Shub, Steve Smale:
Separation of Complexity Classes in Koiran's Weak Model.
3-14
- T. Emerson:
Relativizations of the P=?NP Question over the Reals (and other Ordered Rings).
15-22
- Dima Grigoriev:
Deviation Theorems for Solutions of Differential Equations and Applications to Lower Bounds on Parallel Complexity of Sigmoids.
23-33
- Pascal Koiran:
Computing over the Reals with Addition and Order.
35-47
- Petr Kurka:
Regular Unimodal Systems and Factors of Finite Automata.
49-64
- Gregorio Malajovich:
On Generalized Newton Algorithms: Quadratic Convergence, Path-Following and Error Analysis.
65-84
- Klaus Meer:
On the Complexity of Quadratic Programming in Real Number Models of Computation.
85-84
- Christian Michaux:
P != NP over the Nonstandard Reals Implies P != NP over R.
95-104
- J. Maurice Rojas:
A Convex Geometric Approach to Counting the Roots of a Polynomial System.
105-140
- Mike Shub, Steve Smale:
Complexity of Bezout's Theorem V: Polynomial Time.
141-164
- Jan Verschelde, Ann Haegemans:
Homotopies for Solving Polynomial Systems Within a Bounded Domain.
165-185
- Mike Paterson:
David Michael Ritchie Park (1935-1990) in Memoriam.
187-200

## Volume 133,
Number 2,
24 October 1994

Special Issue on Formal Methods in Databases and Software Engineering
Copyright © Mon Nov 2 21:55:59 2009
by Michael Ley (ley@uni-trier.de)