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)
REDUCE Software Authors: Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm Cited in: 735 Publications (1970–2021) Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; … Main Fields: (34-04-XX); (65Y15-XX); (35A30-XX)
OPQ Software Authors: Gautschi, Walter Cited in: 453 Publications (2004–2022) Related Software: Matlab; DLMF; OrthogonalPolynomials; ORTHPOL; Chebfun; Mathematica; … Main Fields: (42-02-XX); (33-02-XX); (42C05-XX)
CGAL Software Authors: CGAL Editorial Board Cited in: 382 Publications (2000–2023) Related Software: LEDA; 2D triangulations; 2D Arrangement; Triangle; Boost; Qhull; … Main Fields: (68U05-XX)
COBOL Software Authors: Grace Hopper Cited in: 170 Publications (1960–2020) Related Software: PL/I; ALGOL 60; Ada95; dBase; DB2; ASF+SDF; … Main Fields: –
TISEAN Software Authors: Rainer Hegger, Holger Kantz, Thomas Schreiber Cited in: 164 Publications (1999–2022) Related Software: Matlab; K2; SciPy; igraph; pyunicorn; Python; … Main Fields: (37M10-XX); (65Y15-XX)
LiE Software Authors: A.M. Cohen, B. Lisser, M.A.A. van Leeuwen Cited in: 164 Publications (1993–2022) Related Software: Magma; Mathematica; Macaulay2; GAP; Maple; SageMath; … Main Fields: –
SnapPea Software Authors: Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R. Cited in: 165 Publications (1992–2022) Related Software: Snap; SnapPy; Regina; Magma; GAP; Knotscape; … Main Fields: –
GraphBase Software Authors: Knuth, Donald E. Cited in: 137 Publications (1993–2022) Related Software: LOLIB; LEDA; Pajek datasets; DIMACS; TSPLIB; R; … Main Fields: –
LISP Software Authors: McCarthy, John Cited in: 111 Publications (1960–2020) Related Software: ACL2; NQTHM; Haskell; ML; Coq; REDUCE; … Main Fields: –
SYMMGRP Software Authors: Hereman, Willy; B. Champagne; P. Winternitz Cited in: 120 Publications (1993–2022) Related Software: Maple; SYMMGRP.MAX; LIE; diffgrob2; DIMSYM; Mathematica; … Main Fields: (68W30-XX); (35-04-XX); (22E60-XX)
GL(n)pack Software Authors: Kevin Broughan Cited in: 106 Publications (2006–2022) Related Software: LMFDB; Mathematica; SageMath; ecdata Main Fields: –
RelView Software Authors: Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael Cited in: 103 Publications (1991–2022) Related Software: Isabelle/HOL; Prover9; Rath; Mace4; Sledgehammer; HOL; … Main Fields: (68W30-XX)
FISHPAK Software Authors: Adams, J., Swarztrauber, P., Sweet, R Cited in: 102 Publications (1979–2022) Related Software: IIMPACK; MUDPACK-2; MUDPACK; Matlab; LAPACK; FFTW; … Main Fields: –
PHYLIP Software Authors: Felsenstein, J. Cited in: 87 Publications (1996–2021) Related Software: ClustalW; PAUP*; MrBayes; fastDNAml; PAML; BIONJ; … Main Fields: –
Knot Atlas Software Authors: Bar-Natan, Dror; Morrison, Scott Cited in: 97 Publications (2005–2022) Related Software: KnotInfo; Khoho; Knotscape; KnotTheory; qZeil; GitHub; … Main Fields: –
PALP Software Authors: M. Kreuzer, H. Skarke Cited in: 72 Publications (2003–2022) Related Software: SageMath; TOPCOM; Calabi-Yau database; SINGULAR; cohomCalg; OEIS; … Main Fields: (14-04-XX); (52B20-XX); (14M25-XX)
BGL Software Authors: JG Siek, LQ Lee, A Lumsdaine Cited in: 55 Publications (2007–2022) Related Software: Boost; Boost C++ Libraries; CGAL; LEDA; STL; CPLEX; … Main Fields: –
PAUP* Software Authors: David Swofford Cited in: 49 Publications (1987–2021) Related Software: PHYLIP; RAxML; MrBayes; PAML; ClustalW; fastDNAml; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
LPbook Software Authors: Vanderbei, Robert J. Cited in: 49 Publications (2001–2021) Related Software: NETLIB LP Test Set; LOQO; Matlab; SeDuMi; CPLEX; PDCO; … Main Fields: (90-01-XX); (90C05-XX)
KeYmaera Software Authors: Platzer, André; Quesel, Jan-David Cited in: 48 Publications (2008–2022) Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; … Main Fields: (68T15-XX); (68Q60-XX)
ADCIRC Software Authors: Rick Luettich; Joannes Westerink; Randall Kolar; Clint Dawson Cited in: 48 Publications (1994–2022) Related Software: TELEMAC; GEOCLAW; GitHub; Gmsh; PETSc; UTBEST3D; … Main Fields: –
ITPACK Software Authors: Kincaid, David R.; Young, David M. Cited in: 44 Publications (1979–2017) Related Software: ITPACK 2C; ELLPACK; CUDA; LINPACK; CUSPARSE; SparseMatrix; … Main Fields: (65F10-XX); (65F50-XX); (15-04-XX)
CARAT Software Authors: J. Opgenorth, W. Plesken, T. Schulz; Franz Gähler Cited in: 43 Publications (1998–2021) Related Software: GAP; Magma; CrystCat; Orbifolder; Carat; HAP; … Main Fields: –
CirCut Software Authors: Burer, Samuel; Monteiro, Renato D. C.; Zhang, Yin Cited in: 42 Publications (1990–2022) Related Software: Outward rotations; SDPLR; Tabu search; COL; SeDuMi; Biq Mac; … Main Fields: (90C06-XX); (90C27-XX); (90C30-XX)
dcc Software Authors: Naumann, Uwe Cited in: 40 Publications (2012–2021) Related Software: ADOL-C; TAPENADE; SUNDIALS; FEniCS; dco/c++; revolve; … Main Fields: (65D25-XX); (65-02-XX); (68W30-XX)
ERATO Software Authors: Gruber, R.; Troyon, F.; Berger, D.; Bernard, L. C.; Roussert, S.; Schreiber, R.; Kerner, W.; Schneider, W.; Roberts, K. V. Cited in: 40 Publications (1979–2022) Related Software: XTOR; CHEASE; GATO; CASTOR; ECOM; FINESSE; … Main Fields: –
STeP Software Authors: N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe Cited in: 33 Publications (1997–2015) Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; … Main Fields: –
MPICH-G2 Software Authors: Karonis, Nicholas T.; Toonen, Brian; Foster, Ian Cited in: 17 Publications (2003–2010) Related Software: Globus Toolkit; MPI; MPI/MPICH; PVM; LAM-MPI; CrossGrid; … Main Fields: (68M14-XX); (68M12-XX)
PNM Software Authors: Aberth, Oliver Cited in: 35 Publications (1992–2021) Related Software: INTOPT_90; C-XSC 2.0; C-XSC; INTLAB; MPFI; intpakX; … Main Fields: (65-01-XX); (65Dxx-XX); (65Hxx-XX)
VisualStudio.NET Software Authors: Microsoft Cited in: 27 Publications (2002–2023) Related Software: ASP.NET; Visual Basic; Visual C#; MS SQL Server; MySQL; Mathematica; … Main Fields: –
DarkSUSY Software Authors: P Gondolo; J Edsjö; P Ullio; L Bergström; M Schelke; E A Baltz Cited in: 26 Publications (2006–2018) Related Software: micrOMEGAs; SOFTSUSY; PYTHIA8; MicrOMEGAs 2.0; SuSpect; SuperIso Relic; … Main Fields: –
GP-SCL Software Authors: Vudragović, Dušan; Vidanović, Ivana; Balaž, Antun; Muruganandam, Paulsamy; Adhikari, Sadhan K. Cited in: 27 Publications (2009–2022) Related Software: AEDU; Gross-Pitaevskii; imagetime1d; CUDA; BEC-GP-OMP-FOR; realtime3d-hyb; … Main Fields: (35-04-XX); (35Q55-XX); (35Q82-XX)
ALDOR Software Authors: aldor.org; Bronstein, Manuel Cited in: 26 Publications (1997–2014) Related Software: AXIOM; Maple; SageMath; JAS; Orbital library; SINGULAR; … Main Fields: –
FLagSHyP Software Authors: Bonet, Javier; Gil, Antonio J.; Wood, Richard D. Cited in: 27 Publications (2016–2023) Related Software: Gmsh; HYPLAS; ABAQUS; Matlab; PRMLT; PMTK; … Main Fields: (74-01-XX); (74S05-XX)
GRIN Software Authors: Serkan Hosten, Bernd Sturmfels Cited in: 27 Publications (1995–2017) Related Software: Macaulay2; CoCoA; SINGULAR; 4ti2; Gfan; SageMath; … Main Fields: –
AFNI Software Authors: Robert W. Cox Cited in: 16 Publications (2008–2022) Related Software: FSL; R; FMRISTAT; RNiftyReg; AnalyzeFMRI; oro.nifti; … Main Fields: –
qGCL Software Authors: Zuliani, Paolo Cited in: 23 Publications (2000–2021) Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; … Main Fields: –
SPHEREPACK Software Authors: John C. Adams, Paul N. Swarztrauber Cited in: 24 Publications (1998–2018) Related Software: SHTOOLS; Chebfun; chammp; Travis CI; uvcdat; xarray; … Main Fields: –
SYMMETRICA Software Authors: SYMMETRICA team at Lehrstuhl Mathematik II of the University of Bayreuth Cited in: 26 Publications (1992–2017) Related Software: Maple; PERMS; Ricci; lowerbounds-survey; GitHub; MuPAD-Combinat; … Main Fields: (20B40-XX); (20C40-XX)
cheney-kincaid Software Authors: Cheney, Ward; Kincaid, David Cited in: 23 Publications (1985–2012) Related Software: MACSYMA; Matlab; Mathematica; Maple; SimGen; PLTMG; … Main Fields: (65-01-XX); (00A06-XX); (65G50-XX)
SACLIB Software Authors: David G. Richardson: Werner Krandick Cited in: 23 Publications (1993–2009) Related Software: QEPCAD; Maple; FOXBOX; REDUCE; REDLOG; ELIMINO; … Main Fields: –
CANONIK Software Authors: Rand, D.W. Cited in: 24 Publications (1987–2018) Related Software: SPLIT; SYMMGRP.MAX; diffgrob2; ELIAS; Maple; Galaxy; … Main Fields: (17-04-XX); (17B05-XX)
wavetrain Software Authors: Sherratt, Jonathan A. Cited in: 24 Publications (2012–2023) Related Software: AUTO; HomCont; AUTO-07P; PRED_PREY; AUTO-86; Matlab; … Main Fields: (65M99-XX); (35G20-XX); (65M12-XX)
ITSM2000 Software Authors: Brockwell, Peter J.; Davis, Richard A. Cited in: 19 Publications (2016–2022) Related Software: itsmr; astsa; GitHub; Python; Matlab; sapa; … Main Fields: –
POWHEG BOX Software Authors: Alioli, Simone; Nason, Paolo; Oleari, Carlo; Re, Emanuele Cited in: 23 Publications (2010–2021) Related Software: MC@NLO; PYTHIA8; MadGraph; Herwig++; SHERPA; MadFKS; … Main Fields: (81V05-XX); (81T15-XX); (65C05-XX)
TBSIM Software Authors: Emery X, Lantuejoul C Cited in: 22 Publications (2008–2022) Related Software: GSLIB; Algorithm 1013; GPvecchia; RandomFields; smerfs; energy; … Main Fields: –
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: –
LPL software Software Authors: Dave Barker-Plummer, Jon Barwise, John Etchemendy; Albert Liu, Michael Murray, Emma Pease Cited in: 17 Publications (2000–2020) Related Software: EPGY; REDUCE; OTTER; ralgb5; ralgb4; IntLinInc3D; … Main Fields: –
Maria Software Authors: M"akel"a, Marko Cited in: 19 Publications (2000–2021) Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; … Main Fields: (68N99-XX); (68Q85-XX)
NCSOStools Software Authors: Cafuta, Kristijan; Klep, Igor; Povh, Janez; Sabine Burgdorf. Cited in: 19 Publications (2010–2022) Related Software: Matlab; NCAlgebra; SeDuMi; GloptiPoly; SDPT3; SDPA; … Main Fields: (90C22-XX); (13J30-XX); (11E25-XX)
SDPARA Software Authors: M. Yamashita; K. Fujisawa; M. Kojima Cited in: 17 Publications (2004–2019) Related Software: SeDuMi; SDPA; SDPT3; CSDP; SDPLIB; SDPLR; … Main Fields: –
Graffiti.pc Software Authors: D.B. West; S. Fajtlowicz; E. DeLaViña Cited in: 16 Publications (2007–2020) Related Software: GRAFFITI Main Fields: –
Giac Software Authors: B. Parisse Cited in: 15 Publications (2010–2021) Related Software: GeoGebra; SINGULAR; Xcas; GEX; SageMath; GEOTHER 1.1; … Main Fields: –
JASMIN Software Authors: Z. Mo, A. Zhang, X. Cao, Q. Liu, X. Xu, H. An, W. Pei, S. Zhu Cited in: 14 Publications (2014–2021) Related Software: hypre; BoomerAMG; BoxLib; JAUMIN; PETSc; HOSTA; … Main Fields: –
Clipper Software Authors: Nantucket Corporation Cited in: 4 Publications (1992–1993) Related Software: dBase; FoxPro; Paradox; PL/I; COBOL; WordPerfect; … Main Fields: –
CoDiPack Software Authors: Max Sagebaum, Tim Albring, Nicolas Gauger Cited in: 14 Publications (2018–2023) Related Software: ADOL-C; SU2; dco/c++; TAF; TAPENADE; dcc; … Main Fields: –
VFGEN Software Authors: Weckesser, Warren Cited in: 14 Publications (2008–2020) Related Software: pythNon; DAETS; SCHOL; Maple; DDE-BIFTOOL; dde23; … Main Fields: (65Y15-XX); (34-04-XX); (34K28-XX)
EDDIE Software Authors: Edward Tsang Cited in: 12 Publications (1992–2009) Related Software: Matlab; EVIM; GAP Main Fields: –
GRESS Software Authors: Horwedel, Jim E. Cited in: 13 Publications (1991–2018) Related Software: ADIFOR; ADOL-C; ADIC; PADRE2; TAF; Odyssee; … Main Fields: (68U99-XX); (68U20-XX)
OmniRPC Software Authors: Sato, Mitsuhisa; Hirano, Motonari; Tanaka, Yoshio; Sekiguchi, Satoshi Cited in: 12 Publications (2001–2013) Related Software: Ninf-G/MPI; GridSolve; NetSolve; Specomp; Diet; XtremWeb; … Main Fields: (68U99-XX); (68N19-XX)
isl Software Authors: Verdoolaege, Sven Cited in: 11 Publications (2009–2018) Related Software: Omega; barvinok; TRACO; 4ti2; PipLib; Macaulay2; … Main Fields: (68W30-XX); (52B55-XX); (68N30-XX)
MathLink Software Authors: wolfram.com Cited in: 12 Publications (1995–2011) Related Software: Mathematica; C-XSC; ParLinSys; filib++; K2K; LaunchSlave; … Main Fields: –
OpenAD Software Authors: Utke, J Cited in: 12 Publications (2005–2016) Related Software: OpenAD/F; ADIFOR; ADIC; ADOL-C; Autodiff; TAPENADE; … Main Fields: –
OSiL Software Authors: Fourer, Robert; Ma, Jun; Martin, Kipp Cited in: 10 Publications (2005–2022) Related Software: AMPL; GAMS; LINDO; MINOS; ANTIGONE; MINLPLib; … Main Fields: (90-08-XX); (90Cxx-XX); (68M11-XX)
RedHom Software Authors: Juda, Mateusz; Mrozek, Marian Cited in: 12 Publications (2012–2017) Related Software: GAP; CAPD; CHomP; Library of Triangulations; Simplicial complex library; Perseus; … Main Fields: –
BitBlaze Software Authors: D.X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M.G. Kang, Z. Liang, J. Newsome, P. Poosankam, P. Saxena Cited in: 6 Publications (2012–2019) Related Software: BAP; Dytan; DART; Java PathFinder; DynOpVm; VMHunt; … Main Fields: –
BPPLIB Software Authors: Delorme, Maxence; Iori, Manuel; Martello, Silvano Cited in: 11 Publications (2018–2022) Related Software: OR-Library; TSpack; CPLEX; 2DCPackGen; VRPH; QAPLIB; … Main Fields: (90C-XX)
SDeval Software Authors: A. Heinle, V. Levandovskyy Cited in: 11 Publications (2013–2020) Related Software: SymbolicData; SINGULAR; Maple; SageMath; NCPOLY; ALLTYPES; … Main Fields: –
ADOL-F Software Authors: Shiriaev, Dmitri; Griewank, Andreas Cited in: 10 Publications (1996–2018) Related Software: ADIFOR; ADOL-C; FADBAD++; ADIC; TAMC; ADiMat; … Main Fields: (65D25-XX); (65Y15-XX)
FoCaLiZe Software Authors: INRIA; Pessaux, F., Weia, P., Doligez, D. Cited in: 8 Publications (2015–2021) Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; … Main Fields: –
MCSim Software Authors: Frederic Y. Bois, Don R. Maszle Cited in: 5 Publications (2007–2021) Related Software: deSolve; httk; R; pksensi; SAFE Toolbox; SALib; … Main Fields: –
SEAWAT Software Authors: Langevin, C.D., Thorne, D.A., Guo, W. Cited in: 10 Publications (2005–2022) Related Software: MODFLOW; FEFLOW; TOUGH; OpenGeoSys; INMOST; GeRa; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)
Senseval Software Authors: Rada Mihalcea Cited in: 7 Publications (2001–2012) Related Software: WordNet; TnT; SemCor; Europarl; GermaNet; DBpedia; … Main Fields: –
DNAD Software Authors: Yu, Wenbin; Blair, Maxwell Cited in: 9 Publications (2013–2022) Related Software: DiffSharp; ADiGator; Matlab; MPI; AceFEM; Tulliotools; … Main Fields: –
SPECTRE Software Authors: Kundert, Kenneth S. Cited in: 9 Publications (1995–2022) Related Software: SPICE; Algorithm 647; TOMS659; Algorithm 823; TR-BDF2; CHORAL Main Fields: (94-02-XX); (94C99-XX); (68U07-XX)
SPLIT Software Authors: Rand, D.W.; Winternitz, P.; Zassenhaus, Hans Cited in: 9 Publications (1987–2012) Related Software: CANONIK; RADICAL; diffgrob2; SYMMGRP.MAX; LEVI; Maple Main Fields: (17-04-XX); (17B05-XX)
ADE-4 Software Authors: Jean Thioulouse; Daniel Chessel; Sylvain Dole´dec; Jean-Michel Olivier Cited in: 6 Publications (1996–2017) Related Software: mixOmics; CCA; R; Matlab; S-PLUS; CORSPOND; … Main Fields: –
Cellerator Software Authors: Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D. Cited in: 7 Publications (2005–2019) Related Software: Mathematica; BIOCHAM; STOCHSIM; Matlab; Python; CplexA; … Main Fields: –
GenMAPP Software Authors: Dahlquist, K.D., Salomonis, N., Vranizan, K., Lawlor, S.C., Conklin, B.R. Cited in: 3 Publications (2006–2011) Related Software: MAPPFinder; KEGG; Bioconductor; DAVID; Reactome; Cytoscape; … Main Fields: –
Ginv Software Authors: Blinkov, Yu.A.; Gerdt, V.P. Cited in: 8 Publications (2006–2014) Related Software: Janet; Maple; AlgebraicThomas; DIFFALG; DifferentialThomas; RegularChains; … Main Fields: (68W30-XX); (13-04-XX)
Pluribus Software Authors: Brown, Noam; Sandholm, Tuomas Cited in: 8 Publications (2019–2022) Related Software: DeepStack; Libratus; FEniCS; AlexNet; AlphaZero; Orthogonal Array; … Main Fields: (68T07-XX); (68T01-XX); (91A80-XX)
ROBOTRAN Software Authors: N. Docquier, A. Poncelet, P. Fisette Cited in: 7 Publications (1993–2020) Related Software: Chrono; Pasimodo; SYMORO+; MuJoCo; OpenSYMORO; Bullet; … Main Fields: –
AS 135 Software Authors: Armstrong, Ronald D.; Kung, David S. Cited in: 7 Publications (1979–2019) Related Software: AS 124; AS 191; AS 222; AS 170; AS 133; AS 94; … Main Fields: (62-04-XX)
DryadLINQ Software Authors: Yu, Y.; Isard, M.; Fetterly, D. et al Cited in: 4 Publications (2012–2018) Related Software: MapReduce; Dryad; Hadoop; Haskell; Bigtable; MongoDB; … Main Fields: –
MAT-fem Software Authors: CIMNE; Eugenio Oñate; Francisco Zárate Cited in: 7 Publications (1994–2022) Related Software: FEAPpv; COMSOL Main Fields: –
NLControl Software Authors: Belikov, J.,Kotta, Ü, Tõnso, M. Cited in: 7 Publications (2016–2020) Related Software: Mathematica; OreAlgebraicAnalysis; OreMorphisms; HolonomicFunctions; OreModules; Macaulay2; … Main Fields: –
Palingol Software Authors: – Cited in: 7 Publications (2001–2008) Related Software: Rnamotif; Rfam; Rnabob; DARN! Main Fields: –
PROPATH Software Authors: PROPATH Group Cited in: 7 Publications (2000–2011) Related Software: – Main Fields: –
Strawberry Fields Software Authors: Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook Cited in: 3 Publications (2019–2021) Related Software: ProjectQ; qHiPSTER; OpenFermion; Python; PySCF; Psi4; … Main Fields: –
YAP3 Software Authors: Michael J. Wise Cited in: 4 Publications (2004–2015) Related Software: Winnowing; CCFinder; CP-miner; Gplag; Meteor; PPDB; … Main Fields: –
K2K Software Authors: Imafuji, Noriko; Ochiai, Mitsuyuki Cited in: 6 Publications (2002–2016) Related Software: LinKnot; KnotTheory; MathLink; Mathematica Main Fields: (57M25-XX); (68W30-XX); (57-04-XX)
MIMOLA Software Authors: S Bashford, U Bieker, B Harking, R Leupers, P Marwedel, A Neumann, D Voggenauer; University of Dortmund Cited in: 3 Publications (1995–2006) Related Software: Flamel; Sehwa; ISDL; TREEMOLA; MAHA Main Fields: –
PL360 Software Authors: Wirth, N. Cited in: 6 Publications (1968–1980) Related Software: ALGOL 60 Main Fields: –
pMatlab Software Authors: Bliss, N., Kepner, J. Cited in: 5 Publications (2008–2021) Related Software: Matlab; MatlabMPI; MultiMATLAB; Parallel Computing Toolbox; CoArray; Python; … Main Fields: –
Ralf Software Authors: Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt Cited in: 6 Publications (1997–2014) Related Software: RALL; RelView; Isabelle/HOL; Rath; ARA; Isabelle; … Main Fields: –
Treemaker Software Authors: Lang, R.J. Cited in: 5 Publications (2011–2017) Related Software: Tess; ORI-REVO Main Fields: –
Algolib Software Authors: Algo team at INRIA Cited in: 5 Publications (2004–2022) Related Software: Maple; OEIS; HOL Light; Coq; gdev; Coq-Combi; … Main Fields: –
Bio++ Software Authors: Dutheil J, Boussau B Cited in: 3 Publications (2011–2019) Related Software: ExaBayes; MulRF; iGTP; MrBayes; SplitsTree; pIQPNNI; … Main Fields: –
FIDE Software Authors: R. Liska; L. Drsda Cited in: 4 Publications (1989–2012) Related Software: QEPCAD; REDUCE; REDLOG; SINGULAR Main Fields: –