×

Found 153 Software Packages (Results 1–100)

Bandera

Software Authors:   Hatcliff, John; Dwyer, Matthew
Cited in: 104 Publications (2000–2018)
Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

GROOVE

Software Authors:   Kastenberg, H., Rensink, A.
Cited in: 42 Publications (2004–2020)
Related Software: AGG; SPIN; CheckVML; GrGen; Bogor; PROGRES; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

AGG

Software Authors:   Gabriele Taentzer
Cited in: 40 Publications (2004–2021)
Related Software: GROOVE; PROGRES; VIATRA2; GrGen; AToM3; Henshin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Cited in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Miniball

Software Authors:   Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis
Cited in: 46 Publications (2001–2023)
Related Software: SDPT3; SeDuMi; CGAL; gmp; Matlab; AS 307; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

PcGets

Software Authors:   Perez-Amaral, Teodosio; Gallo, Giampiero M.; White, Halbert
Cited in: 45 Publications (2000–2021)
Related Software: PcGive; Ox; ElemStatLearn; AIM@SHAPE; R; Stata; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

GHC

Software Authors:   Ueda, Kazunori
Cited in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

VIATRA2

Software Authors:   Varró, Dániel; Balogh, András
Cited in: 18 Publications (2006–2019)
Related Software: PROGRES; AGG; Graph transformation benchmarks; VPM; AToM3; GROOVE; …
Main Fields: Computer science (68-XX)

AToM3

Software Authors:   de Lara, Juan; Vangheluwe, Hans
Cited in: 13 Publications (2002–2013)
Related Software: AGG; VIATRA2; DiaGen; PROGRES; VPM; SMART_; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

DeepFace

Software Authors:   Taigman Y, Yang M, Ranzato M, Wolf L.
Cited in: 28 Publications (2015–2022)
Related Software: ImageNet; AlexNet; FaceNet; Adam; GNMT; darch; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

vsn

Software Authors:   Wolfgang Huber, Anja von Heydebreck, Dennis Kostka, David Kreil, Hans-Ulrich Klein, Robert Gentleman, Deepayan Sarkar and Gordon Smyth
Cited in: 22 Publications (2003–2019)
Related Software: R; Bioconductor; sma; gcrma; affy; clusfind; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

DiaGen

Software Authors:   Minas, Mark; Viehstaedt, G.
Cited in: 24 Publications (1997–2015)
Related Software: GenGED; AToM3; PROGRES; AGG; GrGen; VIATRA2; …
Main Fields: Combinatorics (05-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

flowClust

Software Authors:   Raphael Gottardo; Kenneth Lo; Greg Finak
Cited in: 17 Publications (2012–2022)
Related Software: Bioconductor; R; flowCore; mclust; mixsmsn; Emmixuskew; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ATL

Software Authors:   Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan
Cited in: 11 Publications (2008–2021)
Related Software: HOL-OCL; Maude; UML2Alloy; Henshin; AGG; VIATRA2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FSDA

Software Authors:   Riani M, Perrotta D, Torti F
Cited in: 22 Publications (2013–2022)
Related Software: robustbase; TCLUST; R; mvBACON; rrcov; mclust; …
Main Fields: Statistics (62-XX)

NICE

Software Authors:   Laurent Dinh, David Krueger, Yoshua Bengio
Cited in: 18 Publications (2016–2022)
Related Software: Glow; Adam; ImageNet; Python; torchdiffeq; AlexNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

OpenAD/F

Software Authors:   Utke, Jean; Naumann, Uwe; Fagan, Mike; Tallent, Nathan; Strout, Michelle Mills; Heimbach, Patrick; Hill, Chris; Wunsch, Carl
Cited in: 23 Publications (2007–2022)
Related Software: TAPENADE; ADIFOR; ADOL-C; revolve; ADIC; TAF; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Cited in: 24 Publications (2010–2022)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

goodwin.f77

Software Authors:   Crouch EAC, Spiegelman D.
Cited in: 22 Publications (1990–2019)
Related Software: R; relibpls8; BLINPLUS; SAS; glmmAK; Multsurr; …
Main Fields: Special functions (33-XX); Statistics (62-XX); Numerical analysis (65-XX)

VAMPnets

Software Authors:   Andreas Mardt, Luca Pasquali, Hao Wu, Frank Noé
Cited in: 22 Publications (2019–2022)
Related Software: PDE-Net; torchdiffeq; TensorFlow; SINDy; GAIO; PRMLT; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)

