ManySAT Software Authors: Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar Cited in: 37 Publications (2005–2021) Related Software: Plingeling; Chaff; MiniSat; Lingeling; Treengeling; SATO; … Main Fields: Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); Operations research, mathematical programming (90-XX)
QUICKXPLAIN Software Authors: Junker, U. Cited in: 31 Publications (2008–2022) Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
cuFFT Software Authors: NVIDIA Cited in: 14 Publications (2010–2022) Related Software: CUDA; FFTW; CUBLAS; PFFT; CUSPARSE; P3DFFT; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
DeWall Software Authors: Cignoni, P.; Montani, C.; Scopigno, R. Cited in: 21 Publications (1998–2020) Related Software: CGAL; Triangle; 2D triangulations; Qhull; DELAUNAYSPARSE; QNSTOP; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
UDC Software Authors: Ammar, G.S.; Reichel, L.; Sorensen, D.C. Cited in: 19 Publications (1992–2021) Related Software: EISPACK; OPQ; GAUSSIAN; IRAM; eigs; Algorithm 730; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-XX)
Pochoir Software Authors: Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E. Cited in: 10 Publications (2013–2019) Related Software: PATUS; Coq; GKLEE; GPUVerify; PolyLib; Mint; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
PaInleSS Software Authors: Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice Cited in: 8 Publications (2018–2022) Related Software: Plingeling; Treengeling; ManySAT; Lingeling; YalSAT; CaDiCaL; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Quartets MaxCut Software Authors: Snir, S., Rao, S. Cited in: 9 Publications (2011–2022) Related Software: ASTRAL-II; BUCKy; FastTree; BEAST; RAxML; OCTAL; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
SRN/HMM Software Authors: Fang, Gaolin; Gao, Wen; Chen, Xilin; Wang, Chunli; Ma, Jiyong Cited in: 5 Publications (2002–2006) Related Software: apcluster; APCluster; SOM Main Fields: Computer science (68-XX)
Satin Software Authors: Nieuwpoort, R.V., Maassen, J., Kielmann, T., Bal, H.E. Cited in: 5 Publications (2006–2018) Related Software: Cilk; Chord; Linda; CometG; GAMS; PEBBL; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DISCO Software Authors: Leung, Ngai-Hang Z.; Toh, Kim-Chuan Cited in: 7 Publications (2009–2020) Related Software: SDPT3; SNLSDP; QSDP; Matlab; NetworKit; LAMG; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
Bob++ Software Authors: Djerrah, A., Le Cun, B., Cung, V.D., Roucairol, C. Cited in: 6 Publications (2010–2022) Related Software: MPI; SYMPHONY; PEBBL; Intel TBB; ParaSCIP; Concorde; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Coquet Software Authors: Braibant, Thomas Cited in: 6 Publications (2011–2021) Related Software: Coq; Lava; Kami; Haskell; muFP; GitHub; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
QuickhullDisk Software Authors: Nguyen Kieu Linh; Song, Chanyoung; Ryu, Joonghyun; Phan Thanh An; Hoang, Nam-Dũng; Kim, Deok-Soo Cited in: 6 Publications (2019–2022) Related Software: MinPerim; Qhull; VOROPACK-D; Quicksort Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)
Algorithm 730 Software Authors: G. S. Ammar, L. Reichel, D. C. Sorensen Cited in: 5 Publications (1994–2008) Related Software: UDC; eigs; IRAM; TRLan; PETSc; DSUBSP; … Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
nuSpectral Software Authors: Adolf Mathias; Florian Grond; Ramon Guardans; Detlef Seese; Miguel Canela; Hans Diebner Cited in: 4 Publications (2011–2020) Related Software: R; PRMLT; Spectral; FFTW; NESToolbox Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
ESES Software Authors: Zhao, Rundong; Wang, Menglun; Tong, Yiying; Wei, Guo-Wei Cited in: 3 Publications (2018–2021) Related Software: PDB2PQR; APBS; tabipb; Apbsmem; TABI; TMSmesh; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
MultiPlane Software Authors: Hong, Seok-Hee Cited in: 4 Publications (2006–2010) Related Software: GAUDI Main Fields: Dynamical systems and ergodic theory (37-XX); Differential geometry (53-XX); Computer science (68-XX)
Nimrod/O Software Authors: Abramson, David; Lewis, Andrew; Peachey, Tom Cited in: 3 Publications (2000–2008) Related Software: MHGrid; NEOS; Globus Toolkit; Ninf-G/MPI; ASP.NET; iSIGHT; … Main Fields: Computer science (68-XX)
Algorithm 870 Software Authors: Linardakis, Leonidas; Chrisochoides, Nikos Cited in: 3 Publications (2008–2022) Related Software: Triangle; TetGen; mview; Chaco; METIS Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Chainsaw Software Authors: Tsarkov, D., Palmisano, I. Cited in: 3 Publications (2014–2018) Related Software: Pellet; FaCT++; Konclude; Snorocket; BioPortal; ELK; … Main Fields: Computer science (68-XX)
COCO-GAN Software Authors: Chieh Hubert Lin, Chia-Che Chang, Yu-Sheng Chen, Da-Cheng Juan, Wei Wei, Hwann-Tzong Chen Cited in: 1 Publication (2021) Related Software: LSUN; Python; Adam; IntroVAE; Matterport3D; Wasserstein GAN; … Main Fields: Computer science (68-XX)
SEPP Software Authors: S Mirarab, N Nguyen, T Warnow Cited in: 3 Publications (2002–2022) Related Software: MLTreeMap; FastTree; pplacer; DEPP; PhyloGeoTool; INSTRAL; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
BOP Software Authors: Jürgen Borchardt Cited in: 2 Publications (2003–2009) Related Software: SparseMatrix Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
DACTAL Software Authors: Nelesen, S., Liu, K., Wang, L.S., Linder, C.R., Warnow, T.: DACTAL: divide-and-conquer trees (almost) without alignments Cited in: 2 Publications (2013–2019) Related Software: BEAST; PAUP*; iGTP; MrBayes; NINJA; Quartets MaxCut; … Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
GReTA Software Authors: Alessandro Attanasi, Andrea Cavagna, Lorenzo Del Castello, Irene Giardina, Asja Jelic, Stefania Melillo, Leonardo Parisi, Fabio Pellacini, Edward Shen, Edmondo Silvestri, Massimiliano Viale Cited in: 1 Publication (2018) Related Software: Trackpy; TracTrac; OpenLPT; OpenPTV; Python; MyPTV Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistical mechanics, structure of matter (82-XX)
H-BSP Software Authors: Cha, Hojung; Lee, Dongho Cited in: 2 Publications (2001–2018) Related Software: – Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
hompi Software Authors: Dimakopoulos V.V., Hadjidoukas P.E. Cited in: 0 Publications Related Software: Celery; ImageNet; Dask; SCOOP; NDL; PyTorch; … Main Fields: –
MapleAmpharos Software Authors: Nejati, Saeed; Newsham, Zack; Scott, Joseph; Liang, Jia Hui; Gebotys, Catherine; Poupart, Pascal; Ganesh, Vijay Cited in: 1 Publication (2021) Related Software: Transalg; Splatz; AmPharoS; Syrup; HordeSat; PMiniSAT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
MERGEXPLAIN Software Authors: Shchekotykhin, K.M., Jannach, D., Schmitz, T. Cited in: 2 Publications (2018–2022) Related Software: OntoDebug; Protege; Pellet; QUICKXPLAIN; ELK; HermiT; … Main Fields: Computer science (68-XX)
MISHIMA Software Authors: Kryukov, K.; Saitou, N. Cited in: 1 Publication (2011) Related Software: MUSCLE; Clustal X; R; pCLUSTAL; MUMMER; AVID; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
SATCHMO-JS Software Authors: Hagopian, R., Davidson, J., Datta, R., Jarvis, G., Sjölander, K. Cited in: 1 Publication (2013) Related Software: BEAST; PAUP*; iGTP; ProtTest 3; MrBayes; Gegenees; … Main Fields: Biology and other natural sciences (92-XX)
SMTS Software Authors: Marescotti, Matteo; Hyvärinen, Antti E. J.; Sharygina, Natasha Cited in: 2 Publications (2018–2020) Related Software: OpenSMT2; TreeAutomizer; MathSAT5; StarExec; Yices; APT; … Main Fields: Computer science (68-XX)
Akra Bazzi Software Authors: Manuel Eberl Cited in: 1 Publication (2017) Related Software: Landau Symbols; Archive Formal Proofs; Locales; HOL; Isabelle/HOL; Isabelle Main Fields: Number theory (11-XX); Computer science (68-XX)
aTrunk Software Authors: Lamprecht, S., Stoffels, J., Dotzler, S., Haß, E., Udelhoven, T. Cited in: 0 Publications Related Software: Open3D; PCL; PDAL; OpenCV; GDAL; Python; … Main Fields: –
Fairmandering Software Authors: Wes Gurnee, David B. Shmoys Cited in: 1 Publication (2022) Related Software: GerryChain; MIPLIB; BARD; Gurobi Main Fields: Operations research, mathematical programming (90-XX)
FlexISP Software Authors: Heide, Felix; Steinberger, Markus; Tsai, Yun-Ta; Rouf, Mushfiqur; Pajak, Dawid; Reddy, Dikpal; Gallo, Orazio; Liu, Jing; Heidrich, Wolfgang; Egiazarian, Karen; Kautz, Jan; Pulli, Kari Cited in: 1 Publication (2022) Related Software: MemNet; ProxImaL; DnCNN; BSDS; Wirtinger Flow Main Fields: Computer science (68-XX)
GScan Software Authors: Long, Qinyuan; Mei, Gang Cited in: 1 Publication (2020) Related Software: Qhull; Thrust Main Fields: Computer science (68-XX)
GSNet Software Authors: Lei Ke, Shichao Li, Yanan Sun, Yu-Wing Tai, Chi-Keung Tang Cited in: 0 Publications Related Software: CarFusion; DeepLabCut; Occlusion-Net; LightTrack; DeeperCut; HigherHRNet; … Main Fields: –
KiloNeRF Software Authors: Christian Reiser, Songyou Peng, Yiyi Liao, Andreas Geiger Cited in: 1 Publication (2022) Related Software: ClusterFit; PWC-Net; Flickr30K; MeshLab; Face2Face; PoseCNN; … Main Fields: Computer science (68-XX)
MEPDF Software Authors: Martin Wiegand, Saralees Nadarajah Cited in: 1 Publication (2021) Related Software: squash; plotly; ismev; gplots; R Main Fields: Probability theory and stochastic processes (60-XX)
mod_binarymono.f90 Software Authors: Gordon, Grey; Qiu, Shi Cited in: 1 Publication (2018) Related Software: – Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
NAOMI Software Authors: Yukai Liu, Rose Yu, Stephan Zheng, Eric Zhan, Yisong Yue Cited in: 1 Publication (2021) Related Software: GRU-ODE-Bayes; E2EGAN; GP-VAE; matrix-completion; BRITS; GitHub; … Main Fields: Computer science (68-XX)
NeuralQAAD Software Authors: Nicolas Wagner, Ulrich Schwanecke Cited in: 0 Publications Related Software: D-Faust; COMA; Adam; PyTorch; AtlasNet; FoldingNet; … Main Fields: –
NJMerge Software Authors: Molloy, E.K., Warnow, T. Cited in: 1 Publication (2019) Related Software: HyDe; PAUP*; iGTP; Bio++; UFBoot2; ExaBayes; … Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
PHDC Software Authors: Shengguo Li, Francois-Henry Rouet, Jie Liu, Chun Huang, Xingyu Gao, Xuebin Chi Cited in: 1 Publication (2018) Related Software: Algorithm 880; ELPA; STRUMPACK; MKL; ScaLAPACK; LAPACK Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
PORA Software Authors: Guo, Wenzhong; Huang, Xing Cited in: 1 Publication (2020) Related Software: – Main Fields: Combinatorics (05-XX); Information and communication theory, circuits (94-XX)
RecInt Software Authors: Breust, Alexis; Chabot, Christophe; Dumas, Jean-Guillaume; Fousse, Laurent; Giorgi, Pascal Cited in: 1 Publication (2016) Related Software: GAUT; mpFq; LinBox; gmp; Givaro Main Fields: Numerical analysis (65-XX)