• Adam

  • Referenced in 273 articles [sw22205]
  • introduce Adam, an algorithm for first-order gradient-based optimization of stochastic objective functions, based ... adaptive estimates of lower-order moments. The method is straightforward to implement, is computationally efficient ... little memory requirements, is invariant to diagonal rescaling of the gradients, and is well suited...
  • ODEtools

  • Referenced in 11 articles [sw09257]
  • commands includes a first-order ODE solver and routines for, among other things: the explicit ... construction of the most general invariant first-order ODE under given symmetries; the determination ... canonical coordinates of the underlying invariant group; and the testing of the returned results...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • decision procedure for quantifier-free first-order formulas. It supports certain interpreted theories, such ... predicates in predicate abstraction, and computing inductive invariants...
  • HMC

  • Referenced in 7 articles [sw09867]
  • constraints into a simple first-order imperative program and an invariant that holds ... satisfiable. Finally, it uses an invariant generator for first-order imperative programs to discharge...
  • FiOrDii

  • Referenced in 3 articles [sw22211]
  • Finding first order differential invariants through the S-function. The method presented in Duarte ... search for first order invariants of second order ordinary differential equation (2ODEs) makes...
  • SADE

  • Referenced in 18 articles [sw07076]
  • nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, first-integrals, Nöther theorem for both discrete ... equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants ... QPSI) for the determination of quasi-polynomial first-integrals, Lie symmetries and invariant surfaces. Examples...
  • FiOrDi

  • Referenced in 2 articles [sw16767]
  • Maple package to find first order differential invariants of 2ODEs via a Darboux approach ... semi-algorithm to find elementary first order differential invariants (elementary first integrals) of a class...
  • WhyML

  • Referenced in 25 articles [sw09709]
  • specification language. WhyML is a first-order language with polymorphic types, pattern matching, and inductive ... record types with mutable fields, type invariants, and ghost code. Verification conditions are discharged...
  • GraPHedron

  • Referenced in 15 articles [sw25129]
  • selected invariants, in order to derive extremal properties among these invariants. GraPHedron is detailed ... published papers contain results that where first conjectured with the help of GraPHedron...
  • Mod-p group cohomology

  • Referenced in 8 articles [sw08638]
  • invariant, depth, ...) and also the nil-radical and essential classes. It provided the first complete ... cohomology rings of all groups of order 128. It was also used to compute...
  • VeriCon

  • Referenced in 3 articles [sw16297]
  • uses first-order logic to specify admissible network topologies and desired network-wide invariants ... single network event w.r.t. the specified invariant, and can thus scale to handle large programs ... inductive invariants from the programmer, VeriCon includes a separate procedure for inferring invariants, which ... controller programs. We view VeriCon as a first step en route to practical mechanisms...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • enriched by annotations in first-order logic.\parIts verification conditions -- constructed via a wp calculus ... ways: First, we present scenarios to “debug” annotations (in particular: invariants) by interactive proofs. Second...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • structural recursion can be expressed in first-order logic extended with transitive closure; its data ... bisimulation. Structural recursion is shown to be invariant with respect to value equality...
  • RCIP

  • Referenced in 2 articles [sw10232]
  • first-order spatial derivatives are predicted by the governing equation. Using the Lagrangian invariant solution...
  • FunG

  • Referenced in 1 article [sw19691]
  • first-, second-, and third-order derivatives. The focus is on invariant-based models, such...
  • QuIt

  • Referenced in 1 article [sw29333]
  • programs containing loops by using a first-order language of so-called extended expressions. This ... invariant generation. For doing so, we express the loop semantics as a set of first ... order properties over extended expressions and use theorem provers and/or SMT solvers to reason about...
  • Pyhybridanalysis

  • Referenced in 3 articles [sw14549]
  • each step, the algorithm builds the first-order formula corresponding to the evolution ... states that are reached for the first time in the last step is empty ... lengths increase. However, if we bound the invariants and interpret formulae by using an -semantics ... Tarski’s theory (i.e., is a first-order formula involving polynomials), the sphere semantics...
  • NetLSD

  • Referenced in 2 articles [sw32341]
  • Ideally, graph comparison should be invariant to the order of nodes and the sizes ... Descriptor (NetLSD): the first, to our knowledge, permutation- and size-invariant, scale-adaptive, and efficiently...
  • GIFGA

  • Referenced in 1 article [sw17588]
  • caustics and beam spreading. Moreover, it is invariant with respect to the gauge choice ... dimensional examples; in particular, the first order convergence is validated, which agrees with our companion...
  • CpnToUnit

  • Referenced in 1 article [sw26447]
  • distinguishable tokens. It allows us to apply invariants method to their analysis, which uses Truncated ... order to run the program, you must provide two files as arguments: the first containing...