×

Found 118 Software Packages (Results 1–100)

bootlib

Software Authors:   Angelo Canty; Davison, A. C. Au; Hinkley, D. V.
Cited in: 457 Publications (1997–2022)
Related Software: bootstrap; R; boot; KernSmooth; Ox; ismev; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

redbKIT

Software Authors:   Quarteroni, Alfio; Manzoni, Andrea; Negri, Federico
Cited in: 272 Publications (2014–2022)
Related Software: rbMIT; GitHub; Adam; FEniCS; Loewner; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

VTK

Software Authors:   W. Schroeder, L. Avila, K. Martin, W. Hoffman, C. Law
Cited in: 74 Publications (2000–2022)
Related Software: ParaView; Python; NumPy; SciPy; Gmsh; Matplotlib; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

CALMA

Software Authors:   Aardal, Karen; Hurkens, Cor; Lenstra, Jan Karel; Tiourine, Sergey
Cited in: 102 Publications (1999–2022)
Related Software: CPLEX; Tabu search; DIMACS; FASoft; Algorithm 457; ABACUS; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Eigentaste

Software Authors:   Goldberg, Ken; Roeder, Theresa; Gupta, Dhruv; Perkins, Chris
Cited in: 47 Publications (2001–2022)
Related Software: MovieLens; SDPT3; PROPACK; ADMiRA; softImpute; SDPLR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Cited in: 45 Publications (2009–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)

BILUTM

Software Authors:   Saad, Yousef; Zhang, Jun
Cited in: 40 Publications (1999–2021)
Related Software: BILUM; ILUM; ARMS; ILUT; SparseMatrix; pARMS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Cited in: 33 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Maude-NPA

Software Authors:   Escobar, Santiago; Meadows, Catherine Author Profile; Meseguer, José; Santiago, Sonia
Cited in: 31 Publications (2009–2022)
Related Software: Maude; AVISPA; TAMARIN; MTT; YAPA; NRL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Cited in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SINDy

Software Authors:   Loiseau, Jean-Christophe; Brunton, Steven L.
Cited in: 31 Publications (2017–2022)
Related Software: redbKIT; Nek5000; PDE-Net; VAMPnets; Adam; Loewner; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

ValEncIA-IVP

Software Authors:   Andreas Rauh; Eberhard P. Hofer; Ekaterina Auer
Cited in: 30 Publications (2008–2022)
Related Software: ValEncIA; Cosy; FADBAD++; SmartMobile; VNODE; PROFIL/BIAS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

frlib

Software Authors:   Permenter F, Parrilo PA
Cited in: 28 Publications (2015–2022)
Related Software: SPOTless; SeDuMi; Mosek; SDPT3; Sieve-SDP; SDPA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Cited in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

LoLA

Software Authors:   Schmidt, Karsten; Wolf, K.
Cited in: 25 Publications (2000–2021)
Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Algorithm 913

Software Authors:   M. B. van Gijzen; P. Sonneveld
Cited in: 23 Publications (2011–2020)
Related Software: BiCGstab; CGS; GpBiCg; SparseMatrix; IFISS; JDQZ; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Cited in: 19 Publications (2011–2022)
Related Software: SPIN; DiVinE; Uppaal; NuSMV; CADP; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GAP

Software Authors:   Wu, H.; Tien, Y.; Chen, C.
Cited in: 18 Publications (2002–2019)
Related Software: seriation; PermutMatrix; R; UCI-ml; ggplot2; Silhouettes; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GLOPT

Software Authors:   Dallwig, S.; Neumaier, A.; Schichl, H.
Cited in: 19 Publications (1997–2010)
Related Software: INTOPT_90; Numerica; BARON; MINOS; GAMS; Global Optimization Toolbox For Maple; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

SCR

Software Authors:   Bourguiba, Imen; Moa, Belaid
Cited in: 10 Publications (2000–2018)
Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ValEncIA

Software Authors:   Rauh, A. ;Hofer, E.P.; Auer, E.
Cited in: 19 Publications (2008–2020)
Related Software: ValEncIA-IVP; Cosy; FADBAD++; PROFIL/BIAS; SmartMobile; INTLAB; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

