Found 5 Software Packages (Results 1–5)


Software Authors:   Lattner, C., Adve, V.; University of Illinois
Cited in: 72 Publications (2006–2023)
Related Software: z3; Python; GitHub; Julia; KLEE; Isabelle/HOL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Falke, Stephan; Kapur, Deepak; Sinz, Carsten
Cited in: 9 Publications (2011–2021)
Related Software: z3; Ctrl; Yices; AProVE; LLVM; TcT; …
Main Fields: Computer science (68-XX)

Algorithm 722

Software Authors:   Cody, W.J.; Coonen, Jerome T.
Cited in: 5 Publications (1993–2017)
Related Software: MACHAR; INTLIB; Matlab; Python; Algorithm 719; Algorithm 818; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Statistics (62-XX)


Software Authors:   J. M. P. Cardoso, T. Carvalho, J. Coutinho, W. Luk, R. Nobre, P. C. Diniz, Z. Petrov
Cited in: 0 Publications
Related Software: TACT; Cole; Micomp; Acovea; COBAYN; Milepost GCC; …
Main Fields:


Software Authors:   Jan Obdržálek, Jiří Slabý, Marek Trtík
Cited in: 0 Publications
Related Software: Klocwork; FindBugs; CodeSonar
Main Fields: