alphaCertified:
Software for certifying numerical solutions to polynomial equations

Jonathan Hauenstein and Frank Sottile

Downloads
version 1.3 (October 16, 2013): for systems of polynomial and polynomial-exponential equations
Apple (377 KB)
32-bit Linux (700 KB)
64-bit Linux (754 KB)
Windows via Cygwin (268 KB)
Maple interface (6 KB)
User's manual (141 KB)
Source code (45 KB)

"AS IS" clause
alphaCertified is released free of charge on an "AS IS" basis with no warranties, implied or otherwise, that it is suitable for any purpose. Its intended usage is for educational and for research purposes, so that the user may gain a greater understanding of alpha-theory and numerical algebraic geometry. Any other use is strictly the user's responsibility.

Copyright
The authors retain copyright protection of the source code. It is released to allow the users the ability to compile alphaCertified as well as gain a greater understanding of how to implement algorithms.

Redistribution
alphaCertified must be kept in unaltered form and must retain the same name and acknowledge the authors. If you wish to distribute a program that makes use of alphaCertified, either direct the users to the alphaCertified download page or display a message to the user, which must include the names of the authors, each time that alphaCertified is used.

Citation
In publications based on results obtained using alphaCertified or its successors, the use of alphaCertified should be acknowledged.

      @bibitem{alphaCertified} Jonathan D. Hauenstein and Frank Sottile.
      \newblock alphaCertified: Software for certifying numerical solutions to polynomial equations.
      \newblock Available at /~sottile/research/stories/alphaCertified.

      @Misc{alphaCertified,
      author = {Hauenstein, Jonathan D. and Sottile, Frank},
      title = {alphaCertified: Software for certifying numerical solutions to polynomial equations},
      howpublished = {Available at /~sottile/research/stories/alphaCertified}
      }

Older Versions:
version 1.2 (September 19, 2011): for systems of polynomial and polynomial-exponential equations
Apple (361 KB)
32-bit Linux (688 KB)
64-bit Linux (710 KB)
Windows via Cygwin (239 KB)
Maple interface (6 KB)
User's manual (142 KB)
Source code (43 KB)

version 1.1 (June 9, 2011): for systems of polynomial equations
Apple (320 KB)
32-bit Linux (653 KB)
64-bit Linux (1.4 MB)
Windows via Cygwin (207 KB)
Maple interface (4 KB)
User's manual (112 KB)
Source code (38 KB)

Last modified: Fri Oct 25 03:28:21 CDT 2013