References

1

Inc. Ada Core Technologies. GNAT, User's Guide. GNAT, The GNU Ada 95 Compiler Version 3.07, 1996.

2

D.C.S. Allison, A. Chakraborty, and L.T. Watson. Granularity issues for solving polynomial systems via globally convergent algorithms on a hypercube. J. of Supercomputing, 3:5--20, 1989.

3

J.G.P. Barnes. Programming in Ada, Plus an Overview of Ada 9X. Addison--Wesley, 1994.

4

G. Booch. Software Engineering with Ada. Benjamin/Cummings Publishing Company, 1987.

5

R. Dewar. GNAT Documents, Intro Unix Version. New York University, 1993.

6

F.J. Drexler. Eine Methode zur Berechnung sämtlicher Lösungen von Polynomgleichungssystemen. Numer. Math., 29(1):45--58, 1977.

7

I.Z. Emiris. Sparse Elimination and Applications in Kinematics. PhD thesis, Computer Science Division, Dept. of Electrical Engineering and Computer Science, University of California, Berkeley, 1994. Available at http://www.inria.fr/safir/SAFIR/Ioannis.html.

8

I.Z. Emiris and J.F. Canny. Efficient incremental algorithms for the sparse resultant and the mixed volume. J. Symbolic Computation, 20(2):117--149, 1995. Software available at http://www.inria.fr/safir/SAFIR/Ioannis.html.

9

T. Giordano. Implémention distribuée du calcul du volume mixte. Master's thesis, University of Nice, Sophia-Antipolis, 1996.

10

S. Harimoto and L.T. Watson. The granularity of homotopy algorithms for polynomial systems of equations. In G. Rodrigue, editor, Parallel processing for scientific computing, pages 115--120. SIAM, 1989.

11

B. Huber. Pelican manual. Available at http://math.cornell.edu/~birk.

12

B. Huber and B. Sturmfels. A polyhedral method for solving sparse polynomial systems. Math. Comp., 64(212):1541--1555, 1995.

13

T.Y. Li. Numerical solutions of multivariate polynomial systems by homotopy continuation methods. To appear in Acta Numerica, 1997.

14

G. Malajovich. pss 2.beta, polynomial system solver, version 2.beta. Available at http://www.labma.ufrj.br:80/~gregorio.

15

A. Morgan. Solving polynomial systems using continuation for engineering and scientific problems. Prentice-Hall, Englewood Cliffs, N.J., 1987.

16

A.P. Morgan, A.J. Sommese, and C.W. Wampler. Computing singular solutions to nonlinear analytic systems. Numer. Math., 58(7):669--684, 1991.

17

A.P. Morgan, A.J. Sommese, and L.T. Watson. Finding all isolated solutions to polynomial systems using HOMPACK. ACM Trans. Math. Softw., 15(2):93--122, 1989.

18

B. Mourrain. The handbook of polynomial systems. Available at http://www.inria.fr/safir/POL/index.html.

19

A.J. Sommese and C.W. Wampler. Numerical algebraic geometry. To appear in the proceedings of the AMS-SIAM Summer Seminar in Applied Mathematics, on Mathematics of Numerical Analysis: Real Number Algorithms, Park City, Utah, July-August 1995.

20

M. Sosonkina, L.T. Watson, and D.E. Stewart. Note on the end game in homotopy zero curve tracking. To appear in ACM Trans. Math. Softw.

21

J. Verschelde. PHC and MVC: two programs for solving polynomial systems by homotopy continuation. Presented at the PoSSo Workshop on software, Paris, March 1-4, 1995.

22

J. Verschelde. Homotopy Continuation Methods for Solving Polynomial Systems. PhD thesis, K.U.Leuven, Dept. of Computer Science, 1996.

23

J. Verschelde and R. Cools. An Ada workbench for homotopy continuation for solving polynomial systems. The Ada Belgium Newsletter, 2(1):23--40, 1993.

24

J. Verschelde, K. Gatermann, and R. Cools. Mixed-volume computation by dynamic lifting applied to polynomial system solving. Discrete Comput. Geom., 16(1):69--112, 1996.

25

C.W. Wampler. Isotropic coordinates, circularity and Bezout numbers: planar kinematics from a new perspective. To appear in the Proceedings of the 1996 ASME Design Engineering Technical Conference.

26

C.W. Wampler. Bezout number calculations for multi-homogeneous polynomial systems. Appl. Math. Comput., 51(2--3):143--157, 1992.

27

L.T. Watson, S.C. Billups, and A.P. Morgan. Algorithm 652: HOMPACK: a suite of codes for globally convergent homotopy algorithms. ACM Trans. Math. Softw., 13(3):281--310, 1987.