INTOPT_90 Software Authors: Kearfott, R.Baker Cited in: 304 Publications (1996–2021) Related Software: INTLAB; PROFIL/BIAS; C-XSC; C-XSC 2.0; BARON; Numerica; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
SifDec Software Authors: Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L. Cited in: 223 Publications (2003–2022) Related Software: CUTEr; Ipopt; L-BFGS; CUTE; minpack; LANCELOT; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
MatrixMarket Software Authors: Boisvert, R., Pozo, R., Remington, K., Barrett, R., Dongarra, J Cited in: 168 Publications (1999–2023) Related Software: SparseMatrix; Matlab; Harwell-Boeing sparse matrix collection; JDQZ; JDQR; LAPACK; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
NIST Statistical Test Suite Software Authors: NIST; Lawrence Bassham, Andrew Rukhin, Juan Soto, James Nechvatal, Miles Smid, Elaine Barker, Stefan Leigh, Mark Levenson, Mark Vangel, David Banks, N. Heckert, James Dray Cited in: 88 Publications (2004–2022) Related Software: TestU01; Diehard; MersenneTwister; Monobit Test; dieharder; xorgens; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)
veriSoft Software Authors: Dingel, Juergen Cited in: 74 Publications (2000–2021) Related Software: Bandera; SPIN; Java PathFinder; BLAST; Eraser; SLAM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Keccak Software Authors: Bertoni, G., Daemen, J., Peeters, M., Van Assche, G. Cited in: 89 Publications (2011–2022) Related Software: PRESENT; SIMON; Skein Hash; XooTools; GitHub; Salsa20; … Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
DART Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen Cited in: 59 Publications (2005–2022) Related Software: CUTE; z3; Pex; KLEE; STP; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
FLASH Software Authors: B. Fryxell, K. Olson, P. Ricker, F. X. Timmes, M. Zingale, D. Q. Lamb, P. Macneice, R. Rosner, J. W. Rosner, J. W. Truran, H. Tufo Cited in: 63 Publications (2001–2022) Related Software: PARAMESH; HE-E1GODF; CASTRO; HLLE; RAMSES; Chombo; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
CUTE Software Authors: Koushik Sen; Darko Marinov; Gul Agha Cited in: 51 Publications (2003–2021) Related Software: DART; z3; KLEE; Pex; STP; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
ADBASE Software Authors: Steuer R.E. Cited in: 64 Publications (1983–2019) Related Software: EFFACET; TRIMAP; BENSOLVE; GAMS; Knapsack; NBI; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)
Algorithm 829 Software Authors: Gaviano, Marco; Kvasov, Dmitri E.; Lera, Daniela; Sergeyev, Yaroslav D. Cited in: 59 Publications (2003–2022) Related Software: LGO; Global Optimization Toolbox For Maple; MultiMin; DIRECT; MCS; minpack; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
GENREG Software Authors: Meringer, Markus Cited in: 61 Publications (1999–2022) Related Software: nauty; House of Graphs; Traces; snarkhunter; plantri; OEIS; … Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-XX)
KLEE Software Authors: Cristian Cadar, Daniel Dunbar, Dawson Engler Cited in: 37 Publications (2010–2021) Related Software: z3; DART; CUTE; CPAchecker; LLVM; STP; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SSD Software Authors: Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott Reed, Cheng-Yang Fu, Alexander C. Berg Cited in: 29 Publications (2017–2023) Related Software: Faster R-CNN; ImageNet; AlexNet; MS-COCO; YOLO; KITTI; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
RM-MEDA Software Authors: Qingfu Zhang; Aimin Zhou; Yaochu Jin Cited in: 33 Publications (2010–2022) Related Software: MOEA/D; SPEA2; HypE; SMS-EMOA; PlatEMO; GDE3; … Main Fields: Statistics (62-XX); Numerical analysis (65-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)
Korat Software Authors: Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov Cited in: 24 Publications (2001–2022) Related Software: TestEra; Java PathFinder; Symstra; CUTE; Rostra; JUnit; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Inception-v4 Software Authors: Christian Szegedy, Sergey Ioffe, Vincent Vanhoucke, Alex Alemi Cited in: 28 Publications (2017–2022) Related Software: ImageNet; Adam; AlexNet; Caffe; MS-COCO; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
HR Software Authors: Colton, Simon Cited in: 27 Publications (2002–2022) Related Software: GRAFFITI; OTTER; Mace4; TPTP; AutoGraphiX; GAP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
MCF Software Authors: Löbel, Andreas Cited in: 27 Publications (1998–2021) Related Software: DIMACS; CPLEX; XPRESS; SNAP; BGL; CS2; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
BaPCod Software Authors: François Vanderbeck; Issam Tahiri Cited in: 22 Publications (2010–2022) Related Software: VRPSolver; CVRPSEP; DIP; SCIP; MIPLIB2003; GCG; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
UniTESK Software Authors: Institute for System Programming of the Russian Academy of Sciences Cited in: 14 Publications (2002–2015) Related Software: SpecExplorer; DART; CUTE; NModel; Symstra; SPIN; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
VOLNA Software Authors: Dutykh, Denys; Poncet, Raphaël; Dias, Frédéric Cited in: 20 Publications (2011–2021) Related Software: MOST; HLLE; CENALT; COMCOT; OP2; Volna-OP2; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
randtoolbox Software Authors: Yohan Chalabi, Christophe Dutang, Petr Savicky; Diethelm Wuertz; M. Matsumoto; M. Saito; D. Knuth Cited in: 17 Publications (2013–2022) Related Software: R; DiceKriging; DiceOptim; lhs; gss; sensitivity; … Main Fields: Number theory (11-XX); Statistics (62-XX); Numerical analysis (65-XX)
REGAL Software Authors: Bassino, Frédérique; David, Julien; Nicaud, Cyril Cited in: 19 Publications (1997–2022) Related Software: Antichains; Supremica; carData; car; ToXgene; minpack Main Fields: Statistics (62-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
Symstra Software Authors: Xie, Tao; Marinov, Darko; Schulte, Wolfram; Notkin, David Cited in: 11 Publications (2005–2021) Related Software: Korat; Java PathFinder; DART; CUTE; Rostra; BLAST; … Main Fields: Computer science (68-XX)
ASTA Software Authors: Thomas Hellström Cited in: 16 Publications (1990–2009) Related Software: Matlab Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
GATeL Software Authors: Benjamin Blanc Cited in: 12 Publications (2001–2017) Related Software: QuickCheck; Haskell; ATGen; STG; DART; Z; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SO-I Software Authors: Müller, Juliane; Shoemaker, Christine A.; Piché, Robert Cited in: 15 Publications (2014–2022) Related Software: NOMAD; EGO; MLMSRBF; MISO; BFO; DFL; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX)
EasyCheck Software Authors: Jan Christiansen; Sebastian Fischer Cited in: 10 Publications (2009–2020) Related Software: QuickCheck; Curry; SmallCheck; Haskell; Church; PAKCS; … Main Fields: Computer science (68-XX)
GKLEE Software Authors: Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P. Cited in: 10 Publications (2013–2022) Related Software: GPUVerify; CUDA; OpenCL; Coq; GRace; Why3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
H-Morph Software Authors: Owen, Steven J.; Saigal, Sunil Cited in: 11 Publications (2000–2022) Related Software: Q-Morph; CubeCover; LBIE; HexGen; Hex2Spline; HexDom; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Optics, electromagnetic theory (78-XX)
Zeno Software Authors: Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan Cited in: 12 Publications (2012–2021) Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ATGen Software Authors: Christophe Meudec Cited in: 5 Publications (2005–2012) Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; … Main Fields: Computer science (68-XX)
PathCrawler Software Authors: Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger Cited in: 5 Publications (2008–2021) Related Software: CUTE; DART; z3; Frama-C; Pex; SANTE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PFNRN Software Authors: Mijangos, E. Cited in: 10 Publications (1999–2012) Related Software: MINOS; DIMACS; AMPL; KNITRO; NEOS; SNOPT; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)
RKPM2D Software Authors: Huang, T. H.; Wei, H.; Chen, J. S.; Hillman, M. Cited in: 11 Publications (2021–2023) Related Software: OpenIFEM Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
caGrid Software Authors: Saltz J, Oster S, Hastings S, et al: Cited in: 0 Publications Related Software: Globus Toolkit; Bio2RDF; BioPortal; BioMOBY; Taverna; QTAG; … Main Fields: –
Cardinal Software Authors: Azevedo, Francisco Cited in: 10 Publications (2007–2020) Related Software: CPGraph; Z/EVES; Isabelle/HOL; Coq; CSPLib; CPLEX; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DIRMIN Software Authors: Liuzzi, G.; Lucidi, S.; Piccialli, V. Cited in: 10 Publications (2016–2022) Related Software: TESTGO; DIRECT; SDBOX; DFBOX_IMPR; DFL; MultiMin; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
Rostra Software Authors: Tao Xie; Darko Marinov; David Notkin Cited in: 3 Publications (2005–2008) Related Software: Korat; Symstra; TestEra; JCrasher; Daikon; Java PathFinder; … Main Fields: Computer science (68-XX)
SOCRATES Software Authors: Schulz, M., Trischler, E., Sarfert, T. Cited in: 9 Publications (1992–2018) Related Software: BerkMin; Chaff; MiniSat; HANNIBAL; PASSAT; HITEC; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
TESTGO Software Authors: Liuzzi, G.; Lucidi, S.; Piccialli, V. Cited in: 10 Publications (2016–2022) Related Software: DIRMIN; DIRECT; SDBOX; DFBOX_IMPR; DFL; MultiMin; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
PQM4 Software Authors: Kannwischer, M.J., Rijneveld, J., Schwabe, P., Stoffelen, K. Cited in: 9 Publications (2019–2022) Related Software: GitHub; SIKE; Kyber; McEliece; SIDH; eBACS; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
FShell Software Authors: Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith Cited in: 6 Publications (2010–2016) Related Software: Java PathFinder; CPAchecker; RapiTime; pwcet; BLAST; Wolverine; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
SimMechanics Software Authors: Gran Richard J. Cited in: 8 Publications (2005–2020) Related Software: Matlab; Simscape Multibody; Simscape; VMD; CNS; OpenSim; … Main Fields: Approximations and expansions (41-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Snugglebug Software Authors: Chandra, S., Fink, S.J., Sridharan, M. Cited in: 7 Publications (2010–2021) Related Software: DART; STP; YOGI; KLEE; z3; CUTE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AGEDIS Software Authors: Hartman, A.; K. Nagin Cited in: 6 Publications (2003–2012) Related Software: SpecExplorer; UniTESK; AsmL; JPAX; Korat; STG; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Eclat Software Authors: Carlos Pacheco; Michael D. Ernst Cited in: 3 Publications (2007–2011) Related Software: JCrasher; Rostra; Symstra; CUTE; Korat; TestEra; … Main Fields: Computer science (68-XX)
Perracotta Software Authors: Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M. Cited in: 5 Publications (2008–2021) Related Software: SMArTIC; PR-Miner; Texada; PPTLMiner; Antichains; ADABU; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UCNS3D Software Authors: Antoniadis, A. F.; Drikakis, D.; Farmakis, P. S.; Fu, L.; Kokkinakis, I.; Nogueira, X.; Silva, P. A.; Skote, M.; Titarev, V.; Tsoutsanis, P. Cited in: 7 Publications (2020–2023) Related Software: HE-E1GODF; MOOD; OpenFOAM; HTR solver Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
VIATOC Software Authors: Kalmari, J., Backman, J., Visala, A. Cited in: 6 Publications (2017–2022) Related Software: ACADO; qpOASES; GRAMPC; qpDUNES; CasADi; acados; … Main Fields: (04-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
ACTS Software Authors: Yu L, Lei Y, Kacker RN, Kuhn DR Cited in: 6 Publications (2018–2022) Related Software: CAgen; AETG; PinPoint; testthat; xgboost; SAS; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
CAgen Software Authors: Wagner, M., Kleine, K., Simos, D.E., Kuhn, R., Kacker, R. Cited in: 6 Publications (2020–2023) Related Software: ACTS; AETG; PinPoint Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Checkmark Software Authors: Pereira, Shelby; Voloshynovskiy, Sviatoslav; Madueno, Maribel; Marchand-Maillet, Stéphan; Pun, Thierry Cited in: 3 Publications (2001–2021) Related Software: ZXing; Matlab; StirMark Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)
ConTest Software Authors: Edelstein, Orit; Farchi, Eitan; Goldin, Evgeny; Nir, Yarden; Ratsaby, Gil; Ur, Shmuel Cited in: 5 Publications (2003–2018) Related Software: veriSoft; Eraser; Java PathFinder; ISP; Snugglebug; CUTE; … Main Fields: Computer science (68-XX)
FocalTest Software Authors: Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud Cited in: 6 Publications (2011–2018) Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
HITEC Software Authors: Niermann, T.M., Patel, J.H. Cited in: 5 Publications (1994–2009) Related Software: HANNIBAL; PASSAT; SOCRATES; BerkMin; Chaff; MiniSat; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
seqCBS Software Authors: Jeremy J. Shen, Nancy R. Zhang Cited in: 6 Publications (2012–2019) Related Software: glmnet; SemiPar; Pindel; Delly; unbalhaar; CNV-seq; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Astronomy and astrophysics (85-XX)
Wendy Software Authors: Lohmann, Niels; Weinberg, Daniela Cited in: 3 Publications (2011–2020) Related Software: BPEL2oWFN; LOTOS; Woflan; BPEL2PN; YAWL; Metagraphs; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
AutoMOTGen Software Authors: Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh; Swarup Mohalik; K. C. Shashidhar Cited in: 4 Publications (2009–2021) Related Software: PHAVer; Simulink; DryVR; dReach; S-TaLiRo; Dymola; … Main Fields: Computer science (68-XX)
Casaal Software Authors: Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie Cited in: 4 Publications (2012–2014) Related Software: Uppaal; UPPAAL TIGA; APMC; GEZEL; Kronos; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
CPBPV Software Authors: Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal Cited in: 3 Publications (2010–2017) Related Software: TCAS; CBMC; MiniSat; STP; BINSEC/SE; OSMOSE; … Main Fields: Computer science (68-XX)
Geno Software Authors: Lämmel, Ralf; Schulte, Wolfram Cited in: 5 Publications (2006–2011) Related Software: Korat; DART; SpecExplorer; GenRGenS; jCUTE; HOL-TestGen; … Main Fields: Computer science (68-XX)
Harvey Software Authors: Greßler, Alexander; Oetsch, Johannes; Tompits, Hans Cited in: 5 Publications (2017–2021) Related Software: Potassco; ASPIDE; ezcsp; DLV2; PENGASP; Uhura; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
OSMOSE Software Authors: Bardin, S., Herrmann, P. Cited in: 3 Publications (2011–2017) Related Software: CBMC; GATeL; z3; ASTREE; MiniSat; STP; … Main Fields: Computer science (68-XX)
Prophet Software Authors: Long, Fan; Rinard, Martin Cited in: 3 Publications (2017–2021) Related Software: SemFix; Angelix; Codeflaws; Qlose; JFIX; GZoltar; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Quokka Software Authors: Li, F.; Li, C.; Marquez-Lago, T. T.; Leier, A.; Akutsu, T.; Purcell, A. W.; Ian Smith, A.; Lithgow, T.; Daly, R. J.; Song, J. Cited in: 5 Publications (2018–2019) Related Software: pLoc-mHum; iKcr-PseEns; pLoc-mGneg; pLoc-mAnimal; iRSpot-Pse6NC; iRO-3wPseKNC; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Simscape Software Authors: MathWorks Cited in: 5 Publications (2014–2020) Related Software: Matlab; GAZEBO; RotorS; ROS; Robotics; SolidWorks; … Main Fields: General and overarching topics; collections (00-XX); Approximations and expansions (41-XX); Mechanics of particles and systems (70-XX)
ADTEST Software Authors: Matthew J. Gallagher; V. Lakshmi Narasimhan Cited in: 1 Publication (2009) Related Software: Genocop; Korat; TATOO Main Fields: Computer science (68-XX)
CHEMEQ2 Software Authors: Mott, David R.; Oran, Elaine S. Cited in: 4 Publications (2000–2019) Related Software: VODE; AUSMPW+; ERENA; MTS; SUNDIALS; CHEMKIN; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
CONORBIT Software Authors: Regis, Rommel G.; Wild, Stefan M. Cited in: 4 Publications (2017–2019) Related Software: NOMAD; Boosters; ORBIT; EGO; UOBYQA; SDPEN; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
EvoSuite Software Authors: Gordon Fraser; Andrea Arcuri Cited in: 1 Publication (2019) Related Software: Python; Hypothesis; MutPy; TSTL; DLint; Pynguin; … Main Fields: Computer science (68-XX)
GSNCA Software Authors: Rahmatallah, Y.; Emmert-Streib, F.; Glazko, G., Cited in: 4 Publications (2016–2021) Related Software: copula; CDVine; copula; PINALOG; NETAL; HubAlign; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
HexDom Software Authors: Yuxuan Yu, Jialei Ginny Liu, Yongjie Jessica Zhang Cited in: 3 Publications (2022–2023) Related Software: HexGen; Hex2Spline; ABAQUS; Eigen; ParaView; LS-DYNA; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)
MetaSim Software Authors: Richter, D.C.; Ott, F.; Auch, A.F.; Schmid, R.; Huson, D.H. Cited in: 2 Publications (2017–2018) Related Software: ONE; BLAST; PSI-BLAST; MEGAN; Pfam; MetaCluster; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
multiSpeciesTransportModels Software Authors: Valerio Novaresio, María García-Camprubí, Salvador Izquierdo, Pietro Asinaria, Norberto Fueyo Cited in: 4 Publications (2012–2017) Related Software: OpenFOAM; allSpeedUnsteadFoam; AUSM; MRST; porousMultiphaseFoam; DuMuX; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)
RNGSSELIB Software Authors: Barash, L.Yu.; Shchur, L.N. Cited in: 4 Publications (2011–2017) Related Software: SSE2; RNGAVXLIB; TestU01; trng; MKL; GSL; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Information and communication theory, circuits (94-XX)
RUnit Software Authors: Matthias Burger, Klaus Juenemann, Thomas Koenig Cited in: 2 Publications (2009–2016) Related Software: R; CRAN; RSQLite; XML; Sxslt; ImageMagick; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
samoa2 Software Authors: Meister, Oliver; Rahnema, Kaveh; Bader, Michael Cited in: 4 Publications (2017–2020) Related Software: GEOCLAW; ForestClaw; Peano; p4est; Celeris; HLLE; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)
SANTE Software Authors: Chebaro, Omar; Kosmatov, Nikolai; Giorgetti, Alain; Julliand, Jacques Cited in: 1 Publication (2018) Related Software: Frama-C; PathCrawler; Coq; CUTE; DyTa; Clang Static Analyzer; … Main Fields: Computer science (68-XX)
ASAM Software Authors: Jähn M, Knoth O, König M, Vogelsberg U Cited in: 3 Publications (2016–2017) Related Software: ExnerFOAM; OpenFOAM; MPDATA; phipm; MATLAB ODE suite; ode23s; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
dgpf Software Authors: Weise, Thomas; Zapf, Michael; Khan, Mohammad Ullah; Geihs, Kurt Cited in: 3 Publications (2009–2013) Related Software: MSOPS-II; SIGOA; Genocop; CIXL2; pCMALib; MOCell; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
DyTa Software Authors: Ge X, Taneja K, Xie T, Tillmann N Cited in: 2 Publications (2017–2018) Related Software: Pex; SANTE; Frama-C; Coq; MarQ; LARVA; … Main Fields: Computer science (68-XX)
EigenKernel Software Authors: Tanaka, Kazuyuki; Imachi, Hiroto; Fukumoto, Tomoya; Kuwata, Akiyoshi; Harada, Yuki; Fukaya, Takeshi; Yamamoto, Yusaku; Hoshi, Takeo Cited in: 3 Publications (2019–2020) Related Software: GitHub; ELSES; EigenExa; ELPA; ScaLAPACK; k-ep; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
Euclide Software Authors: Arnaud Gotlieb; Benjamin Cama; Lande project-team at IRISA Cited in: 2 Publications (2012–2017) Related Software: CUTE; DART; Pex; Isabelle; TrueSkill; Luck; … Main Fields: Computer science (68-XX)
FEMB Software Authors: Klaus Höllig, Jörg Hörner Cited in: 2 Publications (2003–2015) Related Software: – Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX)
GRACE Software Authors: G. Belanger, F. Boudjema, J. Fujimoto, T. Ishikawa, T. Kaneko, K. Kato, Y. Shimizu Cited in: 2 Publications (2006–2013) Related Software: SLHALib; LoopTools; FormCalc; HFOLD; SFOLD; FORM; … Main Fields: Computer science (68-XX); Quantum theory (81-XX)
JMLUnit Software Authors: Zimmerman, Daniel M.; Nagmoti, Rinkesh Cited in: 3 Publications (2011–2022) Related Software: OpenJML; KeY; Eiffel; IdentityHashMap; JBMC; Why3; … Main Fields: Computer science (68-XX)
JST Software Authors: Ghosh I, Shafiei N, Li G, Chiang W Cited in: 3 Publications (2015–2017) Related Software: S3; Z3-str; PASS; HAMPI; Stranger; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KLOVER Software Authors: Guodong Li; Indradeep Ghosh; Sreeranga P. Rajan Cited in: 1 Publication (2017) Related Software: DART; Angelix; jCUTE; CIL; SemFix; Prophet; … Main Fields: Computer science (68-XX)
MDBenchmarks Software Authors: Favata, A; Micheletti, A; Ryu, S; Pugno, NM Cited in: 3 Publications (2016–2018) Related Software: Mathematica Main Fields: Mechanics of deformable solids (74-XX); Statistical mechanics, structure of matter (82-XX)
MPGENR Software Authors: Michaels, William M.; O'Neill, Richard P. Cited in: 3 Publications (1980–1993) Related Software: NETGEN Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
NAT2TEST Software Authors: Carvalho G, Barros F, Carvalho A, Cavalcanti A, Mota A, Sampaio A Cited in: 3 Publications (2016–2018) Related Software: Boogie; contractLarva; DeltaEcore; DarwinSPL; SCEst; SCCharts; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Systems theory; control (93-XX)
PASSAT Software Authors: Shi, J., Fey, G., Drechsler, R., Glowatz, A., Hapke, F., Schlöffel, J. Cited in: 3 Publications (2006–2009) Related Software: HANNIBAL; SOCRATES; HITEC; BerkMin; Chaff; SATIRE; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
PrologCheck Software Authors: Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor Cited in: 2 Publications (2014–2017) Related Software: K Prover; Nominal Isabelle; PoplMark; PLT Redex; K tool; SmallCheck; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
rSW-seq Software Authors: T.M. Kim, L.J. Luquette, R. Xi, P.J. Park Cited in: 3 Publications (2016–2017) Related Software: CNV-seq; SeqBBS; ReadDepth Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)
SNVer Software Authors: Zhi Wei, Wei Wang, Pingzhao Hu, Gholson J. Lyon, Hakon Hakonarson Cited in: 3 Publications (2013–2018) Related Software: Samtools; GATK; ExomeWalker; BCFtools; HTQC; Jannovar; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
SONOLAR Software Authors: Lapschies, F., Peleska, J., Gorbachuk, E., Mangels Cited in: 3 Publications (2014–2018) Related Software: ASTREE; MathSAT5; HOL Light; z3; XSat; UppSAT; … Main Fields: Computer science (68-XX)
SynSin Software Authors: Olivia Wiles, Georgia Gkioxari, Richard Szeliski, Justin Johnson Cited in: 1 Publication (2022) Related Software: ImageNet; PointNet; SinGAN; Pixel2Mesh; PIFu; PyTorch; … Main Fields: Computer science (68-XX)