小窓モード

プレミアム

ログイン
設定

設定

「Solver」の共起表現一覧(1語右で並び替え)

該当件数 : 63



Whups - the Web Horde User Problem Solver, a ticket-tracking system
a circuit board was solved using Concorde TSP Solver: a tour of length 66,048,945 units was found a
vers include symmetric and unsymmetric skyline solver and sparse direct solver.
It also includes a triangle solver, and an equation solver that provides step-by-
MINTO is a non-commercial solver and the executables are available for free dow
A list-based solver, and other handicaps make this simple-to-use c
r elements are used for the generic as well as solver and client specific modelling of assembling te
ation software) is a mixed integer programming solver and a framework for Branch and cut and Branch
as a risk taker and his deftness as a problem solver are the characteristics that distinguish his w
FiPy: Python PDE solver based on the finite volume method.
with an automated theorem prover or constraint solver based on constraint logic programming to gener
A frontal solver builds a LU or Cholesky decomposition of a spa
ns are supported by an efficient sparse matrix solver called mtx.
nd computational engineers (people writing the solver code) can work separately in developing ASCEND
Konopasek's goal in inventing the TK Solver concept was to create a problem solving enviro
Snap is the oldest and a problem solver, Crackle is an unsure "middle child" and Pop i
PROPT is a combined modeling, compilation and solver engine, built upon the TomSym modeling class,
Code_Aster is mainly a solver for mechanics, based on the theory of the Fini
The solver for the LP relaxations is not a native compone
olog systems ship with at least one constraint solver for finite domains, and often also with solver
res for particular domains, e.g., a constraint solver for Allen's temporal interval logic.
y usable, Finite-difference time-domain method solver for the commercial electromagnetics market.
orted in the AIMMS, AMPL, GAMS, MPL, Microsoft Solver Foundation, Frontline Systems and TOMLAB model
read files in MPS and can also be called as a solver from AMPL.
of different algorithms available; sometimes a solver implements multiple algorithms, but sometimes
' GOAL SEEK is a built-in iterative solver in Excel
alist programmer "hard-code" a special-purpose solver in a general purpose programming language, use
y ESA / ESTEC together with the Interior-Point solver ipfilter (whose inclusion in eNLP was disconti
The GAMS/BARON solver is also available via the NEOS server for opti
(MUltifrontal Massively Parallel sparse direct Solver) is a software application for the solution of
A solver is a generic term indicating a piece of mathem
ctual place where it is occurring, the problem solver is able to obtain actual data or facts, which
Run as a standalone solver, it is one of the fastest non-commercial solve
Most major solver languages are made compatible for MOSEK, examp
terfaces to third party linear and eigen value solver libraries are available, including IML, PETSc,
The AMPL Solver Library (ASL) which allows to read the nl file
solver links
In other words, the theory solver must be incremental and backtrackable.
integration to work well, however, the theory solver must be able to participate in propagation and
The theory solver need only worry about checking the feasibility
A multifrontal solver of Duff and Reid is an improvement of the fron
MINTO does not have a linear programming (LP) solver of its own.
preneur, but not in his work as an analyst and solver of business problems.
also performed using a worksheet, or by using solver or goal seek functions available in Excel.
The problem solver or worker is to move and work in this symbol s
e latest models are Phaeaco (a Bongard problem solver), SeqSee (number sequence extrapolation), Geor
er equation that is numerically solved using a solver such as a discrete ordinate method or a Monte
A solver takes problem descriptions in some sort of gen
th 85,900 points was solved using Concorde TSP Solver, taking over 136 CPU-years, see .
linear and nonlinear mathematical optimization solver that runs with TOMLAB, GAMS, AMPL and AIMMS an
In a solver, the emphasis is on creating a program or libr
ear equations system or second grade equations solver, thus forcing to implement them by programming
Other people have ported the solver to Squeak and the .NET framework (Cassowary.ne
fies the constraints to be maintained, and the solver updates the constrained variables to have valu
OpenFOAM, an open source finite volume pde solver used in a variety of computational fluid dynam
he software is a finite element analysis (FEA) solver used to generate solutions for linear and nonl
A solver was included instead of programming, but it wa
Software Arts, the company behind VisiCalc, TK Solver was acquired by Universal Technical Systems in
MINTO is an integer programming solver which uses branch and bound algorithm.
ity of Boolean reasoning to the DPLL-based SAT solver which, in turn, interacts with a solver for th
Heather is a take-charge problem solver who sometimes gets too carried away for her ow
It combines an electromagnetic field solver with circuit and transmission line simulations
SfePy: Finite element solver written in Python.
                                                                                                    


こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2026 GRAS Group, Inc.RSS