GrGen

Software Authors:   Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam
Cited in: 15 Publications (2006–2020)
Related Software: GROOVE; AGG; PROGRES; Graph transformation benchmarks; Fujaba; VIATRA2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MobileNetV2

Software Authors:   Mark Sandler, Andrew Howard, Menglong Zhu, Andrey Zhmoginov, Liang-Chieh Chen
Cited in: 12 Publications (2020–2022)
Related Software: ImageNet; ShuffleNet; MobileNets; AlexNet; Xception; EfficientNet; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GXL

Software Authors:   Holt, Richard C.; Schürr, Andy; Sim, Susan Elliott; Winter, Andreas
Cited in: 9 Publications (2002–2018)
Related Software: PROGRES; SPIN; GROOVE; VIATRA2; GrGen; AGG; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

basta

Software Authors:   Fryzlewicz, P.; Rao, S. Subba
Cited in: 17 Publications (2013–2022)
Related Software: wbs; R; CRAN; breakfast; factorcpt; wbsts; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

DAEPACK

Software Authors:   Tolsma, J. E.; P. I. Barton
Cited in: 17 Publications (2002–2019)
Related Software: DASSL; DASPK 3.0; SNOPT; GAMS; BARON; ADIFOR; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX)

Worm plot

Software Authors:   Stef van Buuren; Miranda Fredriks
Cited in: 17 Publications (2006–2022)
Related Software: GAMLSS; R; gamair; GMRFLib; cobs; quantreg; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

factorcpt

Software Authors:   Matteo Barigozzi, Haeran Cho, Piotr Fryzlewicz
Cited in: 13 Publications (2018–2022)
Related Software: wbs; basta; R; FreSpeD; CRAN; breakfast; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Henshin

Software Authors:   Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer
Cited in: 12 Publications (2012–2021)
Related Software: AGG; GROOVE; PRISM; Maude; Isabelle/HOL; GrGen; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

rCOS

Software Authors:   Liu, Zhiming; Morisset, Charles; Stolz, Volker
Cited in: 12 Publications (2007–2016)
Related Software: Z; SPIN; Circus; UNITY; ESC/Java; PACC starter kit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UML2Alloy

Software Authors:   Anastasakis, K., Bordbar, B., Georg, G., Ray, I
Cited in: 6 Publications (2008–2015)
Related Software: HOL-OCL; ATL; Maude; Kermeta; AGG; z3; …
Main Fields: Computer science (68-XX)

CheckVML

Software Authors:   Ákos Schmidt, Dániel Varró
Cited in: 8 Publications (2004–2019)
Related Software: SPIN; GROOVE; Bogor; Augur 2; PROGRES; Fujaba; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

CAESAR

Software Authors:   Hubert Garavel; Wendelin Serwe; INRIA Rhone-Alpes
Cited in: 10 Publications (2004–2021)
Related Software: CADP; caesar.bdd; NUPN_INFO; Exp.Open; SPIN; M-TREE; …
Main Fields: Computer science (68-XX)

Interrogator

Software Authors:   Jonathan K Millen
Cited in: 8 Publications (1998–2013)
Related Software: PVS; Isabelle/HOL; OFMC; Casper; NRL; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MTT

Software Authors:   Gawthrop, P.J.; Marrison, N.A.; Smith, L.
Cited in: 11 Publications (1992–2019)
Related Software: bond_graph_cardiac_AP; Octave; Model Transformation Tools; REDUCE; Fractional Order Chaotic Systems; Metatool; …
Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Cited in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

FFJORD

Software Authors:   Will Grathwohl, Ricky T. Q. Chen, Jesse Bettencourt, Ilya Sutskever, David Duvenaud
Cited in: 8 Publications (2019–2022)
Related Software: torchdiffeq; Glow; ANODEs; PyTorch; MADE; PixelCNN++; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

