
feologit
 Referenced in 0 articles
[sw37547]
 timeinvariant 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 timeinvariant 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...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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

CASA
 Referenced in 96 articles
[sw00108]
 CASA is a specialpurpose 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...

CXSC 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 objectbased 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 Maplebased “GeM...