Automated Symbolic Upscaling: 2. Model Generation for Extended Applicability Regimes.

In this second part of the two paper series, we detail an algorithmic procedure for systematically implementing the generalized closure form strategy presented in Part 1. This strategy extends the applicability of homogenized models with respect to classical homogenization theory, as demonstrated in Part 1 where upscaled models are rigorously derived in moderately reactive physical regimes. After encoding the algorithm into Symbolica, an automated upscaling framework, we upscale two reactive mass transport problems and numerically validate the resulting nonlinear homogenized models by showing the absolute error estimates predicted by homogenization theory are satisfied. In both problems, nontrivial closure forms and closure problems are automatically formulated using the encoded strategy with no human interaction, nor prior knowledge regarding the closure required for the systems. We hope these demonstrations spark further interest in automated analytical frameworks for multiscale modeling, as such capabilities are invaluable for generating rigorous multiscale models of complex phenomena in porous media. Key Points: An algorithmic procedure for applying the homogenization strategy from Part 1 is encoded into Symbolica, an automated upscaling frameworkUsing the strategy, Symbolica automatically defines valid closure forms and closure problems for two reactive mass transport problemsNontrivial homogenized models for complex problems are produced by Symbolica and numerically validated [ABSTRACT FROM AUTHOR]