
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 steadystate 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 checksumbased 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 specialpurpose 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...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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 highlevel 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...

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