• RAGlib

  • Referenced in 58 articles [sw00774]
  • useful functionalities for the study of real solutions of polynomial systems of equations and inequalities ... each connected component of their real solution set. RAGlib is built upon the FGb library ... allow to decide the existence of real solutions and to compute sample points in each ... connected component of the real solution...
  • REDUCE

  • Referenced in 706 articles [sw00789]
  • with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions ... integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities...
  • LAPACK

  • Referenced in 1503 articles [sw00503]
  • systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems ... areas, similar functionality is provided for real and complex matrices, in both single and double ... various types of matrix multiplication and the solution of triangular systems with multiple right-hand...
  • SIFT

  • Referenced in 513 articles [sw16554]
  • finally performing verification through least-squares solution for consistent pose parameters. This approach to recognition ... among clutter and occlusion while achieving near real-time performance...
  • MIPLIB

  • Referenced in 276 articles [sw04067]
  • miplib is a diverse collection of challenging real-world mip instances from various academic ... suited for benchmarking and testing of mip solution algorithms...
  • Algorithm 432

  • Referenced in 217 articles [sw25817]
  • Algorithm 432: Solution of the matrix equation AX + XB = C [F4]. The following programs ... where A, B, and C are real matrices of dimensions ... respectively. Additional subroutines permit the efficient solution of the equation...
  • alphaCertified

  • Referenced in 29 articles [sw07351]
  • algorithms based on α-theory to certify solutions of polynomial systems using both exact rational ... given point corresponds to a real solution, and algorithms to heuristically validate solutions to overdetermined...
  • PARDISO

  • Referenced in 227 articles [sw00679]
  • version: Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite, hermitian ... direct solver algorithms to accelerate the solution process for very large three-dimensional systems...
  • Hyperheuristics

  • Referenced in 124 articles [sw00424]
  • this allows us to rapidly produce effective solutions, in a fraction of the time needed ... successfully applied by the authors to a real-world problem of personnel scheduling. In this ... application of hyperheuristics to a rather different real-world problem of personnel scheduling occuring ... much superior to that of a manual solution but also these results were produced within...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • constraint satisfaction and optimization problems over the real numbers. The decision variables, continuous or discrete ... solution set of a given problem by means of rectangular regions from the real Euclidean ... conditions, it can prove the existence of solutions to a set of constraints. Moreover...
  • Expokit

  • Referenced in 148 articles [sw00258]
  • exponential on an operand vector, or the solution of a system of linear ordinary differential ... matrices of large dimension. The software handles real and complex matrices and provides specific routines ... Markov chains and furthermore, the computed solution is subject to probabilistic constraints. In addition...
  • FastSLAM

  • Referenced in 59 articles [sw13538]
  • FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem. The ability to simultaneously ... very large number of landmarks present in real environments. Kalman filter-based algorithms, for example...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • also developing a new set of solution techniques using multi-polynomial resultants and birational maps ... algebraic and numeric methods, and real solutions. Complex solutions can also be computed, but visualizing...
  • ScaLAPACK

  • Referenced in 377 articles [sw00830]
  • parScaLAPACK includes routines for the solution of dense, band, and tridiagonal linear systems of equations ... routines.\parSoftware is available in single precision real, double precision real, single precision complex...
  • MUDPACK

  • Referenced in 27 articles [sw00601]
  • Multigrid portable FORTRAN software for the efficient solution of linear elliptic partial differential equations MUDPACK ... iteration for solving real or complex elliptic partial differential equations. The solution regions are rectangles...
  • SALBPGen

  • Referenced in 16 articles [sw14513]
  • large variety of real-world problem variations and elaborate solution methods were developed and presented ... experiments examining and comparing the performance of solution procedures were mostly based on very limited ... collected from the literature and from some real-world cases. In particular, the precedence graphs ... particular, based on our analysis of real-world problems from automotive and related industries, typical...
  • SPADE

  • Referenced in 85 articles [sw02226]
  • fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans ... sequence mining can be applied in a real application domain...
  • MARC

  • Referenced in 33 articles [sw04228]
  • transient environmental conditions makes it ideal to solution for your complex design problems. With ... methodologies, Marc enables you to simulate complex real world behavior of mechanical systems making ... problems in a single environment. With the solution schemes that are smarter and designed...
  • CAPP

  • Referenced in 9 articles [sw03233]
  • find a useful reliable solution to a real manufacturing problem in a safer environment...
  • HAS-QAP

  • Referenced in 32 articles [sw20506]
  • pheromone trail information to construct complete solutions. HAS-QAP is analysed and compared with some ... hybrid genetic algorithm perform best on real world, irregular and structured problems due to their ... ability to find the structure of good solutions, while HAS-QAP performance is less competitive...