RSolver
の編集
http://mathlibre.org/wiki/?RSolver
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
*RSolver [#tb60deb7] RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can be directly formulated as such constraints. 入力できる原始論理式は不等式，出力はあくまで近似値ですが，初等超越関数まで扱え，自由変数の個数が 1 または 2 なら出力される領域の図を用いた真偽判定も可能です． - http://www2.cs.cas.cz/harrachov/slides/Ratschan1.pdf *インストール例 [#he922c7d] export CAS=/usr/local/CAS sudo mkdir $CAS sudo chmod 777 $CAS cd $CAS wget http://jaist.dl.sourceforge.net/project/rsolver/rsolver/rsolver_3.1.tar.gz tar zxvf ./rsolver_3.1.tar.gz *使用例 [#aaa58f1b] cd /usr/local/CAS/rsolver cat ./examples/basic/test3.ap | ./rsolver GUI ./rsolver-gui.sh プロセスが残ったときはタスクマネージャ(lxtask)などで終了させてください． *リンク [#ibfe853b] - http://rsolver.sourceforge.net/ - http://d.hatena.ne.jp/ehito/20130806/1375773358
タイムスタンプを変更しない
*RSolver [#tb60deb7] RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can be directly formulated as such constraints. 入力できる原始論理式は不等式，出力はあくまで近似値ですが，初等超越関数まで扱え，自由変数の個数が 1 または 2 なら出力される領域の図を用いた真偽判定も可能です． - http://www2.cs.cas.cz/harrachov/slides/Ratschan1.pdf *インストール例 [#he922c7d] export CAS=/usr/local/CAS sudo mkdir $CAS sudo chmod 777 $CAS cd $CAS wget http://jaist.dl.sourceforge.net/project/rsolver/rsolver/rsolver_3.1.tar.gz tar zxvf ./rsolver_3.1.tar.gz *使用例 [#aaa58f1b] cd /usr/local/CAS/rsolver cat ./examples/basic/test3.ap | ./rsolver GUI ./rsolver-gui.sh プロセスが残ったときはタスクマネージャ(lxtask)などで終了させてください． *リンク [#ibfe853b] - http://rsolver.sourceforge.net/ - http://d.hatena.ne.jp/ehito/20130806/1375773358
テキスト整形のルールを表示する
![[PukiWiki]](image/knxmpen.png "[PukiWiki]")
