• BLAD

  • Referenced in 20 articles [sw08612]
  • Differential elimination and biological modelling. This paper describes applications of a computer algebra method, differential ... model reduction problems. In both cases, differential elimination can be viewed as a preparation ... paper introduces two implementations of the differential elimination algorithms: the diffalg package, which is embedded ... BLAD libraries are designed to provide differential elimination for scientific software independent of any computer...
  • DifferentialAlgebra

  • Referenced in 11 articles [sw13540]
  • DifferentialAlgebra package implements algebraic and differential elimination algorithms which are key for simplifying systems ... triangularizing a differential equation system so that it can be solved eliminating one variable ... BelongsTo for deciding membership to a differential ideal, and ReducedForm for reducing a system with...
  • CDiffElim

  • Referenced in 3 articles [sw09251]
  • overdetermined partial differential equations by using differentiation and elimination. This environment ... strategies for addressing difficulties encountered in differential elimination algorithms, such as exhaustion of computer memory ... representations that are tailored for efficient differential elimination algorithms. These strategies, which are coded...
  • EG

  • Referenced in 10 articles [sw11548]
  • eliminations. Systems of linear ordinary differential and difference equations of the form...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications ... allow one to triangularize systems of multivariate (differential) polynomials, decompose polynomial systems into triangular systems...
  • MapDE

  • Referenced in 2 articles [sw35022]
  • MapDE involves applying the differential-elimination algorithm to the defining systems for infinitesimal symmetries ... where MapDE can determine if a linear differential equation R can be mapped...
  • EliAD

  • Referenced in 3 articles [sw07477]
  • Newton Solvers with EliAD: An Elimination Automatic Differentiation Tool We present a matrix interpretation ... standard forward and reverse modes of automatic differentiation (AD) in terms of forward- and back ... Jacobian calculation are achieved by performing Gaussian elimination on the extended Jacobian. We introduce...
  • KeYmaera

  • Referenced in 44 articles [sw03709]
  • verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which is a real-valued ... real arithmetic, we integrate real quantifier elimination following an iterative background closure strategy. Our tool...
  • MrDIRECT

  • Referenced in 12 articles [sw12380]
  • differential equation (PDE). In the case of PDE, this smooth mode phenomenon can be eliminated...
  • TAUCS

  • Referenced in 32 articles [sw04014]
  • discretizations of 2- and 3-dimensional partial differential equations. Useful for testing the solvers. Iterative ... factor the resulting matrix completely. Instead, they eliminate rows and columns which can be eliminated...
  • OpenAD/F

  • Referenced in 24 articles [sw09380]
  • call graph reversal. Unlike most other automatic differentiation tools, Open/ADF uses components provided ... country sequences of vertex, edge, and face elimination steps. Specifically, for the generation of adjoint...
  • RcppDE

  • Referenced in 4 articles [sw10612]
  • DEoptim function which performs global optimization by differential evolution. Its creation was motivated by trying ... implicit code review which eliminated a few inefficiencies which have since been eliminated in DEoptim...
  • TDDS

  • Referenced in 7 articles [sw31513]
  • elements of algebraic analysis of an input differential system such as: verifying consistency ... common solutions of the input system; eliminating a part of dependent variables from the system...
  • DECOR

  • Referenced in 3 articles [sw40609]
  • novel many-objective optimization algorithm, viz. Differential Evolution using Clustering based Objective Reduction (DECOR). Correlation ... from the approximated Pareto-front, followed by elimination of all but the centroid constituent ... objectives. DECOR is integrated with an Improved Differential Evolution for Multi-objective Optimization (IDEMO) algorithm...
  • SSPS

  • Referenced in 5 articles [sw13163]
  • approximations of discontinuous functions by reducing or eliminating the Gibbs-Wilbraham phenomenon. The suite ... Chebyshev Spectral Viscosity methods for solving Partial Differential Equations. The suite implements spectral filtering, edge...
  • ACE+

  • Referenced in 4 articles [sw06384]
  • broad range of physics disciplines. The partial differential equations involved can be solved in multidimensional ... modeling challenges with one tool which typically eliminates the need to explicitly link several tools...
  • MSAD

  • Referenced in 1 article [sw09990]
  • source transformation implementation of forward mode automatic differentiation for MATLAB. MSAD specialises and inlines operations ... operator overloading overheads inherent in MAD are eliminated while preserving the derivvec class’s optimised...
  • Miller Analyzer

  • Referenced in 1 article [sw25283]
  • programming language and its restrictions. We have eliminated this drawback by creating a Matlab interface ... operator overloading based implementation technique of automatic differentiation, we have provided a means of analyzing...
  • opty

  • Referenced in 1 article [sw29116]
  • express the continuous first order ordinary differential equations of the system as symbolic expressions opty ... time consuming and error prone process. opty eliminates both of those issues...
  • NLPLSQ

  • Referenced in 1 article [sw33666]
  • assumed that all functions are continuously differentiable. By introducing additional variables and nonlinear equality constraints ... search direction. The additionally introduced variables are eliminated in the quadratic programming subproblem, so that...