A procedure for the positive definiteness of forms of even order | IEEE Journals & Magazine | IEEE Xplore