Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,976,068 papers from all fields of science
Search
Sign In
Create Free Account
Solver
Known as:
Solver (computer science)
A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
AIMMS
AMPL
ASCEND
Algebraic modeling language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Multi-scale modeling of two-phase flow in porous media including capillary pressure effects
M. Wolff
2013
Corpus ID: 94081194
The simulation of an increasing number of important applications in porous media such as gas storage, geothermal energy…
Expand
2010
2010
Numerical Analysis of Partial Admission in Axial Turbines
N. Hushmandi
2010
Corpus ID: 107545379
HTML clipboard Numerical analysis of partial admission in axial turbines is performed in this work. Geometrical details of an…
Expand
2009
2009
Enhanced Mass Conservation in Least-Squares Methods for Navier-Stokes Equations
J. Heys
,
Eunjung Lee
,
T. Manteuffel
,
S. McCormick
,
J. Ruge
SIAM Journal on Scientific Computing
2009
Corpus ID: 15569797
There are many applications of the least-squares finite element method for the numerical solution of partial differential…
Expand
Review
2008
Review
2008
R EVIEW A RTICLE Recent Progress inNumericalMethods for the Poisson-Boltzmann Equation in Biophysical Applications
B. Lu
,
Y. C. Zhou
,
M. Holst
,
J. McCammon
2008
Corpus ID: 18340858
Efficiency and accuracy are two major concerns in numerical solutions of the Poisson-Boltzmann equation for applications in…
Expand
Review
2008
Review
2008
Computational fluid dynamics as a tool for urban drainage system analysis: a review of applications and best practice
D. Jarman
,
M. Faram
,
+4 authors
E. Throp
2008
Corpus ID: 66104445
Computational Fluid Dynamics (CFD) can be applied to gain insights into most fluid processes and associated phenomena and so…
Expand
2008
2008
Two Encodings of DNNF Theories
J. C. Jung
,
P. Barahona
,
G. Katsirelos
,
T. Walsh
2008
Corpus ID: 14668404
The paper presents two new compilation schemes of Decomposable Negation Normal Form (DNNF) theories into Conjunctive Normal Form…
Expand
2007
2007
Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach
R. Thiagarajan
,
M. Stumptner
IEEE European Conference on Web Services
2007
Corpus ID: 17705283
Automated discovery and composition of Web services and the representation of service semantics required to automate these tasks…
Expand
2004
2004
Markov models of fault-tolerant memory systems under SEU
L. Schiano
,
M. Ottavi
,
F. Lombardi
Records of the International Workshop on Memory…
2004
Corpus ID: 5615538
A single event upset (SEU) can affect the correct operation of digital systems, such as memories and processors. This paper…
Expand
2004
2004
A simple polynomial time framework for reduced-path decomposition in multipath routing
M. Thottan
,
V. Mirrokni
,
H. Uzunalioglu
,
S. Paul
IEEE INFOCOM
2004
Corpus ID: 5940557
The recent reduction in telecommunications spending has increased the importance of network planning to improve the return on…
Expand
1999
1999
Programming in FISh
C. Jay
International Journal on Software Tools for…
1999
Corpus ID: 35861295
Abstract.Shape is a new abstraction that can be used to organise and optimise programs. In brief, the shape of a data structure…
Expand