Found 23 Software Packages (Results 1–23)


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)


Software Authors:   R. G. Cowell; F. J. Wright
Cited in: 6 Publications (1989–2005)
Related Software: SINGULAR; Macaulay2; Transversal; Maple; moregroebner; symmetry; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Global analysis, analysis on manifolds (58-XX)


Software Authors:   César Rodríguez, Stefan Schwoon
Cited in: 5 Publications (2012–2021)
Related Software: SPIN; NuSMV; PRISM; Graphplan; SATzilla; z3; …
Main Fields: Computer science (68-XX)


Software Authors:   Vijaya Parthiban, M. Michael Gromiha, Dietmar Schomburg
Cited in: 2 Publications (2012–2016)
Related Software: PoPMuSiC; AUTO-MUTE; PlantTFDB; eggNOG; ELM; dbCAN; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)


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: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)


Software Authors:   A. László
Cited in: 1 Publication (2016)
Related Software: RooUnfold; GSL
Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX)


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: Computer science (68-XX)


Software Authors:   Argüelles, C. A.; Schneider, A.; Yuan, T.
Cited in: 1 Publication (2019)
Related Software: HistFactory; GitHub; emcee
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Astronomy and astrophysics (85-XX)


Software Authors:   S. Schwoon
Cited in: 5 Publications (2002–2017)
Related Software: Punf; PEP; Cunf
Main Fields: Computer science (68-XX)


Software Authors:   Beggiato, A.
Cited in: 1 Publication (2018)
Related Software: Anica; PEP
Main Fields: Computer science (68-XX)


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:


Software Authors:   James Bourbeau, Zigfried Hampel-Arias
Cited in: 0 Publications
Related Software: ROOT; Python
Main Fields:


Software Authors:   Tim Adye
Cited in: 1 Publication (2016)
Related Software: Libunfold; GSL
Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX)


Software Authors:   James Li; Jacob Bien; Martin Wells
Cited in: 5 Publications (2020–2022)
Related Software: reticulate; difNLR; microbenchmark; SymPy; odeintr; pracma; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Statistics (62-XX)

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:


Software Authors:   Jan de Leeuw, Patrick Mair
Cited in: 26 Publications (1997–2022)
Related Software: R; SPSS; PROXSCAL; homals; Mcmcpack; JAGS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)


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)


Software Authors:   Nagel, Till; Klerkx, Joris; Vande Moere, Andrew; Duval, Erik
Cited in: 0 Publications
Related Software: OpenStreetMap; geoMap; Polymaps; Leaflet; Prefuse
Main Fields:


Software Authors:   M. Namiki, K. Fukuda
Cited in: 2 Publications (2003)
Related Software: Mathematica
Main Fields: Convex and discrete geometry (52-XX); Computer science (68-XX)


Software Authors:   Markus Baaske, Felix Ballani
Cited in: 0 Publications
Related Software:
Main Fields:


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: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Geophysics (86-XX)


Software Authors:   Bart Jacobs; Jan Smans; Frank Piessens
Cited in: 61 Publications (2009–2022)
Related Software: Boogie; Dafny; z3; Why3; jStar; Smallfoot; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)


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: Computer science (68-XX)