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:
“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)
“I must study politics and war that my sons may have liberty to study mathematics and philosophy.”
—John Adams (1735–1826)
“Why does man freeze to death trying to reach the North Pole? Why does man drive himself to suffer the steam and heat of the Amazon? Why does he stagger his mind with the mathematics of the sky? Once the question mark has arisen in the human brain the answer must be found, if it takes a hundred years. A thousand years.”
—Walter Reisch (1903–1963)