代だい数すう理り論ろん

noun

algebraic theory

Technical term in computing and mathematics for a theory expressed in algebraic terms.

• この代だい数すう理り論ろんはプログラムの検けん証しょうに使つかわれる。

  This algebraic theory is used for program verification.