An alternative generalisation of Hayman's concept of admissible functions to functions in several variables is developed and a multivariate asymptotic expansion for the coeff...
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...