scientific article; zbMATH DE number 1089735

zbMATH Open0917.14031MaRDI QIDQ4366289FDOQ4366289

Authors: Ludovico Pernazza 

Publication date: 19 November 1997

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

Recommendations

• scientific article; zbMATH DE number 3883607
• Hausdorff separations and decidability
• On reduction of the decision problem of recursively enumerable sets to the separability problem
• Decidability of affine solution problems
• On the complexity of polyhedral separability
• Approximate decidability in euclidean spaces
• scientific article; zbMATH DE number 4097336
• Decidability in elementary analysis. II
• Decidability results for the boundedness problem
• Decidability of the membership problem for \(2\times 2\) integer matrices

zbMATH Keywords

decidabilityseparating semialgebraic sets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Semialgebraic sets and related spaces (14P10)

Cited In (1)

• Deciding separability with a fixed error

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