新しい 数学ソフトウェア のために Dmitry A. Kazakov

エイダのための区間演算はエイダのための間隔の実装を提供し、数学ライブラリです。それは、算術演算および関係演算が含まれています。例：トライステート·ロジックパッケージ間隔は、ルートパッケージとして機能し、また間隔に関係演算を定義する必要がトライ·ステート·ロジックを提供します。論理型は、次のように定義されます 論理型である（偽、真、不確実な）; 以下の操作は、論理のために定義されています： 機能 "ではない」（左：論理）は、論理返します。 機能 "と"（左、右：論理）論理返します。    機能...