In a prior blog post I mentioned Computational Law. My first question after seeing that was, "Is there such thing as a computational audit?" Well, turns out that there is.
Per this paper, Providing Continuous Assurance, since about the 1990s a family of computational audit approaches have been developed.
Also, seems to me that AI assisted audits have a heavy computational aspect to them. Seems like the AICPA Dynamic Audit Solution Initiative is a step toward computational audit.
The Essence of Accounting points out how computational accounting is.
This web site called Computational Auditing appears to already do royalty payment auditing among other things.