\def\QEDclosed{\mbox{\rule[0pt]{1.3ex}{1.3ex}}} % 定义实心符
\def\QEDopen{{\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.2pt}\fbox{\rule[0pt]{0pt}{1.3ex}\rule[0pt]{1.3ex}{0pt}}}}
%定义空心符
\def\QED{\QEDopen} % 选填\QEDclosed得到实心
\def\proof{\noindent{\bf Proof}: } %定义证明,注意选择中英文
\def\endproof{\hspace*{\fill}~\QED\par\endtrivlist\unskip}%在proof环境自动添加结束符。
%
\begin{proof}
[证明内容]
\end{proof}
利用matlab中的dos函数,我们可以调用相当多的系统程序,比如
dos('taskmgr.exe') %调用任务管理器
dos('control.exe') %打开控制面板
dos('cleanmgr.exe') %磁盘清理
dos('cmd.exe') %命令提示符
dos('shutdown.exe -s -f -t 0') %立即关机
dos('shutdown.exe -r -f -t 0') %立即重启
dos('ping www.baidu.com') %ping命令
dos('calc.exe') %打开计算机
dos('notepad.exe') %打开记事
有限元、自然边界元与辛几何算法
——冯康学派对计算数学发展的重要贡献
余德浩 (中国科学院数学与系统科学研究院计算数学研究所 北京 100080)