
INTOPT_90
 Referenced in 304 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 407 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 40 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 15 articles
[sw04888]
 instantiated by the empty equational theory and by the linear arithmetics. AltErgo contains also...

DERIVE
 Referenced in 64 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 30 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...

Z3str3
 Referenced in 3 articles
[sw30519]
 theory of string equations, the regularexpression membership predicates, and linear arithmetic over the length...

IBEX
 Referenced in 12 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...

Algorithm 913
 Referenced in 22 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...

RationalFirstintegrals
 Referenced in 4 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...

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

Z3str2
 Referenced in 2 articles
[sw30520]
 theory of string equations, the regularexpression membership predicate, and linear arithmetic over the length...

MatlabRBFToolbox
 Referenced in 6 articles
[sw32055]
 solution of Partial Differential Equations in complexly shaped domains. The most straight forward approach used ... evaluate the methods involves solving a linear system which is typically poorly conditioned. The Matlab ... conditioned system, extended precision floating point arithmetic, and symmetry exploitation for the purpose of reducing...

PAC
 Referenced in 1 article
[sw21079]
 infiniteprecision arithmetic, the solution of linear systems and of Diophantine equations, the parallelization...

CholQR
 Referenced in 8 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...