underapproximate

transitive

(transitive) To form an underapproximation of.

Japanese Meaning

（数学や計算科学などの文脈で）実際の値よりも低い値となるような近似、すなわち下限的な近似を形成する

To ensure safety margins, engineers underapproximate the set of reachable states in the model.

安全余裕を確保するために、エンジニアはモデルの到達可能状態の集合の下方近似を行う。

Sense（1）

(transitive) To form an underapproximation of.

This algorithm will always underapproximate the number of possible paths.

underapproximates

（ present singular third-person ）

underapproximating

（ participle present ）

underapproximated

（ participle past ）

underapproximated

（ past ）