• NewtonLib

  • Referenced in 298 articles [sw04796]
  • Deuflhards Book ”Newton Methods for Nonlinear Problems -- Affine Invariance and Adaptive Algorithms”. This monograph presents...
  • Adam

  • Referenced in 892 articles [sw22205]
  • invariant to diagonal rescaling of the gradients, and is well suited for problems that...
  • GAIO

  • Referenced in 92 articles [sw04306]
  • problems based on set oriented techniques. It may e.g. be used to compute invariant sets ... invariant manifolds, invariant measures and almost invariant sets in dynamical systems and to compute ... optimal solutions of both scalar and multiobjective problems...
  • CIRR

  • Referenced in 41 articles [sw12618]
  • problems. When the matrices are very large, iterative methods are used to generate an invariant...
  • SRRIT

  • Referenced in 29 articles [sw01229]
  • columns of Q span the invariant subspace corresponding to those eigenvalues. SRRIT references A only ... hence it is suitable for large sparse problems...
  • ObservabilityTest

  • Referenced in 20 articles [sw36921]
  • parts of the local algebraic observability problem which is concerned with the existence ... invariant. We present a probabilistic seminumerical algorithm that proposes a solution to this problem...
  • CANDYS/QA

  • Referenced in 9 articles [sw01219]
  • wide class of problems is treated: computation of invariant sets (e.g., steady-states and periodic ... period-doubling, torus bifurcation points (one-parameter problems) as well as cusp and Takens-Bogdanov...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • method usually has low efficiency for specific problems. To overcome the bottleneck of program verification ... including SAS-solving itself, termination analysis and invariant generation of programs, and reachability computation...
  • qpDUNES

  • Referenced in 15 articles [sw13238]
  • better exploit the problem intrinsic structures. Problems can be set up and solved from ... time-invariant (LTI) and for linear time-varying (LTV) model-predictive control problems in both...
  • LOCBIF

  • Referenced in 65 articles [sw07928]
  • suitable phase-parameter space. The invariant sets involved in our study are equilibrium points ... them to construct well-posed continuation problems. The described continuation technique is supported...
  • NSIKE

  • Referenced in 8 articles [sw11777]
  • positive streamwise invariant) residual distribution scheme. The Poisson problem for pressure is solved using conjugate...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • variable coefficients of arbitrary index An important invariant in the analysis of linear DAEs ... solution of linear quadratic optimal control problems and differential-algebraic Riccati equations ... which first determines all the local invariants and then transforms the system (1) into...
  • ProjectionCAD

  • Referenced in 8 articles [sw09911]
  • truth-table invariant. There are also commands for choosing the best problem formulation ... only package to offer order-invariant output. [England13b] describes how the equational constraints commands offer...
  • BRISK

  • Referenced in 18 articles [sw29764]
  • BRISK: Binary robust invariant scalable keypoints. Effective and efficient generation of keypoints from an image ... well-studied problem in the literature and forms the basis of numerous Computer Vision applications...
  • Anteater

  • Referenced in 4 articles [sw32373]
  • Anteater translates high-level network invariants into boolean satisfiability problems (SAT), checks them against network...
  • Catfact

  • Referenced in 6 articles [sw14840]
  • singularity, the recognition problem is to find a set of topological invariants that ... class of the singularity. If the modality invariant is less than 3 then normal forms ... local requirements of singularity theory. The mapping problem is to find the taylor polynomial...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • uses a global invariant approach to avoid the state space explosion problem and is both...
  • FourTiTwo

  • Referenced in 8 articles [sw07615]
  • nice orderings, the authors show that invariant chains of Laurent lattice ideals stabilize ... closed with a number of interesting open problems...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • connection between these seemingly unrelated problems is invariant theory, more precisely, the construction of fundamental...
  • OPTCON

  • Referenced in 14 articles [sw02660]
  • first step consists in approximating the time-invariant nonlinear system by a time-varying linear ... principle of optimality to solve the problem. These two steps are repeated until convergence...