FODD-Planner

Software Authors:   Joshi, S.; Khardon, R.
Cited in: 13 Publications (2008–2021)
Related Software: FluCaP; Graphplan; ProbLog; GOLOG; PEORL; REBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QUAD

Software Authors:   Berbain, Côme; Gilbert, Henri; Patarin, Jacques
Cited in: 15 Publications (2006–2020)
Related Software: McEliece; eSTREAM; ZHFE; CUDA; SNOW; Scream; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

March_eq

Software Authors:   Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
Cited in: 13 Publications (2005–2021)
Related Software: MiniSat; Chaff; Lingeling; Plingeling; SATO; CaDiCaL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

SenticNet

Software Authors:   Cambria E., Speer R., Havasi C., Hussain A.
Cited in: 5 Publications (2017–2022)
Related Software: SentiWordNet; ConceptNet; WordNet; IMDB; Cohn-Kanade; NUS-WIDE; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

ORB5

Software Authors:   Jolliet, S.; Bottino, A.; Angelino, P.; Hatzky, R.; Tran, T.; Mcmillan, B.; Sauter, O.; Appert, K.; Idomura, Y.; Villard, L.
Cited in: 13 Publications (2008–2022)
Related Software: gs2; GYSELA; MUMPS; XTOR; CHEASE; GENE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BoTorch

Software Authors:   Maximilian Balandat, Brian Karrer, Daniel R. Jiang, Samuel Daulton, Benjamin Letham, Andrew Gordon Wilson, Eytan Bakshy
Cited in: 10 Publications (2021–2022)
Related Software: PyTorch; Hyperband; SMAC; Adam; Spearmint; GPflowOpt; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Isomap

Software Authors:   Tenenbaum, J. B., V. de Silva, J. C. Langford
Cited in: 10 Publications (2007–2019)
Related Software: UCI-ml; R; Spalart-Allmaras; TAU; fc; Algorithm 97; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Fluid mechanics (76-XX)

SE-Sync

Software Authors:   David M. Rosen, Luca Carlone, Afonso S. Bandeira, John J. Leonard
Cited in: 12 Publications (2018–2022)
Related Software: SDPLR; iSAM2; CVX; GitHub; TEASER++; Manopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SeaSign

Software Authors:   De Feo, Luca; Galbraith, Steven D.
Cited in: 12 Publications (2019–2022)
Related Software: GitHub; SageMath; Magma; fpLLL; fpylll; gmp; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

GIST

Software Authors:   Chatterjee, K., Henzinger, T.A., Jobstmann, B., Radhakrishna, A.
Cited in: 8 Publications (2012–2022)
Related Software: PRISM; PRISM-games; GAVS; MCMAS; MOCHA; EAGLE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ALBERT

Software Authors:   Zhenzhong Lan, Mingda Chen, Sebastian Goodman, Kevin Gimpel, Piyush Sharma, Radu Soricut
Cited in: 5 Publications (2021–2022)
Related Software: BERT; RoBERTa; XLNet; Transformers; SQuAD; GLUE; …
Main Fields: Computer science (68-XX)

Rebeca

Software Authors:   Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
Cited in: 8 Publications (2010–2022)
Related Software: Uppaal; Creol; Timed Rebeca; SPIN; Viptos; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SOCRATES

Software Authors:   Schulz, M., Trischler, E., Sarfert, T.
Cited in: 9 Publications (1992–2018)
Related Software: BerkMin; Chaff; MiniSat; PASSAT; HITEC; HANNIBAL; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

UNU.RAN

Software Authors:   Josef Leydold
Cited in: 9 Publications (2003–2017)
Related Software: R; Runuran; GSL; QUADPACK; NIST Statistical Test Suite; Monty Python; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

cmenet

Software Authors:   Simon Mak, C. F. Jeff Wu
Cited in: 7 Publications (2018–2020)
Related Software: sparsenet; R; glmnet; CRAN; L0Learn; foba; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

dse

Software Authors:   Paul Gilbert
Cited in: 3 Publications (2008–2022)
Related Software: R; KFAS; dlm; forecast; FKF; Stem; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MODTRAN