MOMENT2

Software Authors:   Artur Boronat; Peter Csaba Ölveczky
Cited in: 9 Publications (2010–2016)
Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

mlt

Software Authors:   Torsten Hothorn
Cited in: 5 Publications (2018–2022)
Related Software: R; BB; trtf; mgcv; alabama; tramnet; …
Main Fields: Statistics (62-XX)

MOFLON

Software Authors:   Amelunxen, C., Königs, A., Rötschke, T., Schürr
Cited in: 1 Publication (2006)
Related Software: Moflon; PROGRES; VIATRA2; AGG; SelfSync; Ptolemy; …
Main Fields: Computer science (68-XX)

OMT-G

Software Authors:   Borges, Karla A.V.; Davis, Clodoveu A.jun.; Leander, Alberto H.F.
Cited in: 4 Publications (2001–2010)
Related Software: Racer; FaCT++; DB2; Oracle; DISTIL
Main Fields: Computer science (68-XX)

VSDITLU

Software Authors:   Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U.
Cited in: 9 Publications (1999–2013)
Related Software: PVS; Automath; Maple; Analytica; OMRS; AXIOM; …
Main Fields: Group theory and generalizations (20-XX); Real functions (26-XX); Computer science (68-XX)

WRF-Chem

Software Authors:   Mary Barth, Cenlin He, Alma Hodzic, Rajesh Kumar, Sasha Madronich, Gabriele Pfister
Cited in: 7 Publications (2014–2021)
Related Software: RLINE; EmissV; ncdf4; sf; cptcity; vein; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

HYST

Software Authors:   Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson
Cited in: 7 Publications (2015–2019)
Related Software: SpaceEx; CORA; C2e2; PHAVer; HyTech; dReach; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)

Kermeta

Software Authors:   Triskell Team
Cited in: 3 Publications (2006–2010)
Related Software: UML2Alloy; AToM3; SystemC; Ptolemy; ATL; Zchaff2004; …
Main Fields: Computer science (68-XX)

MCINTYRE

Software Authors:   Riguzzi, F.
Cited in: 7 Publications (2015–2019)
Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; …
Main Fields: Computer science (68-XX)

gvlma

Software Authors:   Peña, Edsel A.; Slate, Elizabeth H.
Cited in: 6 Publications (2006–2022)
Related Software: R; frm; auditor; autoplotly; corrgram; lumberjack; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

POEM

Software Authors:   Universite de Provence; Niebert, Peter; Qu, Hongyang
Cited in: 7 Publications (2006–2012)
Related Software: SPIN; IF-2.0; Uppaal; MiniSat; Checkfence; BEEM; …
Main Fields: Computer science (68-XX)

BOCK

Software Authors:   ChangYong Oh, Efstratios Gavves, Max Welling
Cited in: 5 Publications (2020–2022)
Related Software: Spearmint; SMAC; Adam; Hyperopt; Scikit; ParEGO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Horizon

Software Authors:   Jason Gauci, Edoardo Conti, Yitao Liang, Kittipat Virochsiri, Yuchen He, Zachary Kaden, Vivek Narayanan, Xiaohui Ye, Zhengxing Chen, Scott Fujimoto
Cited in: 2 Publications (2020–2021)
Related Software: OpenAI Gym; Dopamine; RLlib; Tensorforce; TensorFlow; PyTorch; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Model Transformation Tools

Software Authors:   Peter Gawthrop
Cited in: 6 Publications (1999–2020)
Related Software: MTT; Matlab; Scilab; Mathematica; Maple; DASSL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

PICNIC

Software Authors:   Greenman CD, Bignell G, Butler A, Edkins S, Hinton J, Beare D, Swamy S, Santarius T, Chen L, Widaa S, Futreal PA, Stratton MR
Cited in: 4 Publications (2010–2016)
Related Software: PLASQ; CARAT; GenoSNP; BRLMM; oligo; Repitools; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

TPtool

Software Authors:   Szabolcs Nagy; Zoltán Petres; Peter Baranyi
Cited in: 6 Publications (2014–2017)
Related Software: Qhull; YALMIP; SDPT3; Robust Control Toolbox; Matlab
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DET2STO

