• NOFC-VRTT

• Referenced in 2 articles [sw02844]
• observer state converges to the real state asymptotically, when packet dropping or marking ratio falls ... proposed NOFC-VRTT presents high robust stabilization, high link utilization and low packet loss ratio...

• FIDAP

• Referenced in 37 articles [sw00006]
• FIDAP (A Fluid Dynamics Analysis Program). This paper...

• ADOL-C

• Referenced in 257 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• ANSYS

• Referenced in 713 articles [sw00044]
• ANSYS offers a comprehensive software suite that spans...

• BARON

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

• CGAL

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

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

• CSDP

• Referenced in 206 articles [sw00169]
• CSDP, A C Library for Semidefinite Programming. This...

• Expokit

• Referenced in 200 articles [sw00258]
• Expokit provides a set of routines aimed at...

• FIAT

• Referenced in 44 articles [sw00287]
• Algorithm 839: FIAT, a new paradigm for computing...

• GAP

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

• gmp

• Referenced in 289 articles [sw00363]
• GMP is a free library for arbitrary precision...

• Gmsh

• Referenced in 783 articles [sw00366]
• Gmsh is a 3D finite element grid generator...

• HURRY

• Referenced in 27 articles [sw00420]
• HURRY: An acceleration algorithm for scalar sequences and...

• Kronecker

• Referenced in 119 articles [sw00495]
• Kronecker is a package for Magma computer algebra...

• LANCELOT

• Referenced in 310 articles [sw00500]
• LANCELOT. A Fortran package for large-scale nonlinear...

• LAPACK

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

• LGO

• Referenced in 100 articles [sw00516]
• The program system LGO serves to solve global...

• LSQR

• Referenced in 410 articles [sw00530]
• Algorithm 583: LSQR: Sparse Linear Equations and Least...