
ABAQUS
 Referenced in 1616 articles
[sw04215]
 both routine and sophisticated engineering problems covering a vast spectrum of industrial applications ... structure and integrated solver technology. Bestinclass companies are taking advantage of Abaqus Unified...

LYAPACK
 Referenced in 66 articles
[sw12624]
 there is little software for large control problems available. In this situation, the author took ... Package”), which covers one particular approach to a class of large problems in control theory...

SDPpack
 Referenced in 51 articles
[sw04333]
 problems in polynomial time. Semidefinite programs are best solved by interiorpoint methods, the class ... accurately, and it was the first to cover quadratic cone programs as well as semidefinite...

Pyomo
 Referenced in 77 articles
[sw04910]
 formulating and solving largescale optimization problems. The software extends the modeling approach supported ... intuitive object orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which ... like spreadsheets and databases. The final chapters cover advanced topics such as nonlinear models, stochastic...

DDS
 Referenced in 4 articles
[sw36808]
 MATLABbased software package for convex optimization problems in DomainDriven form [Karimi and Tunçel ... software to cover the emerging classes of convex optimization problems...

ADE20k
 Referenced in 10 articles
[sw36627]
 image, is one of the key problems in computer vision. Despite the communitys efforts ... collection, there are still few image datasets covering a wide range of scenes and object ... ADE20K with 150 object and stuff classes included. Several segmentation baseline models are evaluated...

FDLIB
 Referenced in 14 articles
[sw00270]
 computer for solving the formulated computational flow problems. Thereto, the reader is invited to make ... this book. \parThe following subjects are under cover of the thirteen FDLIB main directories: Numerical ... level graduate students, but also a broad class of scientists and engineers with a general...

TIRA
 Referenced in 1 article
[sw30629]
 TIRA contains four reachability methods covering wide classes of nonlinear systems, handled with recent results ... between the userdefined reachability problem and the library of available reachability methods. This design...

IPknot
 Referenced in 3 articles
[sw17124]
 methods for predicting RNA secondary structures cover certain classes of pseudoknotted structures, but only ... capability of modeling a wide class of pseudoknots and running quite fast. In addition ... improve the prediction accuracy of IPknot. The problem of maximizing expected accuracy is solved...

Webstrabnet
 Referenced in 2 articles
[sw01018]
 Vertical deviations are usually classified into eight classes (diagnoses) and horizontal into 10. The present ... strabismus is usually achieved in the prism cover test (PCT). A range of test prisms ... plus and minus power to investigate. The problem can be expressed as the inference...

Algorithm 966
 Referenced in 2 articles
[sw20706]
 reduced to instances of the Set Cover Problem. Our algorithm was implemented and tested ... through tests done on a number of classes of polygons of various sizes with...

MultiRP
 Referenced in 1 article
[sw20860]
 Riemann problem has its applications, which cover the flux construction of the Godunovtype scheme ... material Riemann problem, multimaterial Riemann problem can describe the Riemann problem with different equations ... programs with user interface via Microsoft Foundation Classes (MFC) are developed. Hitherto, MultiRP consists...

QFcode
 Referenced in 1 article
[sw19040]
 Through an approach based on C++ classes and templates, the text highlights the basic principles ... problems. The website also includes a suite of practical exercises for each chapter covering...

BIGEBRA
 Referenced in 21 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

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

CLIFFORD
 Referenced in 85 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...