An expert system for the verification of finite-element calculations | IEEE Conference Publication | IEEE Xplore