• feologit

  • Referenced in 0 articles [sw37547]
  • time-invariant heterogeneity. The ordered logit model is the standard model for ordered dependent variables ... this command is the first in Stata specifically for this model with fixed effects...
  • POLRANGE

  • Referenced in 1 article [sw10305]
  • algebra. The purpose of the first program (POLRANGE) is to transform a polynomial ... which exhibits a freely chosen but prescribed order of the generators. The purpose ... find explicit expressions (in standard order) for the invariants of a Lie algebra...
  • ORDINVAR

  • Referenced in 1 article [sw11847]
  • algebra. The purpose of the first program (POLRANGE) is to transform a polynomial ... which exhibits a freely chosen but prescribed order of the generators. The purpose ... find explicit expressions (in standard order) for the invariants of a Lie algebra...
  • LambertWDDE

  • Referenced in 1 article [sw07644]
  • analysis and control of linear time-invariant time delay systems with a single known delay ... function approach is first presented for systems of order one, then extended to higher order...
  • QuickLex

  • Referenced in 2 articles [sw23063]
  • first enumeration algorithm based on a breadth first strategy (BFS). Later, many algorithms have been ... enumerate global states in the lexical order. QuickLex requires much smaller space than ... detect data races and violation of invariants in the programs...
  • JSNice

  • Referenced in 1 article [sw37814]
  • such as conditional random fields (CRFs) in order to perform joint prediction of program properties ... cases. In the first week since its release, JSNice was used by more than ... context of “big code” including invariant generation, decompilation, synthesis and others...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CASA

  • Referenced in 96 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CHABIS

  • Referenced in 19 articles [sw00119]
  • Algorithm 666. CHABIS: A mathematical software package for...
  • CLIFFORD

  • Referenced in 79 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC 2.0

  • Referenced in 125 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Dafny

  • Referenced in 66 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • FGb

  • Referenced in 242 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FLIPS

  • Referenced in 7 articles [sw00299]
  • FLIPS (Fortran Linear Inverse Problem Solver) is a...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...
  • GeM

  • Referenced in 92 articles [sw00332]
  • We present a recently developed Maple-based “GeM...