 |
|
|
|
| SeDuMi: |
If you are having difficulties getting SeDuMi
(used in many of the programs below) and SOSTOOLS to run properly on the Berkeley math servers, then you can try the following. First
of all, download this MatLab file and then the following
SOSTOOLS test file into your home directory. Next,
run MatLab by typing matlab at your terminal prompt. After the program loads, type startup and press enter.
Finally, to test SOSTOOLS, type sosdemo1. You should be off and running. To play around with the tools
some more, just edit the 'sosdemo1.m' file and explore the documentation.
Email me at chillar math.berkeley.edu if you have any questions or comments.
If you would like to run SeDuMi from your own home folder and are having problems,
then I suggest the following. When you originally install SeDuMi, you will have a
folder in your home directory called (of all things) SeDuMi.
Instead, download this file and unzip it into
your home directory. It should unzip with a SeDuMi
folder that will function as the old one. Now, try and run the programs below
through MatLab as described in their respective documentation. If you need help
adding the SeDuMi path while
running MatLab, here is a basic file to assist in this.
|
|
|
|
| GloptiPoly: |
Global Optimization over Polynomials with Matlab and SeDuMi.
This naturally requires you to have MatLab and SeDuMi.
Documentation | Download
|
| SOSTOOLS: |
A free MatLab toolbox for formulating and solving sums of
squares (SOS) optimization programs. Again, here you are going to need MatLab and SeDuMi.
Documentation | Download
|
| QEPCAD: |
QEPCAD is an implementation of quantifier elimination by
partial cylindrical algebraic decomposition.
Documentation | Download
|
| Mathematica: |
Mathematica integrates a numeric and symbolic computational
engine, graphics system, programming language, documentation system, and advanced
connectivity to other applications.
Documentation
|
|
|
|
|
|
|
|
|
| Last modified: January 2004 |
|