Found 9 Software Packages (Results 1–9)


Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Cited in: 105 Publications (2003–2021)
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Hadley Wickham
Cited in: 12 Publications (2013–2020)
Related Software: R; ggplot2; reshape; lattice; foreach; lme4; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)


Software Authors:   Dean, T.R.; Ii, T.V.Hromadka
Cited in: 5 Publications (2010–2014)
Related Software: Mathematica; BEAN
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)


Software Authors:   Goerigk, Marc
Cited in: 5 Publications (2013–2017)
Related Software: TSPLIB; LinTim; AIMMS; Netlib; Gurobi; SteinLib
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)


Software Authors:   Mardia, Kanti V.; Sriram, Karthik; Deane, Charlotte M.
Cited in: 3 Publications (2018–2021)
Related Software: Helanal; R; TMKink; Kink Finder
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

point location strategies

Software Authors:   Devillers, Olivier; de Castro, Pedro Machado Manh√£es
Cited in: 2 Publications (2011–2013)
Related Software: JavaScript; 2D triangulations; Spatial Sorting; Stony Brook; CGAL
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Song, Yin; Nathoo, Farouk; Babul, Arif
Cited in: 1 Publication (2019)
Related Software: GitHub; R
Main Fields: Statistics (62-XX)


Software Authors:   Siyuan Qiao, Yukun Zhu, Hartwig Adam, Alan Yuille, Liang-Chieh Chen
Cited in: 0 Publications
Related Software: MaX-DeepLab; Axial-DeepLab; DeeperLab; ADE20k; UPSNet; Box2Pix; …
Main Fields:


Software Authors:   Zhou, Fengshun; Wang, Linzhang; Li, Xuandong
Cited in: 0 Publications
Related Software:
Main Fields: