2011-10-16から1日間の記事一覧
SOS分解は,不等式のみではなく,一般の半代数系の全称命題の証明にも利用できます.今回は,その実装例であるHOL Light上のREAL_SOSのご紹介します. まず,必要なプログラムをダウンロードしましょう.分解にはcsdpが必要なので sudo leafpad /etc/apt/sou…
SOS分解は,不等式のみではなく,一般の半代数系の全称命題の証明にも利用できます.今回は,その実装例であるHOL Light上のREAL_SOSのご紹介します. まず,必要なプログラムをダウンロードしましょう.分解にはcsdpが必要なので sudo leafpad /etc/apt/sou…