
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, leastsquares 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 righthand...

SIFT
 Referenced in 513 articles
[sw16554]
 finally performing verification through leastsquares solution for consistent pose parameters. This approach to recognition ... among clutter and occlusion while achieving near realtime performance...

MIPLIB
 Referenced in 276 articles
[sw04067]
 miplib is a diverse collection of challenging realworld 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 threedimensional 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 realworld problem of personnel scheduling. In this ... application of hyperheuristics to a rather different realworld 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 filterbased algorithms, for example...

GANITH
 Referenced in 9 articles
[sw10142]
 also developing a new set of solution techniques using multipolynomial 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 realworld 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 realworld cases. In particular, the precedence graphs ... particular, based on our analysis of realworld 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...

HASQAP
 Referenced in 32 articles
[sw20506]
 pheromone trail information to construct complete solutions. HASQAP 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 HASQAP performance is less competitive...