- Referenced in 489 articles
- 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...
- Referenced in 570 articles
- relations into their regression analyses. Almost all existing regression texts treat either parametric or nonparametric...
- Referenced in 539 articles
- both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
- Referenced in 449 articles
- simple but also more advanced exists like using the Roe average velocity for the middle...
- Referenced in 306 articles
- utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...
- Referenced in 294 articles
- conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
- Referenced in 293 articles
- CRAYs. PVM enables users to exploit their existing computer hardware to solve much larger problems...
- Referenced in 274 articles
- developer of LS-DYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...
- Referenced in 242 articles
- package are important. However, most of the existing software all have their...
- Referenced in 241 articles
- complete freedom to customise and extend its existing functionality, either by themselves or through support...
- Referenced in 239 articles
- requirements for users than many of the existing numerical packages. The first version of MFree2D...
- Referenced in 178 articles
- between the SIF and a number of existing packages, including MINOS and OSL. Additionally...
- Referenced in 119 articles
- 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...
- Referenced in 160 articles
- solvers that can easily be incorporated into existing simulation codes. The primary design goals were...
- Referenced in 157 articles
- terminates with failure if no such M exists). If M is an answer...
- Referenced in 149 articles
- function for MPFR or improved an existing one, please share your work...
E Theorem Prover
- Referenced in 147 articles
- form “there exists an X with property P”), the latest versions can also provide possible...
- Referenced in 138 articles
- commercial use. We aim to establish ”existing practice” and provide reference implementations so that Boost...
- Referenced in 133 articles
- COBOL is now purely to maintain existing applications. .. (wikipedia...
- Referenced in 131 articles
- input language of one of several existing model-checking tools (including Spin, dSpin...