• 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 non-linear equations by the Newton ... estimate steady-state 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 ... Time-continuous solution representation (e.g., for graphics). Root-finding options (e.g., for impact and Coulomb ... handle near-statespace kinematic formulations of multibody systems. A detailed description of MEXX...
  • DIDAS

  • Referenced in 0 articles [sw18955]
  • uptake problems, assists in drip-irrigation 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 Semi-Implicit 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 root-locus calculation for linear fractional time-delay systems”, Automatica...
  • StarLogo

  • Referenced in 5 articles [sw07682]
  • complex systems learning at a young age is important because, like many deep-rooted 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 integro-interpolation ... 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 multi-affine systems based on rectangular partitions. The method is iterative ... rectangles in the partition and finding the roots of a finite set of scalar affine...