Software Authors:   Wang, P.; Liu, Karen Y.; Cwik, Tom; Green, Robert
Cited in: 5 Publications (2002–2007)
Related Software: Handel-C; ENVI; Xilinx; MPI; MPI/MPICH; HeteroMPI; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

WavePacket

Software Authors:   Burkhard Schmidt, Ulf Lorenz, Carsten Hartmann
Cited in: 4 Publications (2009–2020)
Related Software: QuTiP; Matlab; MCTDH; QEngine; Nevergrad; NLopt; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

dr

Software Authors:   van der Maaten, L.
Cited in: 6 Publications (2014–2021)
Related Software: SPGL1; UCI-ml; Matlab; SpaSM; MMST; LDRTools; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Geoxp

Software Authors:   Yves Aragon, Thibault Laurent, Lauriane Robidou, Anne Ruiz-Gazen, Christine Thomas-Agnan
Cited in: 2 Publications (2013–2017)
Related Software: R; spacetime; gstat; RandomFields; geoR; stpp; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MUSCOP

Software Authors:   Potschka, Andreas
Cited in: 7 Publications (2001–2021)
Related Software: NewtonLib; ADOL-C; UFL; FEniCS; DOLFIN; MUMPS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX)

Rapture

Software Authors:   Jeannet B, dArgenio P, Larsen K
Cited in: 7 Publications (2005–2020)
Related Software: PRISM; PARAM; PROPhESY; MRMC; PASS; LiQuor; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GLie

Software Authors:   M.A. Ayari, V. Hussin
Cited in: 6 Publications (1992–2006)
Related Software: SYMMGRP.MAX; Maple
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)

GRKLib

Software Authors:   Olivier Bouissou , Matthieu Martel
Cited in: 6 Publications (2009–2018)
Related Software: Hybrid Trace Verifier; S-TaLiRo; VERICOMP; DynIbex; SCOTS; Flow*; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nagoya Termination Tool

Software Authors:   Yamada, A., Kusakari, K., Sakabe, T.
Cited in: 6 Publications (2014–2019)
Related Software: Tyrolean; AProVE; CeTA; Isabelle/HOL; TPA; CoCoWeb; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PAROC

Software Authors:   Pistikopoulos, E. N.; Diangelakis, N. A.; Oberdieck, R.; Papathanasiou, M. M.; Nascu, I.; Sun, M.
Cited in: 6 Publications (2015–2021)
Related Software: POP; ANTIGONE; MPT; ARGONAUT; SageMath; YALMIP
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Spin-to-Grape

Software Authors:   Donaldson, Alastair; Miller, Alice; Calder, Muffy
Cited in: 6 Publications (2005–2010)
Related Software: SPIN; nauty; SymmSpin; TopSpin; GAP; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

AMC

Software Authors:   Yihui He, Ji Lin, Zhijian Liu, Hanrui Wang, Li-Jia Li, Song Han
Cited in: 3 Publications (2020–2021)
Related Software: Python; ImageNet; Adam; Spearmint; Hyperopt; DADA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)

GYutsis

Software Authors:   Van Dyck, D.; Fack, V.
Cited in: 5 Publications (2004–2021)
Related Software: RACAH; NJGRAF; NEWGRAPH; plantri; nauty; COEFANG1; …
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Computer science (68-XX)

na8

Software Authors:   Krajewski, W.; Lepschy, A.; Redivo-Zaglia, M.; Viaro, U.
Cited in: 5 Publications (1995–2020)
Related Software: benchmodred; Matlab
Main Fields: Numerical analysis (65-XX); Systems theory; control (93-XX)

Charlie

Software Authors:   Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry
Cited in: 2 Publications (2015–2017)
Related Software: SNOOPY; SNAKES; ANDy; ZBDD; SABRE; MARCIE; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ClusCorr98

Software Authors:   Hans-Joachim Mucha
Cited in: 4 Publications (1992–2005)
Related Software: Excel
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Information and communication theory, circuits (94-XX)

COMBAT

