• PLTMGC

• Referenced in 19 articles [sw01063]
• solve the linear eigenvalue problem, trace solution branches, locate singular points (simple turning points...

• LOCA

• Referenced in 33 articles [sw04717]
• code, LOCA enables the tracking of solution branches as a function of system parameters ... Newton’s method to locate steady-state solutions to nonlinear problems. The algorithms are chosen...

• Taintscope

• Referenced in 0 articles [sw23360]
• symbolic execution techniques, to tackle the above problem. TaintScope has several novel contributions: 1) TaintScope ... input instances, accurately locate checksum-based integrity checks by using branch profiling techniques, and bypass...

• BARON

• Referenced in 354 articles [sw00066]
• BARON is a computational system for solving nonconvex...

• CASA

• Referenced in 105 articles [sw00108]
• CASA is a special-purpose system for computational...

• CDT

• Referenced in 12 articles [sw00116]
• Algorithm 750: CDT: A subroutine for the exact...

• CGAL

• Referenced in 394 articles [sw00118]
• The goal of the CGAL Open Source Project...

• C-XSC

• Referenced in 110 articles [sw00181]
• C-XSC. A programming environment for verified scientific...

• Global Optimization Toolbox For Maple

• Referenced in 150 articles [sw00358]
• Optimization is the science of finding solutions that...

• Hyperheuristics

• Referenced in 141 articles [sw00424]
• The term hyperheuristic was introduced by the authors...

• KNITRO

• Referenced in 196 articles [sw00490]
• KNITRO is a solver for nonlinear optimization. It...

• LAPACK

• Referenced in 1701 articles [sw00503]
• LAPACK is written in Fortran 90 and provides...

• LEDA

• Referenced in 263 articles [sw00509]
• In the core computer science areas -- data structures...

• Maple

• Referenced in 5369 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 6343 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 13488 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• NAG

• Referenced in 423 articles [sw00610]
• Produced by experts for use in a variety...

• NetworkX

• Referenced in 161 articles [sw00616]
• NetworkX (NX) is a Python package for the...

• ParadisEO-MOEO

• Referenced in 25 articles [sw00675]
• Paradiseo-MOEO is a general-purpose software framework...

• polymake

• Referenced in 315 articles [sw00724]
• polymake is open source software for research in...