• REDUCE

  • Referenced in 737 articles [sw00789]
  • REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists ... include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching ... integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities...
  • na25

  • Referenced in 6 articles [sw11492]
  • plane curves given in rational parametric form [the general solution steps are described...
  • QSopt-Exact

  • Referenced in 16 articles [sw05101]
  • deliver the exact rational solution to LP instances having rational input. This code ... used under the terms of the GNU General Public License (Version 2.1 or later...
  • NLEIGS

  • Referenced in 27 articles [sw22547]
  • rational Krylov method for the efficient solution of nonlinear eigenvalue problems, $A(lambda ... rational Krylov method for nonlinear eigenvalue problems (abbreviated as NLEIGS), is based on linear rational ... interpolation and generalizes the Newton rational Krylov method proposed in [R. Van Beeumen, K. Meerbergen...
  • RAEEM

  • Referenced in 14 articles [sw00773]
  • including those of polynomial, exponential, triangular, hyperbolic, rational, Jacobi elliptic, Weierstrass elliptic type. The effectiveness ... recovering previously known solutions, we also obtain more general forms of some solutions...
  • IML - Integer Matrix Library

  • Referenced in 14 articles [sw00440]
  • rational system solving: compute the unique rational solution X to the system AX=B, where ... linear system solving: compute a minimal denominator solution x to a system Ax=b, where ... matrix. These mod p routines are not general purpose; they require that p satisfy some...
  • Guess

  • Referenced in 6 articles [sw09215]
  • sequences of, for example, rational numbers or rational functions, given the first few terms. Thereby ... term, what is the general formula? Of course, no unique solution exists, owever, by Occam...
  • TUBA3

  • Referenced in 7 articles [sw06145]
  • continuous interpolation are useful in the numerical solution of problems where the underlying partial differential ... rational design to a predetermined set of desirable element properties. Therefore, a general procedure...
  • OCOTILLO

  • Referenced in 10 articles [sw09292]
  • experimental design and computational modeling. Principles of “rational” drug design are used in the construction ... data libraries. The package provides exact solutions for general inverse problems based on shortest-path...
  • PESC

  • Referenced in 6 articles [sw17860]
  • general framework for constrained Bayesian optimization using information-based search. We present an information-theoretic ... target objective. We take a bounded rationality approach and develop a partial update for PESC ... provides a promising direction towards a unified solution for constrained Bayesian optimization...
  • LFTB

  • Referenced in 3 articles [sw02546]
  • analysis of uncertain linear systems. The solution to this particular SDP gives an upper bound ... maximum singular value of a multidimensional rational matrix function, or linear fractional transformation, over ... iteration and memory requirements of existing general-purpose SDP solvers by a factor...
  • ADOL-C

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

  • Referenced in 63 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • AXIOM

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

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

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 122 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Expokit

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

  • Referenced in 234 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...