Software Authors:   Mavrotas, G.; Georgopoulou, E.; Mirasgedis, S.; Sarafidis, Y.; Lalas, D.; Hontou, V.; Gakis, N.
Cited in: 4 Publications (2009–2011)
Related Software: GAMS; ADELAIS; IPSSIS
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

DECIS

Software Authors:   Gerd Infanger
Cited in: 4 Publications (2007–2013)
Related Software: GAMS; CPLEX; SUTIL; NEOS; XPRESS
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Mathematics education (97-XX)

Honey badger algorithm

Software Authors:   Hashim, Fatma A.; Houssein, Essam H.; Hussain, Kashif; Mabrouk, Mai S.; Al-Atabany, Walid
Cited in: 4 Publications (2022)
Related Software: WOA; SSA; ALO; AOA; AHA; GWO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Rdimtools

Software Authors:   Kisung You, Changhee Suh
Cited in: 0 Publications
Related Software: Scikit; Python; ider; coRanking; RcppArmadillo; Rcpp; …
Main Fields:

SCOOP

Software Authors:   Mark Timmer
Cited in: 4 Publications (2012–2017)
Related Software: CADP; PRISM; MAMA
Main Fields: Computer science (68-XX)

FRAPP

Software Authors:   Shipra Agrawal, Jayant R. Haritsa, B. Aditya Prakash
Cited in: 2 Publications (2011–2018)
Related Software: RAPPOR; XMark; C4.5
Main Fields: Statistics (62-XX); Computer science (68-XX)

HSL_MA79

Software Authors:   J. D. Hogg; J. A. Scott
Cited in: 3 Publications (2010–2018)
Related Software: mctoolbox; LAPACK; SparseMatrix; MA57; PLASMA; MAGMA; …
Main Fields: Numerical analysis (65-XX)

Koblitz curves

Software Authors:   Oliveira, Thomaz; López; Cervantes-Vázquez, Daniel; Rodríguez-Henríquez, Francisco
Cited in: 3 Publications (2019–2021)
Related Software: Magma; qDSA; KummerLineV02; Curve25519; GitHub; eBACS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

MFclass

Software Authors:   Sahli Costabal, Francisco; Perdikaris, Paris; Kuhl, Ellen; Hurtado, Daniel E.
Cited in: 3 Publications (2019–2022)
Related Software: ABAQUS; GitHub
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Mechanics of deformable solids (74-XX)

NET-SYNTHESIS

Software Authors:   Kachalo S, Zhang R, Sontag E et al
Cited in: 2 Publications (2009–2018)
Related Software: STRINGdb; ANIMO; PRS; SMPDB; PathCellNet; GNAT; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

pFaces

Software Authors:   Khaled, Mahmoud; Zamani, Majid
Cited in: 3 Publications (2019–2020)
Related Software: ROCS; SCOTS; CoSyma; StocHy; AMYTISS; SReachTools; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

REMSO

Software Authors:   Codas, A.
Cited in: 3 Publications (2017–2022)
Related Software: MRST; ECLIPSE; FieldOpt; DFO; MRST-AD; GitHub
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Geophysics (86-XX); Operations research, mathematical programming (90-XX)

SparseRC

Software Authors:   R. Ionutiu, J. Rommes, W. H. A. Schilders
Cited in: 3 Publications (2017–2021)
Related Software: MORPACK; sssMOR; MORE; Morembs; MORLAB; Loewner; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

sprfn

Software Authors:   Plaisted, David A.; Potter, Richard C.
Cited in: 3 Publications (1988–1993)
Related Software: NQTHM; Nuprl; HOL; Isabelle/ZF; Isabelle; Coq
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Tree Automata

