Simple algorithm for judging equivalence of differential-algebraic equation systems.

ABSTRACT: Mathematical formulas play a prominent role in science, technology, engineering, and mathematics (STEM) documents; understanding STEM documents usually requires knowing the difference between equation groups containing multiple equations. When two equation groups can be transformed into the same form, we call the equation groups equivalent. Existing tools cannot judge the equivalence of two equation groups; thus, we develop an algorithm to judge such an equivalence using a computer algebra system. The proposed algorithm first eliminates variables appearing only in either equation group. It then checks the equivalence of the equations one by one: the equations with identical algebraic solutions for the same variable are judged equivalent. If each equation in one equation group is equivalent

SUBMITTER: Kato S 

PROVIDER: S-EPMC10352375 | biostudies-literature | 2023 Jul

REPOSITORIES: biostudies-literature