Software and Algorithmic Aspects of Automating Finite-element Discretization | IEEE Conference Publication | IEEE Xplore