
BPAS
 Referenced in 8 articles
[sw08399]
 interpolation, real root isolation for both univariate and multivariate systems. In its current version...

vaCATE
 Referenced in 1 article
[sw27398]
 about fluxes and pool sizes in complex systems, but is a mathematically intensive procedure ... with intact rice (Oryza sativa L.) root systems reveals the high fidelity of vaCATE...

RootSolve
 Referenced in 18 articles
[sw08339]
 Jacobian matrices (full and banded), (2) find roots of nonlinear equations by the Newton ... estimate steadystate conditions of a system of (differential) equations in full, banded or sparse...

MEXX
 Referenced in 19 articles
[sw22801]
 code for time integration of constrained mechanical systems, which was developed at the University ... Timecontinuous solution representation (e.g., for graphics). Rootfinding options (e.g., for impact and Coulomb ... handle nearstatespace kinematic formulations of multibody systems. A detailed description of MEXX...

DIDAS
 Referenced in 0 articles
[sw18955]
 uptake problems, assists in dripirrigation system design and irrigation scheduling. Water flow is described ... subsurface emitters) and negative sinks (root systems). Steady water flow is assumed in the design ... emitters; and size and depth of root systems. Evaluation of the maximum possible RWUR assumes ... atmosphere resistance to water uptake, i.e., the roots are assumed to apply maximum suction...

maigesPack
 Referenced in 1 article
[sw25800]
 thousands of genes and enabling studies rooted in systems biology. In this work, we propose...

SIR
 Referenced in 2 articles
[sw33219]
 efficient solver for systems of equations. The SemiImplicit Root solver (SIR) is an iterative ... application where linear or nonlinear systems of equations need be solved efficiently. The codes employ ... order in the proximity of the real roots. Global convergence is usually superior to that...

TVT
 Referenced in 2 articles
[sw09811]
 verification of concurrent and reactive systems. TVT has its roots in process algebras and explicit...

RS3
 Referenced in 1 article
[sw29453]
 libraries: RS (unique contributor) : Real Roots isolation for algebraic systems with rational coefficients with...

YALTA
 Referenced in 3 articles
[sw07641]
 poles of small modulus of standard delay systems are approximated through a Padé2 scheme ... positive value, stability windows as well as root loci are given. We describe ... windows and unstable rootlocus calculation for linear fractional timedelay systems”, Automatica...

StarLogo
 Referenced in 5 articles
[sw07682]
 complex systems learning at a young age is important because, like many deeprooted misconceptions...

LabFit
 Referenced in 1 article
[sw06003]
 maps); 6) Execute calculations: system of linear equations, roots of function, nonlinear equation, ordinary differential...

ROBOTRAN
 Referenced in 8 articles
[sw16045]
 efficiency of symbolic generation was at the root of the emergence of symbolic multibody programs ... naturally provides the opportunity to investigate larger systems and more sophisticated models for which real...

POLSYS_GLP
 Referenced in 9 articles
[sw07346]
 support a general linear product (GLP) polynomial system structure. GLP structure is intermediate between ... systematically explored before committing to root finding...

PeneloPET
 Referenced in 1 article
[sw14137]
 application which allows comprehensive simulations of PET systems within PENELOPE. Complex and realistic simulations ... preferred programming language, including ROOT. PeneloPET simulates PET systems based on crystal array blocks coupled...

FIDE
 Referenced in 5 articles
[sw09196]
 transforming PDES into any orthogonal coordinate system. IIMET for discretization of PDES by integrointerpolation ... Fourier stability analysis. HURWP for locating polynomial roots necessary in verifying the von Neumann stability ... block of FORTRAN code, which solves a system of linear algebraic equations with band matrix...

REACH
 Referenced in 4 articles
[sw07733]
 reachability problems for various subclasses of solvable systems. Our main results are that these reachability ... decidable by manipulations in number theory, real root isolation, and quantifier elimination. Finally the decision...

MAS
 Referenced in 5 articles
[sw08442]
 Algebra System) is an experimental computer algebra system (CAS), developed at the University of Passau ... algorithms for real quantifier elimination, parametric real root counting, and for computing in (noncommutative) polynomial...

RAMAS
 Referenced in 12 articles
[sw10958]
 reachability analysis of continuous multiaffine systems based on rectangular partitions. The method is iterative ... rectangles in the partition and finding the roots of a finite set of scalar affine...