Solver (computer science)
- Solver (computer science)
A solver is a piece of mathematical software, possible in the form of a stand-alone computer program or possibly as a software library that 'solves' equations or systems of equations of one or more different types. These can include solutions to:
* Linear and non-linear optimisation problems
* Non-linear equations
* Systems of non-linear equations
* Systems of ordinary differential equations
* Systems of differential algebraic equations
* Logic/satisfiability problems
* Shortest path problems
* Minimum spanning tree problems
* ...and so on
The term 'solver' is used as a generic term for software that performs these kinds of roles.
ee also
* Mathematical software for other types of mathematical software.
Wikimedia Foundation.
2010.
Look at other dictionaries:
List of pioneers in computer science — This article presents a list of individuals who helped in the creation, development and imagining of what computers and electronics could do. Contents 1 See also 2 External links Person Achievement Ach. Date John Atanasoff Built the first… … Wikipedia
Computer bridge — is the playing of the game contract bridge utilizing computer software. Following years of limited progress, at the end of the twentieth century the field of computer bridge has made major advances. In 1996 the American Contract Bridge League… … Wikipedia
Computer Go — Part of a series of articles on Go (board game) Game specifics Go rules Go handicaps Go proverbs Go terms Go strategy and tactics Fuseki (whole board openings) Joseki (corner based openings) Life and death Tsumego … Wikipedia
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
Computer experiment — In the scientific context, a computer experiment refer to mathematical modeling using computer simulation. It has become common to call such experiments in silico. This area includes Computational physics, Computational chemistry, Computational… … Wikipedia
Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities … Wikipedia
GRASP (SAT solver) — GRASP is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem . References * Marques Silva, J. P. and Sakallah, K … Wikipedia
Satz (SAT solver) — SatZ is a well known SAT instance solver. It was developed by Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers. References * Chu Min Li and Anbulagan: Heuristics Based on Unit Propagation for… … Wikipedia
Cognitive Science — Die Kognitionswissenschaft (englisch Cognitive Science) ist ein relativ junger Wissenschaftszweig, dessen Ziel es ist, kognitive Fähigkeiten zu erforschen. Zu diesen Fähigkeiten werden etwa Wahrnehmung, Denken, Lernen, Motorik und Sprache gezählt … Deutsch Wikipedia
Electromagnetic field solver — Electromagnetic field solvers (or sometimes just field solvers) are specialized programs that solve (a subset of) Maxwell s equations directly. They form a part of the field of electronic design automation, or EDA, and are commonly used in the… … Wikipedia
