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

CSProlog
 Referenced in 7 articles
[sw00171]
 shown by example of solving linear arithmetic equations. CSPROLOG uses four rules: variable elimination...

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

AltErgo
 Referenced in 13 articles
[sw04888]
 instantiated by the empty equational theory and by the linear arithmetics. AltErgo contains also...

DERIVE
 Referenced in 60 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 variableprecision 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 nonlinear 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 nonlinear 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]
 infiniteprecision arithmetic, the solution of linear systems and of Diophantine equations, the parallelization...

CholQR
 Referenced in 3 articles
[sw13049]
 overhead of using the doubledouble 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 advectiondispersion equation. Simulated regions include onedimensional columns, twodimensional ... exchange. Nonlinear storage terms are linearized by an implicit NewtonRaphson 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...

ACRITHXSC
 Referenced in 46 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 207 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

Apron
 Referenced in 57 articles
[sw00045]
 Apron: a library of numerical abstract domains for...