- Referenced in 582 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 714 articles
- relations into their regression analyses. Almost all existing regression texts treat either parametric or nonparametric...
- Referenced in 604 articles
- simple but also more advanced exists like using the Roe average velocity for the middle...
- Referenced in 579 articles
- both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
- Referenced in 447 articles
- complete freedom to customise and extend its existing functionality, either by themselves or through support...
- Referenced in 417 articles
- package are important. However, most of the existing software all have their...
- Referenced in 383 articles
- utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...
- Referenced in 326 articles
- developer of LS-DYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...
- Referenced in 313 articles
- requirements for users than many of the existing numerical packages. The first version of MFree2D...
- Referenced in 307 articles
- CRAYs. PVM enables users to exploit their existing computer hardware to solve much larger problems...
- Referenced in 306 articles
- conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
- Referenced in 237 articles
- COBOL is now purely to maintain existing applications. .. (wikipedia...
- Referenced in 224 articles
- solvers that can easily be incorporated into existing simulation codes. The primary design goals were...
- Referenced in 223 articles
- between the SIF and a number of existing packages, including MINOS and OSL. Additionally...
- Referenced in 220 articles
- function for MPFR or improved an existing one, please share your work...
- Referenced in 144 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...
E Theorem Prover
- Referenced in 196 articles
- form “there exists an X with property P”), the latest versions can also provide possible...
- Referenced in 194 articles
- commercial use. We aim to establish ”existing practice” and provide reference implementations so that Boost...
- Referenced in 172 articles
- terminates with failure if no such M exists). If M is an answer...
- Referenced in 171 articles
- building on the strengths of the leading existing detectors and descriptors (in casu, using...