scientific article; zbMATH DE number 871442

zbMATH Open0863.12006MaRDI QIDQ4874804FDOQ4874804

Authors: Aleksandar N. Jovanović, Žarko Mijajlović 

Publication date: 28 April 1996

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (9)

• Quantifier elimination over finite fields using Gröbner bases
• A formal quantifier elimination for algebraically closed fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Definability and fast quantifier elimination in algebraically closed fields
• Artificial Intelligence and Symbolic Computation
• Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system
• Qualitative theorem proving in linear constraints

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)