solver

　

WordNet

1. a thinker who focuses on the problem as stated and tries to synthesize information and knowledge to achieve a solution (同)solver, convergent thinker
2. someone who grants absolution
3. find the solution to (a problem or question) or understand the meaning of; "did you solve the problem?"; "Work out your problems with the boss"; "this unpleasant situation isnt going to work itself out"; "did you get it?"; "Did you get my meaning?"; "He (同)work_out, figure out, puzzle out, lick, work

PrepTutorEJDIC

1. 解決者,解答者
2. 〈問題など〉‘を'『解く』,解明する,解決する

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2013/01/12 23:24:48」(JST)

wiki en

[Wiki en表示]

For the band, see Solver (band).

A solver is a generic term indicating a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculate their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type.

Types of problems with existing dedicated solvers include:

• Linear and non-linear equations. In the case of a single equation, the "solver" is more appropriately called a root-finding algorithm.
• Systems of linear equations.
• Nonlinear systems.
• Systems of polynomial equations, which are a special case of non linear systems, better solved by specific solvers.
• Linear and non-linear optimisation problems
• Systems of ordinary differential equations
• Systems of differential algebraic equations
• Logic/satisfiability problems
• Constraint satisfaction problems
• Shortest path problems
• Minimum spanning tree problems
• Search algorithms

The General Problem Solver (GPS) is a particular computer program created in 1957 by Herbert Simon, J.C. Shaw, and Allen Newell intended to work as a universal problem solver, that theoretically can be used to solve every possible problem that can be formalized in a symbolic system, given the right input configuration. It was the first computer program which separated its knowledge of problems (in the form of domain rules) from its strategy of how to solve problems (as a general search engine).

General solvers typically use an architecture similar to the GPS to decouple a problem's definition from the strategy used to solve it. While the strategy utilized by GPS was a general algorithm with the only goal of completeness, modern solvers tend to use a more specialized approach tailored to the specific problem class which the solver aims for. The advantage in this decoupling is that the solver doesn't depend on the details of any particular problem instance.

For problems of a particular class (e.g., systems of non-linear equations) there are usually a wide range of different algorithms available; sometimes a solver implements multiple algorithms, but sometimes just one.

See also

• Mathematical software for other types of mathematical software.
• Problem Solving Environment: a specialized software combining automated problem-solving methods with human-oriented tools for guiding the problem resolution.
• Satisfiability Modulo Theories for solvers of logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.

References

English Journal

• A computational study of systemic hydration in vocal fold collision.

• Bhattacharya P1, Siegmund T.
• Computer methods in biomechanics and biomedical engineering.Comput Methods Biomech Biomed Engin.2014 Dec;17(16):1835-52. doi: 10.1080/10255842.2013.772591. Epub 2013 Mar 26.
• Mechanical stresses develop within vocal fold (VF) soft tissues due to phonation-associated vibration and collision. These stresses in turn affect the hydration of VF tissue and thus influence voice health. In this paper, high-fidelity numerical computations are described, taking into account fully
• PMID 23531170

• Cover image, volume 35, issue 19.

• [No authors listed]
• Journal of computational chemistry.J Comput Chem.2014 Jul 15;35(19):iii-iv. doi: 10.1002/jcc.23664.
• The rough lipopolysaccharides membrane is an important component of the bacterial outer membrane. It has a complex structure composed of various chemical components and Ca(2+) ions bridging phosphate groups. The structure on the cover was modeled by Roberta P. Dias et al. using molecular dynamics si
• PMID 24920386

• Large eddy simulation of transitional flow in an idealized stenotic blood vessel: evaluation of subgrid scale models.

• Pal A, Anupindi K, Delorme Y, Ghaisas N, Shetty DA, Frankel SH.
• Journal of biomechanical engineering.J Biomech Eng.2014 Jul;136(7). doi: 10.1115/1.4027610.
• In the present study, we performed large eddy simulation (LES) of axisymmetric, and 75% stenosed, eccentric arterial models with steady inflow conditions at a Reynolds number of 1000. The results obtained are compared with the direct numerical simulation (DNS) data (Varghese et al., 2007, "Direct Nu
• PMID 24801556

Japanese Journal

• Building-Cube Method による圧縮性Eulerソルバーの構築と航空機翼のフラッタ解析への応用

• 西村 康孝,佐々木 大輔,中橋 和博
• 日本航空宇宙学会論文集 = Journal of the Japan Society for Aeronautical and Space Sciences 62(2), 39-46, 2014-04
• NAID 40020053760

• 有限要素法のKernel-Free GPU 実装と円柱周りの流れの数値計算

• 望月 麟太郎,出川 智啓
• 沼津工業高等専門学校研究報告 48, 215-220, 2014-03-31
• … This "kernel-free" method resolves the calculation procedure of a FEMand Bi-CGStab method, which is used for Poisson solver, into the set of basic linear algebra,and the method computes the set of algebra by using GPU optimized libraries, cuBLAS andcuSPARSE. …
• NAID 110009794543

• プログラム可能データパスとSMTソルバーを利用した高位設計デバッグ手法 (コンピュータシステム 組込み技術とネットワークに関するワークショップETNET2014)

• 松本 剛史,城 怜史,藤田 昌宏
• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(497), 103-108, 2014-03-15
• NAID 40020046488

Related Links

• ソルバーとは (solver)： - IT用語辞典バイナリ

ソルバーとは、Microsoft Excelをはじめとする表計算ソフトの機能の一種で、複数の 変数を含む数式において、目標とする値を得るための、最適な変数の値を求めることが できる機能のことである。ソルバーでは、複数の変数の値を変化させながら変数の相互 ...

• Frontline Systems: Excel Solver, Optimization Software, Monte Carlo ...

Excel Solver upgrades, data mining, and Solver SDK for linear programming, nonlinear optimization, genetic algorithms, simulation optimization in Excel, C#, C++, Java, MATLAB.

Related Pictures

---

★リンクテーブル★

関連記事

「solve」

「solve」

　　[★]

• 解決する、解析する、解消する、(式を)解く

関

analyse、analyses、analysis、analyze、cancel、dissolve、resolution、resolve、settle、solution、unravel、untangle