eBook
Verifying Nonlinear Real Formulas Via Sums of Squares
| Title: | Verifying Nonlinear Real Formulas Via Sums of Squares |
|---|---|
| Authors: | Harrison, JohnAff1 |
| Contributors: | Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schneider, Klaus, editor, Brandt, Jens, editor |
| Source: | Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings. 4732:102-118 |
| Database: | Springer Nature eBooks |
Be the first to leave a comment!