运用可靠的或科学测定的数据，利用数学等式原理来推测、证实账面资料是否正确，从而发现涉税疑点的检查方法是( )。