AdaBoost.MH Software Authors: Freund, Yoav; Schapire, Robert E. Cited in: 411 Publications (1995–2022) Related Software: UCI-ml; C4.5; ElemStatLearn; R; LIBSVM; bootstrap; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
TensorToolbox Software Authors: Bader, Brett W.; Kolda, Tamara G. Cited in: 190 Publications (2007–2023) Related Software: Algorithm 862; Matlab; Tensorlab; TT Toolbox; N-way Toolbox; SPLATT; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)
Nektar++ Software Authors: King, James; Yakovlev, Sergey; Fu, Zhisong; Kirby, Robert M.; Sherwin, Spencer J. Cited in: 104 Publications (2004–2022) Related Software: Gmsh; Nek5000; deal.ii; PETSc; PyFR; Matlab; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Cytoscape Software Authors: Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T Cited in: 42 Publications (2007–2022) Related Software: KEGG; R; IntAct; Bioconductor; Gephi; BioGRID; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Couenne Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas Cited in: 73 Publications (2009–2022) Related Software: BARON; CPLEX; Bonmin; Ipopt; SCIP; GAMS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
CVC Lite Software Authors: Mclaughlin, Sean; Barrett, Clark; Ge, Yeting Cited in: 51 Publications (2004–2020) Related Software: HOL Light; Chaff; CVC; SMT-LIB; z3; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
EFD Software Authors: Daniel J. Bernstein; Tanja Lange Cited in: 54 Publications (2007–2022) Related Software: Curve25519; mpFq; SageMath; eBACS; eBASH; gmp; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)
TAO Software Authors: Benson, Steven J.; McInnes, Lois Curfman; Moré, Jorge J. Cited in: 48 Publications (2001–2022) Related Software: PETSc; FEniCS; ADIC; OPT++; FAIR.m; LAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Cited in: 38 Publications (2002–2022) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
HLM Software Authors: SSI, Scientific Software International, Inc., Cited in: 22 Publications (2002–2016) Related Software: MLwiN; R; Stata; WinBUGS; SPSS; Mplus; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Ivy Software Authors: William McCune; Olga Shumsky Cited in: 39 Publications (2000–2021) Related Software: TPTP; ACL2; z3; Ivy; SPASS; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
ZRAM Software Authors: Brüngger, Adrian; Marzetta, Ambros; Fukuda, Komei; Nievergelt, Jurg Cited in: 38 Publications (1997–2018) Related Software: QAPLIB; cdd; Minksum; lrs; HTCondor MW; Bob++; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
Pex Software Authors: Nikolai Tillmann, Jonathan de Halleux Cited in: 25 Publications (2009–2021) Related Software: DART; CUTE; z3; STP; KLEE; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
Polynomial Toolbox Software Authors: Mathworks Cited in: 34 Publications (2001–2023) Related Software: SeDuMi; PENBMI; YALMIP; Matlab; COMPleib; PENNON; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
CRYPTIM Software Authors: Ustimenko, Vasyl Cited in: 29 Publications (2001–2015) Related Software: CRYPTALL; Galois Field Arithmetic Library Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-XX)
NetKit Software Authors: Macskassy, S.; Provost, F. Cited in: 22 Publications (2006–2022) Related Software: ElemStatLearn; LIBLINEAR; UCI-ml; C4.5; DeepWalk; struc2vec; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
HOL/SPIN Software Authors: Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor Cited in: 22 Publications (2000–2017) Related Software: SPIN; Uppaal; AODV; LOTOS; Rodin; Timed Rebeca; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-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)
MESSI Software Authors: Mercedes Pérez Millán, Alicia Dickenstein Cited in: 22 Publications (2018–2022) Related Software: REDLOG; QEPCAD; Maple; Binomials.m2; DAISY; Mathematica; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)
NodeTrix Software Authors: Nathalie Henry, Jean-Daniel Fekete, Michael J. McGuffin Cited in: 15 Publications (2010–2021) Related Software: ChordLink; ThemeRiver; Algorithm 447; MS SQL Server; Bigtable; DryadLINQ; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
MARKAL Software Authors: Fishbone, L.G.; Giesen, G.; Goldstein, G.; Hymmen, H.A.; Stocks, K.J.; Vos, H.; Wilde, D.; Zoelcher, R.; Balzer, C.; Abilock, H. Cited in: 17 Publications (1985–2020) Related Software: MESSEGE III; EFOM 12C; Pypsa; OSeMOSYS; GAMS; Joulia; … Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
ProTDB Software Authors: A. Nierrman, H.V. Jagadish Cited in: 12 Publications (2005–2018) Related Software: ProbView; PSQL; XPath; TAX; XSEarch; XQuery; … Main Fields: Computer science (68-XX)
ArchJava Software Authors: Aldrich, Jonathan; Chambers, Craig; Notkin, David Cited in: 10 Publications (2002–2017) Related Software: SOFA 2.0; Rapide; UMLDiff; PICCOLA; VisualStudio.NET; Hume; … Main Fields: Computer science (68-XX)
CASTEP Software Authors: M.D.Segall, P.J.D.Lindan, M.J.Probert, C.J.Pickard, P.J.Hasnip, S.J.Clark, M.C.Payne Cited in: 16 Publications (2005–2022) Related Software: ABINIT; Quantum Espresso; CheFSI; SIESTA; OCTOPUS; PETSc; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
GridFlow Software Authors: Junwei Cao; Jarvis, S.A.; Saini, S.; Nudd, Graham R. Cited in: 5 Publications (2006–2011) Related Software: Pegasus; Globus Toolkit; DAGMan; ASKALON; Nimrod/G; Triana; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
mipmatch Software Authors: Zubizarreta, Jos'e R. Cited in: 18 Publications (2012–2022) Related Software: finebalance; DOS; nbpMatching; sensitivitymv; R; sensitivitymw; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
MOCA Software Authors: Gilad Koren, Dennis Shasha Cited in: 17 Publications (1994–2020) Related Software: – Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
BenderWu Software Authors: T. Sulejmanpasic, M. Ünsal Cited in: 15 Publications (2016–2022) Related Software: Mathematica; BWDifference; DLMF Main Fields: Algebraic geometry (14-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
JCLEC Software Authors: Sebastián Ventura, Cristóbal Romero, Amelia Zafra, José A. Delgado, César Hervás Cited in: 2 Publications (2009–2015) Related Software: KEEL; UCI-ml; ECJ; ParaDisEO; C4.5; SPEA2; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Petruchio Software Authors: Tim Strazny; Roland Meyer; Sven Linker Cited in: 15 Publications (2008–2022) Related Software: MWB; SLMC; Storm; MCMAS; PRISM; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
PAGODA Software Authors: Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister Linda Cited in: 12 Publications (2007–2015) Related Software: Maude; KLAIM; Reo; Pirlo; SCEL; Jolie; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-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)
AMT Software Authors: D. Nickovic, O. Maler Cited in: 12 Publications (2008–2018) Related Software: Uppaal; SpaceEx; PRISM; Breach; Matlab; PPL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CholQR Software Authors: Yamazaki, Ichitaro; Tomov, Stanimire; Dongarra, Jack Cited in: 13 Publications (2015–2022) Related Software: mctoolbox; CholeskyQR2; SparseMatrix; PETSc; BLAS; STRUMPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
FAME Software Authors: Stegmann, M. B., Ersbøll, B. K., Larsen, R Cited in: 9 Publications (2007–2021) Related Software: CUDA; BSDS; EMD; FAME; AFLOW; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Rassoc Software Authors: Yong Zang; Wing Fung; Gang Zheng Cited in: 11 Publications (2009–2022) Related Software: Eigenstrat; JMP; R; snpMatrix; devtools; tdthap; … Main Fields: History and biography (01-XX); Statistics (62-XX); Numerical analysis (65-XX)
PaMiraXT Software Authors: Schubert, Tobias; Lewis, Matthew; Becker, Bernd Cited in: 11 Publications (2009–2021) Related Software: ManySAT; Lingeling; MiniSat; Plingeling; Chaff; SATO; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
QNet Software Authors: Banu Dost; Tomer Shlomi; Nitin Gupta; Eytan Ruppin; Vineet Bafna; Roded Sharan Cited in: 11 Publications (2008–2022) Related Software: QPath; MetaCyc; CPLEX; SIMBio; GraMoFoNe; Kavosh; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
Society Visualiser Software Authors: Artikis, Alexander; Sergot, Marek; Pitt, Jeremy Cited in: 8 Publications (2007–2013) Related Software: ISLANDER; CCalc; NuSMV; 2APL; Moise+; Jason; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VarNet Software Authors: – Cited in: 11 Publications (2020–2022) Related Software: Adam; DGM; DeepXDE; DiffSharp; NSFnets; D3M; … Main Fields: Partial differential equations (35-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)
jHoles Software Authors: Binchi, Jacopo; Merelli, Emanuela; Rucco, Matteo; Petri, Giovanni; Vaccarino, Francesco Cited in: 10 Publications (2014–2022) Related Software: javaPlex; PHAT; Perseus; Gudhi; Ripser; Dionysus; … Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Numerical analysis (65-XX)
Lynx Software Authors: Ganesh, V., O’Donnell, C.W., Soos, M., Devadas, S., Rinard, M.C., Solar-Lezama, A. Cited in: 9 Publications (2013–2021) Related Software: MathCheck; Maple; FFTW; SMT-LIB; Mathematica; z3; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Geometry (51-XX)
FracSim3D Software Authors: C. Xu; P. Dowd Cited in: 9 Publications (2014–2020) Related Software: dfnWorks; Triangle; PorePy; CUDA; Gmsh; movMF; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
LinearCovarianceModels.jl Software Authors: Sturmfels, Bernd; Timme, Sascha; Zwiernik, Piotr Cited in: 9 Publications (2020–2021) Related Software: Macaulay2; HomotopyContinuation; GitHub; Magma; OEIS; SageMath Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)
Moflon Software Authors: C. Amelunxen, A. Königs, T. Rötschke, A. Schürr Cited in: 2 Publications (2006–2014) Related Software: MOFLON; PROGRES; Fujaba; Capella; CPS Demonstrator; Massif; … Main Fields: Computer science (68-XX)
RALL Software Authors: David von Oheimb, Thomas F. Gritzner Cited in: 9 Publications (1997–2014) Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RIONA Software Authors: Góra, Grzegorz; Wojna, Arkadiusz Cited in: 8 Publications (2002–2018) Related Software: LERS; C4.5; Rseslib; RSES; ROSETTA; ElemStatLearn; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
AEtnaNova Software Authors: Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz Cited in: 8 Publications (2011–2018) Related Software: Referee; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Functions of a complex variable (30-XX)
Bunch Software Authors: Mancoridis, S., Mitchell, B., Chen, Y., Gansner, E. Cited in: 3 Publications (2013–2018) Related Software: Ant; clusfind; CPLEX; Ada95 Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CAPTools Software Authors: C.S. Ierotheou, S.P. Johnson, M. Cross, P.F Leggett Cited in: 8 Publications (1995–2000) Related Software: SUPERB; CAPLib; SHMEM; SAUNA; JOSTLE Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
EARTH--MANNA Software Authors: Sodan, Angela C. Cited in: 4 Publications (2002–2004) Related Software: Cilk; Multilisp; NAS Parallel Benchmarks; ScaLAPACK; FGb Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
evt Software Authors: Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov Cited in: 6 Publications (2001–2021) Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; … Main Fields: Computer science (68-XX)
KEGGgraph Software Authors: Jitao David Zhang; Stefan Wiemann Cited in: 7 Publications (2011–2015) Related Software: Bioconductor; KEGG; Reactome; igraph; clipper; graphite; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
SCTL-MUS Software Authors: Pazos Arias, José J.; García Duque, Jorge Cited in: 5 Publications (2001–2006) Related Software: PVS; NuSMV; SLAM; TLA Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
sldg Software Authors: Einkemmer, Lukas Cited in: 8 Publications (2016–2021) Related Software: Vador; GYSELA; FFTW; mftoolbox; CYLGYR; QUALIMUWABA; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
SLIDE Software Authors: Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh Cited in: 7 Publications (2009–2016) Related Software: ToulBar2; CSPLib; SICStus; Chaff; Choco Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)
ToolBus Software Authors: J.A. Bergstra; P. Klint Cited in: 6 Publications (1996–2007) Related Software: Zapato; E Theorem Prover; CVC Lite; Chaff; GridSAT; Python; … Main Fields: Computer science (68-XX)
XTOR-2F Software Authors: H. Lütjens; J. Luciani Cited in: 8 Publications (2010–2022) Related Software: XTOR; BOUT++; CHEASE; NITSOL; GYRO; cppmhd; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
BGeost Software Authors: Liu Y, Journel A Cited in: 7 Publications (2010–2021) Related Software: SGeMS; SIPPI; GSLIB; HOSIM; MPSlib; DSSIM-HR; … Main Fields: Statistics (62-XX); Geophysics (86-XX); Biology and other natural sciences (92-XX)
ConfiChair Software Authors: Arapinis, Myrto; Bursuc, Sergiu; Ryan, Mark Cited in: 4 Publications (2013–2021) Related Software: ProVerif; CoSMed; FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
CPR Software Authors: Liang, Chunlei; Miyaji, Koji; Zhang, Bin Cited in: 7 Publications (2014–2021) Related Software: PyFR; ParMETIS; RODAS; PETSc; Gerris; LDG2 Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
LKB Software Authors: Copestake, Ann Cited in: 4 Publications (2002–2019) Related Software: Grammar Matrix; GF; YACC; WExEd; ALE Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ORESTE Software Authors: Mercier, P.; Teghem, J.; Pastijn, H. Cited in: 7 Publications (1992–2010) Related Software: BANKADVISER; ELECTRE; VIKOR; Decision Lab 2000; ARGOS; PROMETHEE-MD; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Pyro Software Authors: Blank, D.S., Kumar, D., Meeden, L., Yanco, H Cited in: 2 Publications (2005–2009) Related Software: CARMEN; ROS; Orocos; Radish Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Referee Software Authors: Eugenio G. Omodeo; Domenico Cantone; Alberto Policriti; Jacob T. Schwartz Cited in: 7 Publications (2013–2018) Related Software: AEtnaNova; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
SABRE Software Authors: Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V Cited in: 5 Publications (2011–2016) Related Software: PRISM; MARCIE; Bio-PEPA; SBML Test Suite; INFAMY; MRMC; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
Saturnin Software Authors: Canteaut, A., et al. Cited in: 7 Publications (2020–2022) Related Software: SIMON; tweakey; SKINNY; GIFT; CRAFT; Camellia; … Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
TiML Software Authors: Wang, P., Wang, D., Chlipala, A. Cited in: 7 Publications (2018–2022) Related Software: TcT; z3; Separation Logic; ACE; OptiMathSAT; Amortized Complexity; … Main Fields: Computer science (68-XX)
CartoDraw Software Authors: Keim, D.A., North, S.C., Panse, C. Cited in: 4 Publications (2005–2018) Related Software: ABF++; MANET; Polaris; Gql; ADDTREE/P; EXPLOR4; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
EnsemblePail Software Authors: Yan Xu, Xiaobo Wang, Jun Ding, Ling-Yun Wu, Naiyang Deng Cited in: 6 Publications (2010–2019) Related Software: Cell-PLoc; iHyd-PseAAC; iUbiq-Lys; iATC-mHyb; iRNA-PseColl; pLoc-mVirus; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GWmodel Software Authors: Binbin Lu, Paul Harris, Martin Charlton, Chris Brunsdon Cited in: 1 Publication (2021) Related Software: R; ArcGIS; gwrr; RandomFields; spBayes; spgwr; … Main Fields: Operations research, mathematical programming (90-XX)
LAMBERTW Software Authors: Gautschi, Walter Cited in: 6 Publications (2011–2022) Related Software: Algorithm 443; WAPR; LambertW; LambertW; lamW; ARPREC; … Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
MADY Software Authors: Lucchesi, Massimiliano; Pintucchi, Barbara; Zani, Nicola Cited in: 6 Publications (2015–2021) Related Software: – Main Fields: Mechanics of deformable solids (74-XX)
mothur Software Authors: Schloss PD, Westcott SL, Ryabin T, Hall JR, Hartmann M, Hollister EB, Lesniewski RA, Oakley BB, Parks DH, Robinson CJ, Sahl JW, Stres B, Thallinger GG, Van Horn DJ, Weber CF. Cited in: 4 Publications (2013–2021) Related Software: pplacer; rtk; iNEXT; vegan; EstimateS; CURSAT; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
MSO Software Authors: Al-Dujaili, Abdullah; Suresh, S.; Sundararajan, N. Cited in: 6 Publications (2016–2021) Related Software: MCS; LGO; minpack; MultiGLODS; MOPSO; COCO; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
osDesign Software Authors: Haneuse, S., Saegusa, T., Chaterjee, N., Breslow, N. Cited in: 4 Publications (2012–2018) Related Software: R; twophase; SAS; SAS/IML; SAS/STAT; MCE; … Main Fields: Statistics (62-XX)
Shimba Software Authors: Systä, Tarja; Koskimies, Kai; Müller, Hausi Cited in: 4 Publications (2001–2010) Related Software: Rigi; Codecrawler; SQuAVisiT; Ciao; TestQ; SEXTANT; … Main Fields: Computer science (68-XX)
SpecTraVVave Software Authors: Kalisch, Henrik; Moldabayev, Daulet; Verdier, Olivier Cited in: 6 Publications (2017–2021) Related Software: RODAS; GitHub; Python; AUTO Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Fluid mechanics (76-XX)
Theories Software Authors: Suárez, Mauricio; Cartwright, Nancy Cited in: 6 Publications (2012–2020) Related Software: – Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Differential geometry (53-XX)
BitPhylogeny Software Authors: Yuan, K., Sakoparnig, T., Markowetz, F., Beerenwinkel, N Cited in: 3 Publications (2016–2019) Related Software: MrBayes; SciClone; PhyloWGS; Pyvolve; SimPlot++; PyTorch; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)
Classbox/J Software Authors: Bergel A, Ducasse S, Nierstrasz O Cited in: 2 Publications (2010–2015) Related Software: CaesarJ; FeatureC++; Jiazzi; AspectC++; AspectJ; JastAdd; … Main Fields: Computer science (68-XX)
Dist-Orc Software Authors: Musab AlTurki; José Meseguer Cited in: 5 Publications (2011–2015) Related Software: Maude; JavaFAN; Java+ITP; K Prover; MOMENT2; K tool; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FeatureC++ Software Authors: Apel, S., Leich, T., Rosenmüller, M., Saake, G. Cited in: 2 Publications (2010–2018) Related Software: CaesarJ; AspectJ; Classbox/J; Jiazzi; AspectC++; HyVar; … Main Fields: Computer science (68-XX)
QuickChick Software Authors: Paraskevopoulou, Zoe; Hriţcu, Cătălin; Dénès, Maxime; Lampropoulos, Leonidas; Pierce, Benjamin C. Cited in: 5 Publications (2015–2019) Related Software: PVS; Coq; QuickCheck; Nitpick; SmallCheck; z3; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
SUPPLE Software Authors: Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock Cited in: 1 Publication (2014) Related Software: QOCA; Ibuild; Rockit; Python; Gild; Druid; … Main Fields: Computer science (68-XX)
AtMostNValue Software Authors: Fages, Jean-Guillaume; Lapègue, Tanguy Cited in: 3 Publications (2014–2021) Related Software: ToulBar2; AllDifferent; Algorithm 457; ptsplib; Choco; SDPLR; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CASPA Software Authors: Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus Cited in: 4 Publications (2008–2015) Related Software: PRISM; PARAM; CUDD Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
DD3IMP Software Authors: L. F. Menezes; D. M. Neto; M. C. Oliveira; J. L. Alves Cited in: 4 Publications (2007–2017) Related Software: Netgen; FEAPpv; MKL; PARDISO; GiD Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
DiSL Software Authors: Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi Cited in: 2 Publications (2016–2022) Related Software: AspectJ; GitHub; Apache Flink; Savina; Akkaprof Main Fields: Computer science (68-XX)
dit Software Authors: Ryan G. James, Christopher J. Ellison, James P. Crutchfield Cited in: 1 Publication (2019) Related Software: Python; Matplotlib; SciPy; NumPy; Embo; IDTxl; … Main Fields: Statistics (62-XX); Information and communication theory, circuits (94-XX)
frailtySurv Software Authors: John V. Monaco, Malka Gorfine, Li Hsu Cited in: 1 Publication (2021) Related Software: survival; R; coxme; Rcpp; parfm; frailtypack; … Main Fields: Statistics (62-XX)
GILK Software Authors: Pearce, David J.; Kelly, Paul H.J.; Field, Tony; Harder, Uli Cited in: 3 Publications (2002–2012) Related Software: Valgrind; Concorde; MiBench; SAGA; SUIF; Ibis; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GLANUSIT Software Authors: Calvo, N.; Durany, J.; Toja, R.; Vázquez, C. Cited in: 4 Publications (2007–2015) Related Software: Matlab Main Fields: Integral equations (45-XX); Operator theory (47-XX); Fluid mechanics (76-XX)
ImpUNITY Software Authors: Goeman, H.J.M.; Kok, J.N.; Sere, K.; Udink, R.T. ti: Coordination in the ImpUNITY framework. Cited in: 4 Publications (1998–2008) Related Software: – Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)
Kami Software Authors: Choi, J., Vijayaraghavan, M., Sherman, B., Chlipala, A., Arvind Cited in: 4 Publications (2018–2021) Related Software: Coq; GitHub; Coquet; Haskell; FreeSpec; operational; … Main Fields: Computer science (68-XX)
multi2boolean Software Authors: Fauré, Adrien; Kaji, Shizuo Cited in: 4 Publications (2018–2019) Related Software: Ginsim; YalSAT; Lingeling; Splatz; GRAT; Treengeling; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Biology and other natural sciences (92-XX)
PELskin Software Authors: Favier J., Li C., Kamps L., Revell A., O’Connor J., Brücker C. Cited in: 3 Publications (2020–2022) Related Software: SPHysics; ANSYS; VTK; HDF5; Palabos; ABAQUS; … Main Fields: Fluid mechanics (76-XX)
Psim Software Authors: Bianco, L., Manca, V., Marchetti, L., Petterlini, M. Cited in: 4 Publications (2007–2013) Related Software: P-Lingua; pLinguaCore; gnuplot; BioSPI; PRISM Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
SENSEI Software Authors: Derlaga, J. M., Phillips, T. S., Roy, C. J. Cited in: 4 Publications (2015–2017) Related Software: MATLODE; RODAS; OpenACC; OpenCL; CUDA; MASA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
SKIPPER Software Authors: Coudarcher, Rémi; Duculty, Florent; Serot, Jocelyn; Jurie, Frédéric; Derutin, Jean-Pierre; Dhome, Michel Cited in: 4 Publications (2001–2007) Related Software: eSkel; BSMLlib; Eden; Camlflow; Jumpshot; SIGNAL Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)