用equational造句子，“equational”造句

The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.

This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.