scientific article; zbMATH DE number 871442

MaRDI QIDQ4874804zbMATH OpenFDO

Authors Aleksandar N. Jovanović, Žarko Mijajlović

Publication date 28 April 1996

zbMATH Keywords

algebraically closed fieldselimination of quantifiersresultants of polynomialsordered real closed fields

Mathematics Subject Classification ID

Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• A formal quantifier elimination for algebraically closed fields
• Computer Science Logic
• scientific article; zbMATH DE number 421655
• scientific article; zbMATH DE number 3895043

Cited in

(9)

• Definability and fast quantifier elimination in algebraically closed fields
• Qualitative theorem proving in linear constraints
• Quantifier elimination over finite fields using Gröbner bases
• scientific article; zbMATH DE number 1474909 (Why is no real title available?)
• scientific article; zbMATH DE number 1985200 (Why is no real title available?)
• A formal quantifier elimination for algebraically closed fields
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 3918343 (Why is no real title available?)
• Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system

This page was built for publication:

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