KeYmaera のこと（１）

http://www.knoppix-math.org/wiki/index.php?KeYmaera に紹介記事を書きましたが，幾つか補足しておきます．

差分方程式の例

\programVariables{R x;}
\problem{x<=2->\[x:=x/2+1*\]x<=2}

微分方程式の例

\programVariables{R x,v,a;}
\problem{x>=0&a>=0&(v>=0|(a>0&v^2<=2*a*x))->\[{x'=v,v'=a,a'=0}\]x>=0}