×

Found 360 Software Packages (Results 1–100)

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)