PETSc Software Authors: S. Balay, W.D. Gropp, L.C. McInnes, B.F. Smith Cited in: 1,596 Publications (1996–2023) Related Software: FEniCS; hypre; MUMPS; SLEPc; Trilinos; Gmsh; … Main Fields: (86A99-XX); (86-08-XX)
SINGULAR Software Authors: Wolfram Decker; Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann Cited in: 1,542 Publications (1991–2023) Related Software: Macaulay2; CoCoA; Magma; SageMath; Maple; primdec; … Main Fields: (14Q99-XX); (13P99-XX); (68W30-XX)
Uppaal Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Cited in: 541 Publications (1990–2022) Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; … Main Fields: (68N99-XX)
AMPL Software Authors: Fourer, R., Gay, D.M., Kernighan, B.W. Cited in: 608 Publications (1989–2022) Related Software: CPLEX; Ipopt; GAMS; SNOPT; MINOS; Matlab; … Main Fields: –
Kronos Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine Cited in: 243 Publications (1997–2021) Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; … Main Fields: (68Q60-XX)
MapReduce Software Authors: Pan, Jie; Magoulès, Frédéric; Le Biannic, Yann Cited in: 198 Publications (2008–2022) Related Software: Hadoop; Spark; Dryad; Apache Spark; UCI-ml; Haskell; … Main Fields: –
LaTeX Software Authors: Leslie Lamport Cited in: 236 Publications (1988–2022) Related Software: TeX; EXPFIT4; Maple; NEW9p; numerov; LaTeXML; … Main Fields: –
Chord Software Authors: Stoica, I., Morris, R., Karger, D., Kaashoek, M. F., Balakrishnan, H Cited in: 87 Publications (2003–2022) Related Software: Pastry; BATON; Globus Toolkit; SCRIBE; BOINC; Dynamo; … Main Fields: –
DOLFIN Software Authors: Anders Logg, Johan Hoffman, Garth N. Wells, Johan Jansson, Ola Skavhaug, Kent-Andre Mardal, Martin Sandve Alnes, Johan Hake, Niclas Jansson, Johannes Ring, Kristian B. Ølgaard, Marie Rognes Cited in: 198 Publications (2004–2023) Related Software: FEniCS; PETSc; UFL; Python; SyFi; deal.ii; … Main Fields: –
SATO Software Authors: Zhang, H Cited in: 189 Publications (1996–2021) Related Software: Chaff; BerkMin; PSATO; MiniSat; DIMACS; Walksat; … Main Fields: –
NEURON Software Authors: Migliore, M.; Cannia, C.; Lytton, W.W.; Markram, Henry; Hines, M.L. Cited in: 137 Publications (1996–2022) Related Software: NEST; Brian; Pynn; XPPAUT; Spikenet; SpiNNaker; … Main Fields: (68U20-XX); (68T05-XX)
Isar Software Authors: Makarius Wenzel Cited in: 147 Publications (2000–2022) Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; … Main Fields: –
CADP Software Authors: Garavel, Hubert; Hermanns, Holger; CONVECS team Cited in: 110 Publications (1997–2022) Related Software: SPIN; LOTOS; PRISM; mCRL2; Uppaal; E-LOTOS; … Main Fields: (68M20-XX)
Chaco Software Authors: B. Hendrickson; R. Leland Cited in: 107 Publications (1995–2020) Related Software: METIS; Scotch; ParMETIS; PETSc; PARTY; MESHPART; … Main Fields: –
Pastry Software Authors: Rowstron, Antony; Druschel, Peter Cited in: 64 Publications (2001–2022) Related Software: Chord; SCRIBE; BATON; PeerSim; PlanetLab; UNITY; … Main Fields: (68U99-XX); (68M14-XX)
Nektar++ Software Authors: King, James; Yakovlev, Sergey; Fu, Zhisong; Kirby, Robert M.; Sherwin, Spencer J. Cited in: 105 Publications (2004–2022) Related Software: Gmsh; Nek5000; deal.ii; PETSc; PyFR; Matlab; … Main Fields: (65N30-XX); (35J05-XX); (65Y05-XX)
LARCH Software Authors: Guttag, John V.; Horning, James J. Cited in: 94 Publications (1989–2021) Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; … Main Fields: (68Q65-XX); (68N15-XX); (68Q60-XX)
Linda Software Authors: Gelernter, David Cited in: 76 Publications (1985–2020) Related Software: KLAIM; LIME; ReSpecT; TuCSoN; Klava; Maude; … Main Fields: (68N25-XX); (68N01-XX)
OMDoc Software Authors: Kohlhase, Michael Cited in: 88 Publications (2001–2021) Related Software: Coq; MMT; Mizar; ActiveMath; Isabelle/HOL; Automath; … Main Fields: (00A99-XX); (68T30-XX); (68W30-XX)
FEAST Software Authors: Tang, Ping Tak Peter; Polizzi, Eric Cited in: 89 Publications (2012–2022) Related Software: CIRR; JDQZ; lobpcg.m; SparseMatrix; JDQR; ARPACK; … Main Fields: –
Pict Software Authors: Pierce, Benjamin C.; Turner, David N Cited in: 69 Publications (1998–2022) Related Software: JoCaml; Maude; Oz; Erlang; MWB; Lolli; … Main Fields: –
OMNet++ Software Authors: András Varga Cited in: 33 Publications (2001–2021) Related Software: ns-2; Chord; GloMoSim; Gurobi; SSFNet; ns-3; … Main Fields: –
AntNet Software Authors: Di Caro, G.; Dorigo, M. Cited in: 48 Publications (1998–2015) Related Software: AntHocNet; MACS-VRPTW; HAS-SOP; Tabu search; HAS-QAP; ns-2; … Main Fields: (68T05-XX); (68M10-XX)
Zoltan Software Authors: Devine, K. D., Hendrickson, B. A., Boman, E. G., John, M. M. S., Vaughan, C Cited in: 54 Publications (2005–2022) Related Software: SparseMatrix; Trilinos; PaToH; SIERRA; PETSc; PT-Scotch; … Main Fields: (68R10-XX); (05C65-XX); (05C70-XX)
GloMoSim Software Authors: Xiang Zeng; Rajive Bagrodia; Mario Gerla Cited in: 37 Publications (2001–2015) Related Software: Parsec; ns-2; OMNet++; SWiMNet; PCBA; OPNET; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HSL_MI20 Software Authors: Boyle, Jonathan; Mihajlovi, Milan; Scott, Jennifer Cited in: 60 Publications (2009–2023) Related Software: IFISS; Matlab; AGMG; UMFPACK; HSL; GitHub; … Main Fields: (76M10-XX); (76R99-XX); (65F10-XX)
BOINC Software Authors: D.P. Anderson Cited in: 19 Publications (2006–2021) Related Software: XtremWeb; Globus Toolkit; Chord; Charlotte; MapReduce; Hadoop; … Main Fields: –
MPTP 0.2 Software Authors: Urban, Josef Cited in: 51 Publications (2006–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; … Main Fields: (68T15-XX)
COWS Software Authors: Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco Cited in: 46 Publications (2007–2020) Related Software: SPIN; CC-Pi; PiDuce; Maude; Orc; KLAIM; … Main Fields: (68M11-XX); (68N30-XX); (68Q55-XX)
petsc4py Software Authors: L. Dalcin, P. Kler, R. Paz, A. Cosimo Cited in: 48 Publications (2015–2023) Related Software: PETSc; mpi4py; Firedrake; FEniCS; Python; UFL; … Main Fields: –
Multisim Software Authors: National Instruments Corporation Cited in: 48 Publications (2004–2022) Related Software: Matlab; Fractional Order Chaotic Systems; CNN; DFOC; sysdfod Main Fields: (37D45-XX)
SPLASH-2 Software Authors: Woo, S. C.; Ohara, M.; Torrie, E.; Singh, J. P.; Gupta, A. Cited in: 20 Publications (1998–2018) Related Software: PARSEC; NAS Parallel Benchmarks; ALPBench; SimpleScalar; Eraser; UMDES; … Main Fields: –
NLTK Software Authors: Bird, Steven; Klein, Ewan; Loper, Edward Cited in: 25 Publications (2005–2022) Related Software: Python; Scikit; StanfordCoreNLP; WordNet; spaCy; Penn Treebank; … Main Fields: –
PSATO Software Authors: Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang Cited in: 41 Publications (1996–2021) Related Software: SATO; Chaff; MiniSat; ManySAT; Plingeling; Lingeling; … Main Fields: (68M10-XX)
GHC Software Authors: Ueda, Kazunori Cited in: 36 Publications (1986–2014) Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; … Main Fields: (68N01-XX); (68T15-XX); (68N25-XX)
SHARPE Software Authors: Sahner, Robin; Trivedi, Kishor S.; Puliafito, Antonio Cited in: 36 Publications (1992–2021) Related Software: Möbius; SMART_; SPNP; AToM3; TimeNET; PRISM; … Main Fields: (68M20-XX); (68M15-XX)
Uppaal2k Software Authors: Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin Cited in: 38 Publications (2000–2017) Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; … Main Fields: (68Q60-XX); (68Q85-XX)
BSPlib Software Authors: Jarvis, S. A.; Hill, J. M. D.; Siniolakis, C. J.; Vasilev, V. P. Cited in: 41 Publications (1997–2020) Related Software: BSPedupack; PVM; MulticoreBSP; SparseMatrix; NAS Parallel Benchmarks; SPARSKIT; … Main Fields: (68N19-XX); (68M99-XX)
EasyLocal++ Software Authors: Di Gaspero, L., Schaerf, A Cited in: 32 Publications (2001–2022) Related Software: Localizer; Tabu search; COMET; CPLEX; SALSA; ParaDisEO; … Main Fields: –
Lucid Software Authors: Wadge, William W.; Ashcroft, Edward A. Cited in: 34 Publications (1978–2015) Related Software: Haskell; Esterel; LUSTRE; SIGNAL; TransLucid; Sisal; … Main Fields: –
OMRS Software Authors: Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio Cited in: 38 Publications (1995–2009) Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; … Main Fields: (68M12-XX)
PARLOG Software Authors: Clark, Keith; Gregory, Steve Cited in: 36 Publications (1984–1993) Related Software: GHC; NARROWER; Haskell; SICStus; Janus; PVM; … Main Fields: (68N01-XX); (68N25-XX)
AFEM@matlab Software Authors: L Chen and C.-S. Zhang Cited in: 37 Publications (2008–2022) Related Software: Matlab; iFEM; ALBERTA; p1afem; Ameshref; ameshcoars; … Main Fields: –
WSAT Software Authors: Fu, Xiang; Bultan, Tevfik; Su, Jianwen Cited in: 29 Publications (2004–2019) Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; … Main Fields: (68Q60-XX)
ARock Software Authors: Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao Cited in: 35 Publications (2016–2022) Related Software: HOGWILD; iPiano; Finito; Saga; JuMP; Julia; … Main Fields: (49M05-XX); (65B99-XX); (65K10-XX)
CONEST Software Authors: Higham, Nicholas J. Cited in: 35 Publications (1988–2022) Related Software: SONEST; LAPACK; Algorithm 674; mctoolbox; Matlab; CLAPACK; … Main Fields: (65F35-XX); (15A60-XX)
P-SPARSLIB Software Authors: Saad, Youcef; Wu, Kesheng Cited in: 35 Publications (1992–2010) Related Software: PETSc; AztecOO; Aztec; METIS; LAPACK; SPARSKIT; … Main Fields: (65F10-XX); (65F50-XX); (65Y05-XX)
SONEST Software Authors: Higham, Nicholas J. Cited in: 35 Publications (1988–2022) Related Software: CONEST; LAPACK; Algorithm 674; mctoolbox; Matlab; CLAPACK; … Main Fields: –
MediaBench Software Authors: Lee, C., Potkonjak, M., Mangione-Smith, W.H. Cited in: 16 Publications (2001–2016) Related Software: MiBench; SimpleScalar; Wattch; CACTI; SEC-DED; RTMemController; … Main Fields: –
MONACO Software Authors: – Cited in: 33 Publications (1996–2020) Related Software: SMILE; dsmcFoam; CUDA; NOISETTE; Nesvetay; FlowModellium; … Main Fields: –
3APL Software Authors: M. Dastani, F. Dignum, J.-J. Meyer Cited in: 23 Publications (2001–2016) Related Software: AgentSpeak; Jadex; Jason; KARO; 2APL; ConGolog; … Main Fields: –
PMaude Software Authors: Gul Agha; José Meseguer; Koushik Sen Cited in: 28 Publications (2005–2022) Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; … Main Fields: –
KQML Software Authors: Tim Finin, Richard Fritzson, Donald P McKay, Robin McEntire Cited in: 15 Publications (1996–2016) Related Software: Prodigy; Globus Toolkit; Qu-Prolog; OMDoc; OMRS; TABLEAUX; … Main Fields: –
CC-Pi Software Authors: Maria Grazia Buscemi, Ugo Montanari Cited in: 28 Publications (2007–2022) Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; … Main Fields: –
MANIFOLD Software Authors: Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A. Cited in: 27 Publications (1993–2012) Related Software: Linda; Reo; LIME; KLAIM; Oz; Rapide; … Main Fields: (68Q85-XX); (68N17-XX); (68Q55-XX)
CRYPTIM Software Authors: Ustimenko, Vasyl Cited in: 29 Publications (2001–2015) Related Software: CRYPTALL; Galois Field Arithmetic Library Main Fields: (94A60-XX); (68P25-XX); (05C90-XX)
Hypertool Software Authors: Wu M.Y., Gajski D.D. Cited in: 17 Publications (2007–2019) Related Software: Condor-G; STG; Noodle; Pegasus; DRSCRO; OpenNebula; … Main Fields: –
LSRN Software Authors: Meng, Xiangrui; Saunders, Michael A.; Mahoney, Michael W. Cited in: 28 Publications (2011–2022) Related Software: Blendenpik; LSQR; Regularization tools; LSMR; PDCO; SparseMatrix; … Main Fields: –
MINRES-QLP Software Authors: Choi, Sou-Cheng T.; Saunders, Michael A. Cited in: 26 Publications (2011–2022) Related Software: MINRES; SparseMatrix; LSQR; LSMR; Matlab; ARPACK; … Main Fields: (65F10-XX); (65F20-XX); (65F50-XX)
MOSEL Software Authors: Björn Beutel; Helmut Herold; Almási, B.; Bolch, G.; Tutsch, D.; et.al Cited in: 26 Publications (1998–2021) Related Software: lcpSim; SPNP; GreatSPN 1.7; GreatSPN; SHARPE; MARKMOD; … Main Fields: –
preCICE Software Authors: Hans-Joachim Bungartz, Gerasimos Chourdakis, Kyle Davis, Berhard Gatzhammer, Florian Lindner, Miriam Mehl, Alexander Rusch, Benjamin Rüth, Klaudius Scheufele, Frédéric Simonis, Amin Totounferoush, Benjamin Uekermann Cited in: 26 Publications (2010–2022) Related Software: MpCCI; deal.ii; MUI; OpenFOAM; FEniCS; UMFPACK; … Main Fields: (74F10-XX); (76M20-XX)
Creol Software Authors: Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh Cited in: 25 Publications (2006–2022) Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; … Main Fields: (68M14-XX)
2DECOMP Software Authors: N. Li; S. Laizet Cited in: 25 Publications (2013–2022) Related Software: FFTW; PFFT; P3DFFT; CaNS; incompact3d; AFiD; … Main Fields: –
CoCasl Software Authors: Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz Cited in: 26 Publications (2003–2014) Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; … Main Fields: –
D-ADMM Software Authors: Mota, João F. C.; Xavier, João M. F.; Aguiar, Pedro M. Q.; Püschel, Markus Cited in: 26 Publications (2013–2022) Related Software: Saga; RACQP; lcmm; clusterpath; msgl; glmnet; … Main Fields: (94A05-XX); (62J07-XX); (94A08-XX)
NOEKEON Software Authors: Daemen, J., Peeters, M., Assche, G.V., Rijmen, V. Cited in: 26 Publications (2002–2022) Related Software: PRESENT; SPECK; SIMON; LED; PRINCE; SIMECK; … Main Fields: (94A60-XX)
PICO Software Authors: Eckstein, Jonathan; Phillips, Cynthia A.; Hart, William E. Cited in: 25 Publications (2001–2019) Related Software: SYMPHONY; ALPS; MIPLIB; MINTO; ABACUS; CHiPPS; … Main Fields: (90C57-XX); (90-08-XX); (65Y05-XX)
UG Software Authors: Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch Cited in: 25 Publications (2012–2022) Related Software: ParaSCIP; SCIP; MIPLIB; CPLEX; MIPLIB2003; Gurobi; … Main Fields: (68M12-XX)
BoxLib Software Authors: CCSE Cited in: 19 Publications (1998–2022) Related Software: Chombo; PARAMESH; CASTRO; SAMRAI; Carpet; MAESTRO; … Main Fields: –
PROSPER Software Authors: Dennis, Louise A.; Collins, Graham; Norrish, Michael; Boulton, Richard; Slind, Konrad; Robinson, Graham; Gordon, Mike; Melham, Tom Cited in: 23 Publications (2000–2009) Related Software: PVS; OMRS; Gandalf; HOL; Maple; ML; … Main Fields: (68U99-XX); (68Q60-XX)
SqueezeNet Software Authors: Forrest N. Iandola, Song Han, Matthew W. Moskewicz, Khalid Ashraf, William J. Dally, Kurt Keutzer Cited in: 20 Publications (2017–2022) Related Software: ImageNet; MobileNets; AlexNet; Adam; Caffe; Xception; … Main Fields: –
waLBerla Software Authors: Donath, S.; Götz, J.; Feichtinger, C.; Igiberger, K.; Rüde, U. Cited in: 21 Publications (2010–2022) Related Software: Palabos; OpenLB; Peano; LB3D; p4est; Gerris; … Main Fields: Fluid mechanics (76-XX)
POOMA Software Authors: Atlas S, Banerjee S, Cummings J, Hinker P, Srikant M, Reynders J, Tholburn M Cited in: 18 Publications (2000–2019) Related Software: Boost; Blitz++; Matlab; ATLAS; PETSc; EinSum; … Main Fields: –
Summary SQL Software Authors: Dan Rasmussen; Ronald R. Yager Cited in: 16 Publications (1999–2017) Related Software: SAINTETIQ; PostgreSQL; FuzzyCLIPS Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Algorithm 674 Software Authors: Higham, Nicholas J. Cited in: 21 Publications (1989–2016) Related Software: CONEST; SONEST; LAPACK; mctoolbox; Matlab; BLAS; … Main Fields: (65F35-XX)
ELIZA Software Authors: Weizenbaum, Joseph Cited in: 9 Publications (1972–2022) Related Software: Alana; AggGen; SafetyKit; Ghiro; JPEGsnoop; FotoForensics; … Main Fields: (68-03-XX)
Ligero Software Authors: Ames, S., Hazay, C., Ishai, Y., Venkitasubramaniam, M. Cited in: 21 Publications (2018–2022) Related Software: ZKBoo; libiop; Libra; SNARKs for C; Marlin; Pinocchio; … Main Fields: –
P - ARPACK Software Authors: Maschhoff, K.J.; Sorensen, D.C. Cited in: 21 Publications (1996–2020) Related Software: ARPACK; eigs; Aztec; LAPACK; SLEPc; IRAM; … Main Fields: (65F15-XX); (65Y05-XX); (65Y15-XX)
Parsol Software Authors: Jakusšev, Alexander; Čiegis, Raimondas; Laukaitytė, Inga; Trofimov, Vyacheslav Cited in: 19 Publications (2005–2017) Related Software: PETSc; BALaser; Diffpack; ParaView; MITK; FREEFLOW; … Main Fields: –
DECAF Software Authors: Graham, John R.; Decker, Keith S. Cited in: 11 Publications (2000–2005) Related Software: Voyager; GroupKit; GOLOG; ABLE; Jason; TAEMS; … Main Fields: (68U99-XX); (68T99-XX)
Dryad Software Authors: Isard, M.; Budiu, M.; Yu, Y.; Birrell, A.; Fetterly, D. Cited in: 13 Publications (2009–2022) Related Software: MapReduce; Hadoop; Spark; DryadLINQ; Pregel; Java CoG Kit; … Main Fields: –
MetaMorph Software Authors: Maturana, F.; Shen, W.; Norrie, D.H. Cited in: 18 Publications (1999–2010) Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; … Main Fields: (90B30-XX)
WORHP Software Authors: Christof Büskens; Dennis Wassel Cited in: 20 Publications (2012–2022) Related Software: Ipopt; SNOPT; HSL; AMPL; KNITRO; OOQP; … Main Fields: –
FGMRES Software Authors: Frayssé, V., Giraud, L., Gratton, S Cited in: 19 Publications (2004–2019) Related Software: GMRES; SparseMatrix; POP; MUMPS; mctoolbox; AMDiS; … Main Fields: (65F10-XX); (35J25-XX); (65N55-XX)
pcl Software Authors: Vogel, Andreas; Reiter, Sebastian; Rupp, Martin; Nägel, Arne; Wittum, Gabriel Cited in: 19 Publications (2013–2021) Related Software: libGrid; libDiscretization; libAlgebra; UG4; SuperLU; JDQZ; … Main Fields: –
Voyager Software Authors: G. Glass; ObjectSpace Cited in: 14 Publications (2000–2006) Related Software: Aglets; Concordia; DECAF; KLAIM; Pfinder; MAWS; … Main Fields: –
ALPS Software Authors: Ralphs, T.K.; Ládanyi, L.; Saltzman, M.J. Cited in: 17 Publications (2004–2022) Related Software: BiCePS; CHiPPS; BLIS; SYMPHONY; PICO; CPLEX; … Main Fields: –
BCI2000 Software Authors: Schalk G, McFarland D J, Hinterberger T, Birbaumer N, Wolpaw J R Cited in: 10 Publications (2016–2021) Related Software: PhysioToolkit; EEGLAB; OpenViBE; Brainstorm; BCILAB; rtMEG; … Main Fields: –
Giotto Software Authors: Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch Cited in: 14 Publications (2001–2022) Related Software: Kronos; SIGNAL; Esterel; Ptolemy; Uppaal; fast_mpc; … Main Fields: –
HPCC Software Authors: Saini, Subhash; Ciotti, Robert; Gunney, Brian T.N.; Spelce, Thomas E.; Koniges, Alice; Dossa, Don; Adamidis, Panagiotis; Rabenseifner, Rolf; Tiyyagura, Sunil R.; Mueller, Matthias Cited in: 9 Publications (1999–2021) Related Software: LINPACK; NAS Parallel Benchmarks; STREAM; SparseMatrix; Matrix Depot; zeroin; … Main Fields: (68M20-XX); (68M99-XX)
SolidWorks Software Authors: Dassault Systèmes SolidWorks Corp. Cited in: 17 Publications (2008–2022) Related Software: ANSYS; Matlab; OptiStruct; GAZEBO; RotorS; ROS; … Main Fields: –
UEGO Software Authors: Jelasity, Márk; Martínez Ortigosa, Pilar; García, Inmaculada Cited in: 14 Publications (2001–2018) Related Software: Tabu search; PROFIL/BIAS; C-XSC; PyMOL; CEC 05; DEoptim; … Main Fields: (68U99-XX); (68T20-XX)
BLACS Software Authors: Jack Dongarra; R. Clint Whaley Cited in: 16 Publications (1996–2016) Related Software: LAPACK; ScaLAPACK; MPI; BLAS; Trilinos; PSBLAS; … Main Fields: –
FairplayMP Software Authors: Ben-David, A., Nisan, N., Pinkas, B. Cited in: 11 Publications (2012–2022) Related Software: TASTY; VIFF; VMCrypt; Sharemind; ZIDS; ABY; … Main Fields: –
GMRES Software Authors: Frayssé, Valéire Author Profile; Giraud, Luc; Gratton, Serge; Langou, Julien Cited in: 15 Publications (2004–2018) Related Software: FGMRES; BiCGstab; mctoolbox; LAPACK; MUMPS; LOCA; … Main Fields: (65F10-XX); (65F35-XX); (65Y15-XX)
OpenXM Software Authors: Maekawa, Masahide; Noro, Masayuki; Takayama, Nobuki; Tamura, Yasushi; Ohara, Katsuyoshi Cited in: 16 Publications (2001–2022) Related Software: Risa/Asir; Macaulay2; SINGULAR; Kan; Plural; noro_pd; … Main Fields: (68W30-XX)
scyther Software Authors: Cremers, C. Cited in: 14 Publications (2009–2017) Related Software: AVISPA; Akiss; TAMARIN; Casper; ConfiChair; Apte; … Main Fields: –
GotoBLAS Software Authors: Texas Advanced Computing Center Cited in: 15 Publications (2008–2022) Related Software: ATLAS; LAPACK; Algorithm 97; PHiPAC; CHOLMOD; OpenBLAS; … Main Fields: –
HordeSat Software Authors: Balyo, Tomáš; Sanders, Peter; Sinz, Carsten Cited in: 12 Publications (2015–2021) Related Software: Plingeling; ManySAT; Lingeling; Treengeling; MiniSat; Paracooba; … Main Fields: (68Q25-XX); (68T20-XX)
Horus Software Authors: Robbert Van Renesse , Takako M. Hickey , Kenneth P. Birman Cited in: 12 Publications (1995–2019) Related Software: Nuprl; PVS; Verdi; PSync; PlusCal; SPIN; … Main Fields: –