×

Found 5 Software Packages (Results 1–5)

Amelia

Software Authors:   James Honaker, Gary King,Matthew Blackwell
Referenced in: 30 Publications (2000–2022)
Related Software: R; MICE; Hmisc; missForest; ggplot2; Stata; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DDebugger

Software Authors:   Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
Referenced in: 11 Publications (2009–2017)
Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GLIMPSE

Software Authors:   David E. Wolstenholme; Carl M. O'Brien; John A. Nelder
Referenced in: 2 Publications (1992–2004)
Related Software: GLIM; TAXSY; GenStat
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

QthPower

Software Authors:   Leonard, Douglas A.
Referenced in: 3 Publications (2001–2009)
Related Software: SINGULAR
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

ProofWriter

Software Authors:   Oyvind Tafjord, Bhavana Dalvi Mishra, Peter Clark
Referenced in: 1 Publication (2022)
Related Software: Transformers; RuleTaker; BLEURT; BERT; multiPRover; z3; …
Main Fields: Mathematical logic and foundations (03-XX)