Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A Decision Method for Elementary Algebra and Geometry

19981,664 citationsBook Chaptergreen Open Access

Authors

Alfred Tarski · University of California, Berkeley

Topics & Keywords

Scheduling and Timetabling Solutions Constraint Satisfaction and Optimization Advanced Algebra and Logic

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Texts & monographs in symbolic computation/Texts and monographs in symbolic computation

DOI: 10.1007/978-3-7091-9459-1_3

Field-Weighted Citation Impact: 146.87

A Decision Method for Elementary Algebra and Geometry | Researchclopedia