Mathematics
- Boolean satisfiability problem, determining if the variables of a Boolean formula can be assigned to make the formula evaluate to True (algorithms for solving instances of this problem are called SAT solvers)
- Separating axis theorem, a theorem in geometry
- Summed area table, an algorithm for generating the sum of values in a rectangular subset of a grid
Read more about this topic: SAT (disambiguation)
Famous quotes containing the word mathematics:
“I must study politics and war that my sons may have liberty to study mathematics and philosophy.”
—John Adams (1735–1826)
“The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.”
—Willard Van Orman Quine (b. 1908)