
RAGlib
 Referenced in 59 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 720 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 1544 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 564 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 285 articles
[sw04067]
 miplib is a diverse collection of challenging realworld mip instances from various academic ... suited for benchmarking and testing of mip solution algorithms...

alphaCertified
 Referenced in 33 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...

Algorithm 432
 Referenced in 228 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...

PARDISO
 Referenced in 233 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 127 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...

Expokit
 Referenced in 156 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...

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

FastSLAM
 Referenced in 61 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 388 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 28 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 18 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 87 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...

GrossPitaevskii
 Referenced in 24 articles
[sw12711]
 dilute trapped BoseEinstein condensate. Solution method: The timedependent GrossPitaevskii equation is solved ... imaginary or real time, over small time steps. The method yields the solution of stationary...

HASQAP
 Referenced in 34 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...