Software Authors:   Julien Thénié; Jean-Philippe Vial; Nidhi Sawnhey
Cited in: 5 Publications (2007–2012)
Related Software: SMPS reader; AMPL; AdaBoost.MH; CPLEX; Mosel; Python; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

dynsurv

Software Authors:   Wenjie Wang, Ming-Hui Chen, Xiaojing Wang, Jun Yan
Cited in: 2 Publications (2015–2022)
Related Software: survival; R; eha; mgcv; polspline; flexsurv; …
Main Fields: Statistics (62-XX)

GeoSysBRNS

Software Authors:   Centler, F., Shao, H., De Biase, C., Park, C.-H., Regnier, P., Kolditz, O., Thullner, M.
Cited in: 5 Publications (2013–2022)
Related Software: CrunchFlow; OpenGeoSys; PHREEQC; HYDROGEOCHEM; GEMSelektor; PhreeqcRM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

MIXREG

Software Authors:   Hedeker D, Gibbons RD
Cited in: 4 Publications (2002–2007)
Related Software: MIXOR; MLwiN; PROC NLMIXED; Formula; SAS; MIXREGLS
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PyDMD

Software Authors:   Demo, N.; Tezzele, M.; Rozza, G.
Cited in: 4 Publications (2016–2022)
Related Software: EZyRB; PyGeM; GitHub; Python; odmd; DeepONet; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)

QuSpin

Software Authors:   Phillip Weinberg, Marin Bukov
Cited in: 4 Publications (2019–2022)
Related Software: NumPy; SciPy; Cython; QuantumOptics.jl; DiracQ; QuTiP; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Verigraph

Software Authors:   Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo
Cited in: 5 Publications (2016–2021)
Related Software: AGG; AGREE; GROOVE; APIDiff; MIGRATE; EMorF; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

AGGJE

Software Authors:   Wu, S.C.; Zhang, H.O.; Zheng, C.; Zhang, J.H.
Cited in: 4 Publications (2008–2015)
Related Software: FastPCG; CUDA; LAPACK
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

FastPCG

Software Authors:   Wu, S.C.; Zhang, H.O.; Zheng, C.; Zhang, J.H.
Cited in: 4 Publications (2008–2015)
Related Software: AGGJE; CUDA; LAPACK
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

GGL

Software Authors:   Mann, M., Ekker, H., Flamm, C.
Cited in: 3 Publications (2016–2018)
Related Software: VMQL; RuleMerger; gSpan; ATL; Henshin; pgf; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

HOTB

Software Authors:   Germanas, D.; Kalinauskas, R.K.; Mickevičius, S.
Cited in: 4 Publications (2010–2017)
Related Software: Mathematica
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

LibD3C

Software Authors:   Lin C, Chen W Q, Qiu C, Wu Y F, Krishnan S, Zou Q.
Cited in: 3 Publications (2018–2019)
Related Software: Pse-in-One; LIBSVM; Armadillo; FaceNet; DeepFace; VIPLFaceNet; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

PLuTo

Software Authors:   Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.
Cited in: 4 Publications (2012–2019)
Related Software: Flamel; PIPS; v2c; SamaTulyata; GitHub; pthreads; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

RIDE

Software Authors:   Maa, J. P. Y.; Hsu, T. W.; Lee, D. Y.
Cited in: 4 Publications (2011–2017)
Related Software: na14; LINPACK
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

sngan_projection

Software Authors:   Takeru Miyato, Masanori Koyama
Cited in: 3 Publications (2020–2022)
Related Software: InfoGAN; BigGAN; AttnGAN; Wasserstein GAN; ImageNet; StyleGAN; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Uncertainpy

Software Authors:   Tennøe S, Halnes G, Einevoll GT
Cited in: 3 Publications (2019–2022)
Related Software: UQLab; Chaospy; EasyVVUQ; GitHub; SQLAlchemy; SALib; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

APSEE

Software Authors:   Lima Reis, Carla A.; Quites Reis, Rodrigo; de Abreu, Marcelo M.; Schlebbe, Heribert; Nunes, Daltro J.
Cited in: 3 Publications (2002–2010)
Related Software:
Main Fields: Computer science (68-XX)

