A Construction Theorem for Evaluating Operational Expressions Having a Finite Number of Different Roots | IEEE Journals & Magazine | IEEE Xplore