Software Authors:   Peter Lammich
Cited in: 3 Publications (2012–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Light-weight Containers; CeTA; Isabelle; Real_Impl; …
Main Fields: Computer science (68-XX)

VerX

Software Authors:   Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M.
Cited in: 3 Publications (2021–2022)
Related Software: solc-verify; Manticore; SeaHorn; DeepSEA; ABCL; ABS; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Divvy

Software Authors:   Joshua M. Lewis; Virginia R. de Sa; Laurens van der Maaten
Cited in: 1 Publication (2019)
Related Software: GloVe; SRASS; E-KRHyper; YAGO; ConceptNet; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ELRAFT

Software Authors:   S. N. Semanderes
Cited in: 2 Publications (1978–1994)
Related Software: FATRAM; PREP/KITT; MOCUS; CRESSEX; PAFT F77; FAMOCUTN
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

FlinkCL

Software Authors:   Chen, Cen; Li, Kenli; Ouyang, Aijia; Li, Keqin
Cited in: 2 Publications (2018–2020)
Related Software: Spark; Hadoop; MapReduce
Main Fields: Computer science (68-XX)

HyperTools

Software Authors:   Andrew C. Heusser, Kirsten Ziman, Lucy L. W. Owen, Jeremy R. Manning
Cited in: 0 Publications
Related Software: Python; Seaborn; AS 136; Scikit; pandas; NumPy; …
Main Fields:

Kuai

Software Authors:   Majumdar, R., Tetali, S.D., Wang, Z.
Cited in: 2 Publications (2019–2021)
Related Software: Anteater; VeriCon; VeriFlow; ABS; Syco; NetKAT; …
Main Fields: Computer science (68-XX)

LIMPIC

Software Authors:   Dante Mantini, Francesca Petrucci, Damiana Pieragostino, Piero Del Boccio, Marta Di Nicola, Carmine Di Ilio, Giorgio Federici, Paolo Sacchetta, Silvia Comani, Andrea Urbani
Cited in: 1 Publication (2020)
Related Software: ExPASy; GenBank; UniProt; PhysioToolkit; Xilinx; FastICA; …
Main Fields: Biology and other natural sciences (92-XX)

NeatMap

Software Authors:   Satwik Rajaram; Yoshi Oono
Cited in: 1 Publication (2018)
Related Software: ggplot2; R; betapart; INMEX; HMP; MetamicrobiomeR; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

ParCrunchFlow

Software Authors:   Beisman, James J.; Maxwell, Reed M.; Navarre-Sitchler, Alexis K.; Steefel, Carl I.; Molins, Sergi
Cited in: 2 Publications (2015–2020)
Related Software: CrunchFlow; PFLOTRAN; HYDROGEOCHEM; PROOST; FEniCS-Reaktoro; MIN3P-THCm; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Geophysics (86-XX)

ParELAGMC

Software Authors:   Lawrence Livermore National Laboratory; Sarah Osborn
Cited in: 2 Publications (2021)
Related Software: ParElag; GitHub; GLVis; MFEM; hypre
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PARTS

Software Authors:   Buy, U.; Sloan, R.H.
Cited in: 2 Publications (2001–2006)
Related Software: Matlab; HyTech; Ada95
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

PSyHCoS

Software Authors:   André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song
Cited in: 1 Publication (2014)
Related Software: PAT; Shrinktech; PPL; Uppaal; HyTech; TREX; …
Main Fields: Computer science (68-XX)

Syco

Software Authors:   Albert, E., Gómez-Zamalloa, M., Isabel, M.
Cited in: 2 Publications (2017–2021)
Related Software: ABS; Kuai; Anteater; VeriFlow; VeriCon; NetKAT; …
Main Fields: Computer science (68-XX)

SymmExtractor

Software Authors:   Donaldson, Alastair F.; Miller, Alice
Cited in: 2 Publications (2008–2012)
Related Software: MAGIC; Threader; SymmPa; SLAM; SableCC; Featherweight Java; …
Main Fields: Computer science (68-XX)

Tapkee

Software Authors:   Lisitsyn, Sergey; Widmer, Christian; Garcia, Fernando J.Iglesias
Cited in: 1 Publication (2013)
Related Software: Armadillo; RSpectra; Scikit; coRanking; dimRed; CVXR; …
Main Fields: Computer science (68-XX)

adaSC3

Software Authors:   Fuetterer, Cornelia; Augustin, Thomas; Fuchs, Christiane
Cited in: 1 Publication (2020)
Related Software: lle; destiny; SC3; emdbook; Scikit; vegan; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Alpine.jl

Software Authors:   Bent, R., Nagarajan, H., Sundar, K., Wang, S., Hijazi, H.
Cited in: 1 Publication (2019)
Related Software: GitHub; JuMP; APOGEE; GloMIQO; MINLPLib; BARON; …
Main Fields: Operations research, mathematical programming (90-XX)

BasisDet

Software Authors:   Zhang, Yang
Cited in: 1 Publication (2012)
Related Software: NGluon; HELAC-1LOOP; SAMURAI; CutTools; Mathematica; Macaulay2
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Quantum theory (81-XX)

DANN

Software Authors:   Quang, D.; Chen, Y.; Xie, X.
Cited in: 1 Publication (2019)
Related Software: ReliefF; kernDeepStackNet; CIFAR; GA; CORElearn; irace; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

dimRed

Software Authors:   Guido Kraemer
Cited in: 0 Publications
Related Software: Armadillo; RSpectra; Scikit; Tapkee; coRanking; CVXR; …
Main Fields:

direpack

Software Authors:   Emmanuel Jordy Menvouta, Sven Serneels, Tim Verdonck
Cited in: 0 Publications
Related Software: NumPy; SciPy; Jupyter; Python; Scikit
Main Fields:

Drop-Activation

Software Authors:   Liang, Senwei; Khoo, Yuehaw; Yang, Haizhao
Cited in: 1 Publication (2021)
Related Software: GitHub; AutoAugment; AlexNet; Zoneout; mixup; EMNIST; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

drtoolbox

Software Authors:   van der Maaten, L.
Cited in: 0 Publications
Related Software: Intrinsic-Dimension; pyFCI; OpenML; TLE; IntDim; Rdimtools; …
Main Fields:

DyGloSA

Software Authors:   Baumuratova, T.; Dobre, S.; Bastogne, T.; Sauter, T.
Cited in: 1 Publication (2020)
Related Software: CRAN; Matlab; SobolGSA; PeTTSy; SAFE Toolbox; SALib; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Eleven82

Software Authors:   Koskinen, Eric; Yang, Junfeng
Cited in: 1 Publication (2016)
Related Software: EXPLODE; SQCK; PostgreSQL; MathSAT5; CPAchecker; SMTInterpol; …
Main Fields: Computer science (68-XX)

FakeCatcher

Software Authors:   Umur Aybars Ciftci, Ilke Demir
Cited in: 1 Publication (2021)
Related Software: Celeb-DF; FaceForensics; Face2Face; ManTra-Net; BusterNet; DeeperForensics; …
Main Fields: Computer science (68-XX)

FitHuBERT

Software Authors:   Yeonghyeon Lee, Kangwook Jang, Jahyun Goo, Youngmoon Jung, Hoirin Kim
Cited in: 0 Publications
Related Software: LibriSpeech; DistilBERT; LightHuBERT; TERA; Jasper; QuartzNet; …
Main Fields:

GraphSAINT

Software Authors:   Hanqing Zeng, Hongkuan Zhou, Ajitesh Srivastava, Rajgopal Kannan, Viktor Prasanna
Cited in: 0 Publications
Related Software: DGL; ProNE; ArnetMiner; PTE; RotatE; InfoGraph; …
Main Fields:

intRinsic

Software Authors:   Francesco Denti
Cited in: 0 Publications
Related Software: Rdimtools; ggplot2; HiDimDA; fractaldim; CODA; Rtsne; …
Main Fields:

logisticPCA

Software Authors:   Andrew J. Landgraf
Cited in: 0 Publications
Related Software: binr; partykit; glmdisc; car; corrplot; ClustVarLV; …
Main Fields:

LogLens

Software Authors:   Debnath B., Solaimani M., Gulzar M.A.G., Arora N., Lumezanu C., Xu J., Zong B., Zhang H., Jiang G., Khan L.
Cited in: 0 Publications
Related Software: Elasticsearch; NoDoze; AIQL; SAQL; Plaso; NodeMerge; …
Main Fields:

LSMonteCarlo

Software Authors:   Mikhail A. Beketov
Cited in: 0 Publications
Related Software: DiceOptim; DiceKriging; rlsm; StOpt; R; mlOSP
Main Fields: