-
CUTEr
- Referenced in 602 articles
[sw04010]
- developers design, compare and improve new and existing solvers. The test problems provided are written ... optimization packages. Ready-to-use interfaces to existing packages, such as MINOS, SNOPT, filterSQP, Knitro...
-
SemiPar
- Referenced in 726 articles
[sw07116]
- relations into their regression analyses. Almost all existing regression texts treat either parametric or nonparametric...
-
HLLE
- Referenced in 638 articles
[sw06605]
- simple but also more advanced exists like using the Roe average velocity for the middle...
-
Chaff
- Referenced in 586 articles
[sw06916]
- both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
-
OpenFOAM
- Referenced in 543 articles
[sw04317]
- complete freedom to customise and extend its existing functionality, either by themselves or through support...
-
MATCONT
- Referenced in 442 articles
[sw00551]
- package are important. However, most of the existing software all have their...
-
TPTP
- Referenced in 394 articles
[sw04143]
- utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...
-
LS-DYNA
- Referenced in 340 articles
[sw03068]
- developer of LS-DYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...
-
Mfree2D
- Referenced in 317 articles
[sw15725]
- requirements for users than many of the existing numerical packages. The first version of MFree2D...
-
PVM
- Referenced in 307 articles
[sw04273]
- CRAYs. PVM enables users to exploit their existing computer hardware to solve much larger problems...
-
INTOPT_90
- Referenced in 306 articles
[sw04705]
- conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
-
SUNDIALS
- Referenced in 237 articles
[sw00927]
- solvers that can easily be incorporated into existing simulation codes. The primary design goals were...
-
COBOL
- Referenced in 237 articles
[sw01228]
- COBOL is now purely to maintain existing applications.[7] .. (wikipedia...
-
MPFR
- Referenced in 226 articles
[sw03312]
- function for MPFR or improved an existing one, please share your work...
-
CUTE
- Referenced in 226 articles
[sw14681]
- between the SIF and a number of existing packages, including MINOS and OSL. Additionally...
-
Boost
- Referenced in 200 articles
[sw09223]
- commercial use. We aim to establish ”existing practice” and provide reference implementations so that Boost...
-
Isar
- Referenced in 144 articles
[sw04599]
- range of people. Paradoxically, none of the existing semi-automated reasoning systems have an adequate ... virtue of the Isar/VM interpreter. Compared to existing declarative theorem proving systems (like Mizar), Isar...
-
E Theorem Prover
- Referenced in 198 articles
[sw10187]
- form “there exists an X with property P”), the latest versions can also provide possible...
-
SURF
- Referenced in 183 articles
[sw29761]
- building on the strengths of the leading existing detectors and descriptors (in casu, using...
-
Traces
- Referenced in 180 articles
[sw07823]
- together with experimental results and comparisons with existing software, such as McKay’s ”nauty...