2011-10-10から1日間の記事一覧
いわゆる「不等式の証明」がQEの代表的な応用であることは既にお話した通りですが,そこには 【1】パラメトリックシステム向けの汎用ツールでは効率が悪い 【2】過程が普通の証明の参考にならない といった不満もあります.というわけで今回は,何かと重く…
いわゆる「不等式の証明」がQEの代表的な応用であることは既にお話した通りですが,そこには 【1】パラメトリックシステム向けの汎用ツールでは効率が悪い 【2】過程が普通の証明の参考にならない といった不満もあります.というわけで今回は,何かと重く…