EMorF

Software Authors:   Klassen, L., Wagner, R
Cited in: 3 Publications (2015–2020)
Related Software: AGG; TXL; AGREE; eMoflon; Verigraph; Henshin; …
Main Fields: Computer science (68-XX)

FiLM

Software Authors:   Ethan Perez, Florian Strub, Harm de Vries, Vincent Dumoulin, Aaron Courville
Cited in: 2 Publications (2020)
Related Software: Count-ception; V-Net; QuickNAT; mixup; PyTorch; U-Net; …
Main Fields: Computer science (68-XX)

FluxSimulator

Software Authors:   Thomas W. Binsl, Katharine M. Mullen, Ivo H. M. van Stokkum, Jaap Heringa, Johannes H. G. M. van Beek
Cited in: 0 Publications
Related Software: R; VCNet; edgeR; ARACNE; DEseq; JDINAC; …
Main Fields:

Loo.py

Software Authors:   Andreas Klöckner, Lucas C. Wilcox, T. Warburton
Cited in: 3 Publications (2016–2021)
Related Software: Firedrake; vcl; LIBXSMM; Vc; TSFC; UG; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

PFCorr

Software Authors:   Bajaj, Chandrajit; Bauer, Benedikt; Bettadapura, Radhakrishna; Vollrath, Antje
Cited in: 3 Publications (2013–2021)
Related Software: NFFT3; LORM; MTEX; Chebfun2; Chebfun; F2Dock; …
Main Fields: Integral transforms, operational calculus (44-XX); Manifolds and cell complexes (57-XX); Statistics (62-XX)

ppstat

Software Authors:   Hansen, Niels Richard
Cited in: 2 Publications (2015–2018)
Related Software: R; POT; evir; MINITAB; SPSS; ismev; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

RuleMerger

Software Authors:   Strüber, Daniel; Rubin, Julia; Arendt, Thorsten; Chechik, Marsha; Taentzer, Gabriele; Plöger, Jennifer
Cited in: 3 Publications (2016–2019)
Related Software: Henshin; VMQL; GGL; gSpan; AGG; ATL; …
Main Fields: Computer science (68-XX)

S-Cluster++

Software Authors:   Yan, H., Gunawan, A.D., Zhang, L.
Cited in: 3 Publications (2019–2021)
Related Software: tcp_package; ExaBayes; ExaML; MulRF; iGTP; GASTS; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

Thermo-Calc

Software Authors:   Thermo-Calc Software; Sundman, B.; Jansson, B.; Andersson, J. O.
Cited in: 3 Publications (2010–2017)
Related Software: USPEX; Qhull; DICTRA; popLA; ABAQUS
Main Fields: Mechanics of deformable solids (74-XX); Statistical mechanics, structure of matter (82-XX)

TransModel

Software Authors:   Jie Zhou, Jiajia Zhang, Wenbin Lu
Cited in: 1 Publication (2019)
Related Software: mlt; survival; R; CRAN; mgcv; BB; …
Main Fields: Statistics (62-XX)

ADG

Software Authors:   Qiang Cheng; Chong Qing
Cited in: 2 Publications (2009–2012)
Related Software: TAF; mctoolbox; Odyssee; PETSc; ADIFOR; Mathematica; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALIF

Software Authors:   Hascoët, Laurent; Morlighem, M.
Cited in: 2 Publications (2018)
Related Software: OpenAD/F; TAPENADE; Matlab; Rapsodia; MEX-file; mexFunction; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)

ARGUS

Software Authors:   Geldermann, Jutta; Avci, Nurten; Wenzel, Stefan; Rentz, Otto
Cited in: 2 Publications (2003)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX)

BIO Phylo

Software Authors:   Vos, R.A.; Caravas, J.; Hartmann, K.; Jensen, M.A.; Miller, C.
Cited in: 1 Publication (2017)
Related Software: PERL; ape; FairShapley; GEIGER; bioperl; phytools; …
Main Fields: Biology and other natural sciences (92-XX)

CentroidAlign

