• INTOPT_90

  • Referenced in 294 articles [sw04705]
  • arithmetic based methods for solving systems of equations and global optimization problems. The connection between ... almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation is followed ... software and library packages for interval arithmetic and the solvers for the above mentioned problems ... chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code list...
  • INTLAB

  • Referenced in 351 articles [sw04004]
  • structured matrices) sparse s.p.d. linear systems systems of nonlinear equations (including unconstrained optimization) roots ... univariate and multivariate nonlinear equations (simple and clusters) eigenvalue problems (simple and clusters, also inner ... univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors...
  • CS-Prolog

  • Referenced in 7 articles [sw00171]
  • shown by example of solving linear arithmetic equations. CS-PROLOG uses four rules: variable elimination...
  • HolonomicFunctions

  • Referenced in 35 articles [sw06666]
  • recurrences, q-difference equations, and mixed linear equations that a given function satisfies. Summation ... arithmetic with mixed difference-differential operators), noncommutative Gröbner bases, and solving of coupled linear systems ... differential or difference equations...
  • Alt-Ergo

  • Referenced in 13 articles [sw04888]
  • instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also...
  • DERIVE

  • Referenced in 58 articles [sw02964]
  • your PC. It processes algebraic variables, expressions, equations, functions, vectors, matrices and Boolean expressions like ... Problems in the fields of arithmetic, algebra, trigonometry, calculus, linear algebra, and propositional calculus...
  • homalg

  • Referenced in 26 articles [sw00411]
  • where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes ... extend any computer algebra software implementing the arithmetics of a computable ring R, as soon ... latter contains algorithms to solve inhomogeneous linear equations with coefficients in R. Beside explaining...
  • Symbolic Math Toolbox

  • Referenced in 34 articles [sw08398]
  • calculus, linear algebra, algebraic and ordinary differential equations, equation simplification, and equation manipulation. Symbolic Math ... equation solving. Your computations can be performed either analytically or using variable-precision arithmetic, with...
  • AGMG

  • Referenced in 25 articles [sw08090]
  • This method solves algebraic systems of linear equations, and is expected to be efficient ... version is available in the four standard arithmetics (real, double precision, complex, double complex...
  • Algorithm 913

  • Referenced in 21 articles [sw12775]
  • solving large nonsymmetric systems of linear equations. IDR(s) is based on the induced dimension ... original IDR(s) algorithms. In exact arithmetic, both algorithms give the same residual at every...
  • IBEX

  • Referenced in 10 articles [sw11947]
  • provides reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken ... based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability ... equations is calculated. Global optimization. A global minimizer of some function under non-linear constraints...
  • QuPAT

  • Referenced in 2 articles [sw21900]
  • same time, and also mixed precision arithmetic is available; (3) QuPAT is independent of which ... method for a system of linear equations...
  • RationalFirstintegrals

  • Referenced in 2 articles [sw14472]
  • rational first integrals via systems of linear equations. We then significantly improve upon this first ... algorithm by building a probabilistic algorithm with arithmetic complexity 𝒪 ˜(N 2ω ) and a deterministic ... most 𝒪 ˜(N 2ω+1 ) arithmetic operations, where N denotes the given bound ... first integral, and ω the exponent of linear algebra. We also provide a fast heuristic...
  • PAC

  • Referenced in 1 article [sw21079]
  • infinite-precision arithmetic, the solution of linear systems and of Diophantine equations, the parallelization...
  • CholQR

  • Referenced in 3 articles [sw13049]
  • overhead of using the double-double arithmetic is decreasing on a newer architecture, where ... methods for solving a nonsymmetric linear system of equations and for solving a symmetric eigenvalue...
  • VS2DT

  • Referenced in 2 articles [sw08695]
  • VS2DT to solve the advection-dispersion equation. Simulated regions include one-dimensional columns, two-dimensional ... exchange. Nonlinear storage terms are linearized by an implicit Newton-Raphson method. Relative hydraulic conductivity ... cell boundaries using full upstream weighting, arithmetic mean or geometric mean. Saturated hydraulic conductivities...
  • borderbasix

  • Referenced in 1 article [sw16958]
  • border bases and the solutions of polynomial equations. We present the main ingredients ... with modular arithmetic, floating point arithmetic or rational arithmetic. It relies on linear algebra solvers...
  • ADOL-C

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

  • Referenced in 192 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...