Verifying Nonlinear Real Formulas Via Sums of Squares

Bibliographic Details
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!
You must be logged in first