A knowledge-based equation discovery system for engineering domains | IEEE Journals & Magazine | IEEE Xplore