ACSAR Software Authors: Seghir, M.N., Podelski, A. Cited in: 3 Publications (2009–2011) Related Software: SLAM; SatAbs; SIMPLIFY; PVS; ARMC Main Fields: Computer science (68-XX)
ALISTA Software Authors: J. Liu, X. Chen, Z. Wang, W. Yin Cited in: 7 Publications (2020–2022) Related Software: Adam; ISTA-Net; DnCNN; TensorFlow; t-SNE; Matlab; … Main Fields: –
Catfact Software Authors: R. G. Cowell; F. J. Wright Cited in: 6 Publications (1989–2005) Related Software: SINGULAR; Macaulay2; Transversal; Maple; KELLEY; moregroebner; … Main Fields: –
Cunf Software Authors: César Rodríguez, Stefan Schwoon Cited in: 5 Publications (2012–2021) Related Software: SPIN; NuSMV; PRISM; Graphplan; SATzilla; z3; … Main Fields: –
CUPSAT Software Authors: Vijaya Parthiban, M. Michael Gromiha, Dietmar Schomburg Cited in: 2 Publications (2012–2016) Related Software: PoPMuSiC; AUTO-MUTE; Ontobee; PlantTFDB; eggNOG; ELM; … Main Fields: –
KYST Software Authors: Kruskal, J.B; Young, F.W; Seery, J.B Cited in: 21 Publications (1977–2005) Related Software: ADDTREE/P; ProScaL; spatial; Indclus; MAPCLUS; ALSCAL; … Main Fields: –
Libunfold Software Authors: A. László Cited in: 1 Publication (2016) Related Software: RooUnfold; GSL Main Fields: –
M-nets Software Authors: Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz Cited in: 10 Publications (1998–2012) Related Software: Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; … Main Fields: –
MCLLH Software Authors: Argüelles, C. A.; Schneider, A.; Yuan, T. Cited in: 1 Publication (2019) Related Software: HistFactory; GitHub; emcee Main Fields: (62P35-XX); (85A35-XX); (65C05-XX)
Mole Software Authors: S. Schwoon Cited in: 5 Publications (2002–2017) Related Software: Punf; PEP; Cunf Main Fields: –
MultiUbic Software Authors: Beggiato, A. Cited in: 1 Publication (2018) Related Software: Anica; PEP Main Fields: Computer science (68-XX)
PyProcar Software Authors: Uthpala Herath; Pedram Tavadze; Xu He; Eric Bousquet; Sobhit Singh; Francisco Muñoz; Aldo H. Romero Cited in: 0 Publications Related Software: CASTEP; QuantumATK; scikit-image; MayaVi; pymatgen; BoltzTraP2; … Main Fields: –
PyUnfold Software Authors: James Bourbeau, Zigfried Hampel-Arias Cited in: 0 Publications Related Software: ROOT; Python Main Fields: –
RooUnfold Software Authors: Tim Adye Cited in: 1 Publication (2016) Related Software: Libunfold; GSL Main Fields: –
rTensor Software Authors: James Li; Jacob Bien; Martin Wells Cited in: 5 Publications (2020–2022) Related Software: R; rMultiNet; dbscan; reticulate; difNLR; microbenchmark; … Main Fields: –
Skip RNN Software Authors: Victor Campos, Brendan Jou, Xavier Giro-i-Nieto, Jordi Torres, Shih-Fu Chang Cited in: 0 Publications Related Software: IMDB; UCF101; Zoneout; Clockwork RNN; Adam; ImageNet; … Main Fields: –
smacof Software Authors: Jan de Leeuw, Patrick Mair Cited in: 26 Publications (1997–2022) Related Software: R; SPSS; PROXSCAL; homals; Mcmcpack; JAGS; … Main Fields: –
tntorch Software Authors: Rafael Ballester-Ripoll Cited in: 1 Publication (2022) Related Software: TensorFlow; t3f; PyTorch; Scikit-TT; GitHub; NumPy; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Unfolding Software Authors: Nagel, Till; Klerkx, Joris; Vande Moere, Andrew; Duval, Erik Cited in: 0 Publications Related Software: OpenStreetMap; geoMap; Polymaps; Leaflet; Prefuse Main Fields: –
UnfoldPolytope Software Authors: M. Namiki, K. Fukuda Cited in: 2 Publications (2003) Related Software: Mathematica Main Fields: –
unfoldr Software Authors: Markus Baaske, Felix Ballani Cited in: 0 Publications Related Software: – Main Fields: –
vbdcast Software Authors: Johnson, Leah R.; Gramacy, Robert B.; Cohen, Jeremy; Mordecai, Erin; Murdock, Courtney; Rohr, Jason; Ryan, Sadie J.; Stewart-Ibarra, Anna M.; Weikel, Daniel Cited in: 3 Publications (2018–2021) Related Software: laGP; FRK; Stan; GitHub; S-PLUS; R Main Fields: (62P10-XX); (62M20-XX); (62M30-XX)
VeriFast Software Authors: Bart Jacobs; Jan Smans; Frank Piessens Cited in: 61 Publications (2009–2022) Related Software: Boogie; Dafny; z3; Why3; jStar; Smallfoot; … Main Fields: –
VipTool Software Authors: Bergenthum, R., Desel, J., Lorenz, R., Mauser, S. Cited in: 12 Publications (2008–2022) Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; … Main Fields: –