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 |
| ISBN: | 9783540745907 9783540745914 |
|---|---|
| DOI: | 10.1007/978-3-540-74591-4_9 |