scientific article; zbMATH DE number 3813580

MaRDI QIDQ3661541zbMATH OpenFDO

Authors Erwin Engeler

Publication date 1983

zbMATH Keywords

algorithmscombinatory logiclambda calculusaxiom of choicecompletecontinuum hypothesisquantifier eliminationreal linenon-standard analysisdecidableelementary geometry

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40) Axiom of choice and related propositions (03E25) Quantifier elimination, model completeness, and related topics (03C10) Continuum hypothesis and Martin's axiom (03E50)

Cited in

(5)

• Using geometric rewrite rules for solving geometric problems symbolically
• Tropical lower bound for extended formulations. II: Deficiency graphs of matrices
• Tropical lower bounds for extended formulations
• Euclidean geometry in terms of automata theory
• Three remarks on spectra of zero-nonzero patterns

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