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

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.