LLVM 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)
KITTeL 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)
LARA 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: –
STANSE Software Authors: Jan Obdržálek, Jiří Slabý, Marek Trtík Cited in: 0 Publications Related Software: Klocwork; FindBugs; CodeSonar Main Fields: –