Software Authors:   –
Cited in: 1 Publication (2015)
Related Software: Minimus; EMIRGE; ViennaRNA; TagCleaner; OligoWalk; OptiRNAi; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

EmbryoMaker

Software Authors:   Marin-Riera, M., Brun-Usan, M., Zimm, R., Välikangas, T., Salazar-Ciudad, I.
Cited in: 1 Publication (2019)
Related Software: CompuCell3D; CellSys; Microvessel Chaste; Morpheus; VirtualLeaf; Biocellion; …
Main Fields: Biology and other natural sciences (92-XX)

FAMOUS

Software Authors:   Hanss, M., Walz, N.P., Universität Stuttgart
Cited in: 2 Publications (2018–2019)
Related Software: Morembs; Matlab
Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Farfel

Software Authors:   Radul, Alexey; Pearlmutter, Barak A.; Siskind, Jeffrey Mark
Cited in: 2 Publications (2012–2017)
Related Software: TAPENADE; ADIFOR; DiffSharp; Stan
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

felsdvreg

Software Authors:   Thomas Cornelissen
Cited in: 1 Publication (2016)
Related Software: reghdfe; Stata; FENmlm; ppmlhdfe; REG2HDFE; A2REG
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

flexcircmix

Software Authors:   Mulder, Kees; Klugkist, Irene; van Renswoude, Daan; Visser, Ingmar
Cited in: 2 Publications (2020–2021)
Related Software: movMF; R; shapes; sphunif; bpDir; season; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

georob

Software Authors:   Andreas Papritz, Cornelia Schwierz
Cited in: 1 Publication (2020)
Related Software: R; nlme; heavy; CRAN Task Views; lqmm; xtable; …
Main Fields: Statistics (62-XX); Geophysics (86-XX)

GMTE

Software Authors:   Hannachi, Mohamed Amine; Bouassida Rodriguez, Ismael; Drira, Khalil; Pomares Hernandez, Saul Eduardo
Cited in: 2 Publications (2013–2019)
Related Software: jLibBig; AToM3; GraphML; AGG
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

GofKmt

Software Authors:   Jiwoong Kim
Cited in: 2 Publications (2004–2009)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

JAP

Software Authors:   Pham-Quang, Phuong; Delinchant, Benoit
Cited in: 2 Publications (2012–2020)
Related Software: Matlab; ADiJaC; dco/c++; AlgoPy; DiffSharp; DNAD; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

JointModel

Software Authors:   Sehee Kim
Cited in: 1 Publication (2020)
Related Software: CHOLMOD; SuperLU; WSMP; MUMPS; JMbayes; PARDISO; …
Main Fields: Statistics (62-XX)

JSM

Software Authors:   Cong Xu, Pantelis Z. Hadjipantelis, Jane-Ling Wang
Cited in: 1 Publication (2020)
Related Software: joineR; joineRML; JM; GitHub; JointModel; merlin; …
Main Fields: Statistics (62-XX)

JSXM

Software Authors:   Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Computer science (68-XX)

JTransformer

Software Authors:   Günter Kniesel, Fabian Noth, Andreas Becker, et al.
Cited in: 0 Publications
Related Software: PAG; Simian; CloneDifferentiator; ARIES; Cultivate
Main Fields:

LightGCN

Software Authors:   Xiangnan He, Kuan Deng, Xiang Wang, Yan Li, Yongdong Zhang, Meng Wang
Cited in: 1 Publication (2021)
Related Software: Cornac; RiVal; DeepStyle; Implicit; RankSys; RecQ; …
Main Fields: Computer science (68-XX)

MatTransMix

Software Authors:   Xuwen Zhu, Volodymyr Melnykov, Shuchismita Sarkar, Michael Hutt, Stephen Moshier, Rouben Rostamian, Carl Edward Rasmussen, Dianne Cook
Cited in: 2 Publications (2021–2022)
Related Software: R
Main Fields: Statistics (62-XX)

mctau

Software Authors:   Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
Cited in: 1 Publication (2013)
Related Software: Uppaal; PHAVer; SpaceEx; HSolver; Benchmarks; RSOLVER; …
Main Fields: Computer science (68-XX)