scientific article; zbMATH DE number 6152360

zbMATH Open1274.03002MaRDI QIDQ4915146

Jaroslav Hora

Publication date: 9 April 2013

Full work available at URL: http://www.dml.cz/handle/10338.dmlcz/401595

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

zbMATH Keywords

quantifier eliminationcylindrical algebraic decompositionmathematical logichistory of mathematicsQEPCAD

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Elimination problems in logic: a brief history

Uses Software

• Title not available (Why is that?)

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 Q4915146)