A decision algorithm for linear sentences on a PFM

DOI10.1016/0168-0072(93)90097-WMaRDI QIDQ685065zbMATH OpenOpenAlexFDO

Authors Lian Li, Huilin Li, Yixun Liu

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90097-w

zbMATH Keywords

decidabilityalgebraic decision methoddeciding problem for truth of sentencesfinitely generated module over principal ideal domainsymbolic computation problem for linear systemstheorem proving for algebraic systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25)

Recommendations

• The complexity of linear problems in fields
• Polynomial time algorithms for sentences over number fields
• Algorithms for sentences over integral domains
• scientific article; zbMATH DE number 1507246
• Decidable Sentences Over Polynomial Rings

Cites work

• scientific article; zbMATH DE number 3881899 (Why is no real title available?)
• scientific article; zbMATH DE number 3991424 (Why is no real title available?)
• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3445421 (Why is no real title available?)
• A decision algorithm for linear sentences on a PFM
• Decidable sentences of Church-Rosser congruences
• Fast Parallel Computation of Hermite and Smith Forms of Polynomial Matrices
• Komplexität von Entscheidungsproblemen. Ein Seminar
• Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
• Solving systems of linear equations over polynomials
• The computational complexity of logical theories
• Thue systems as rewriting systems

Cited in

(3)

• A decision algorithm for linear sentences on a PFM
• scientific article; zbMATH DE number 1507246 (Why is no real title available?)
• A Formal Proof of the Computation of Hermite Normal Form in a General Setting

This page was built for publication: A decision algorithm for linear sentences on a PFM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685065)