×

Found 23 Software Packages (Results 1–23)

VeriFast

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

smacof

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

KYST

Software Authors:   Kruskal, J.B; Young, F.W; Seery, J.B
Referenced 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)

VipTool

Software Authors:   Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.
Referenced in: 12 Publications (2008–2022)
Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; …
Main Fields: Computer science (68-XX)

M-nets

Software Authors:   Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
Referenced in: 10 Publications (1998–2012)
Related Software: Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; …
Main Fields: Computer science (68-XX)

Catfact

Software Authors:   R. G. Cowell; F. J. Wright
Referenced 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)

rTensor

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

Cunf

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

Mole

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

ACSAR

Software Authors:   Seghir, M.N., Podelski, A.
Referenced in: 3 Publications (2009–2011)
Related Software: SLAM; SatAbs; SIMPLIFY; PVS; ARMC
Main Fields: Computer science (68-XX)

CUPSAT

Software Authors:   Vijaya Parthiban, M. Michael Gromiha, Dietmar Schomburg
Referenced 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)

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
Referenced 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)

tntorch

Software Authors:   Rafael Ballester-Ripoll
Referenced in: 0 Publications
Related Software: TensorLy; TensorFlow; t3f; PyTorch; TensorNetwork; TensorD; …
Main Fields: Computer science (68-XX)

Unfolding

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

UnfoldPolytope

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

Libunfold

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

MCLLH

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

MultiUbic

Software Authors:   Beggiato, A.
Referenced 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
Referenced in: 0 Publications
Related Software: CASTEP; QuantumATK; scikit-image; MayaVi; pymatgen; BoltzTraP2; …
Main Fields:

PyUnfold

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

RooUnfold

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

Skip RNN

Software Authors:   Victor Campos, Brendan Jou, Xavier Giro-i-Nieto, Jordi Torres, Shih-Fu Chang
Referenced in: 0 Publications
Related Software: IMDB; UCF101; Zoneout; Clockwork RNN; Adam; ImageNet; …
Main Fields:

unfoldr

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