• ABAQUS

  • Referenced in 1616 articles [sw04215]
  • both routine and sophisticated engineering problems covering a vast spectrum of industrial applications ... structure and integrated solver technology. Best-in-class 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 interior-point 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 large-scale 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]
  • MATLAB-based software package for convex optimization problems in Domain-Driven 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 user-defined 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...
  • Web-strabnet

  • 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 Godunov-type scheme ... material Riemann problem, multi-material 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...