GAP Software Authors: GAP Group Cited in: 3,294 Publications (1990–2023) Related Software: Magma; SageMath; ATLAS Group Representations; CHEVIE; nauty; GRAPE; … Main Fields: (68W30-XX)
Macaulay2 Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David; http://www.math.uiuc.edu/Macaulay2/Contributors/ Cited in: 2,002 Publications (1988–2023) Related Software: SINGULAR; CoCoA; SageMath; Bertini; Magma; Maple; … Main Fields: (00B15-XX); (13-06-XX); (14-06-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)
SIFT Software Authors: David Lowe Cited in: 376 Publications (2006–2022) Related Software: SURF; PCA-SIFT; PASCAL VOC; LIBSVM; ImageNet; Vlfeat; … Main Fields: –
UMFPACK Software Authors: Davis, Timothy A. Cited in: 416 Publications (1996–2023) Related Software: PETSc; FreeFem++; deal.ii; MUMPS; Trilinos; Matlab; … Main Fields: (65F05-XX); (65F50-XX); (65Y15-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)
polymake Software Authors: Ewgenij Gawrilow, Michael Joswig, and the polymake team Cited in: 336 Publications (2000–2022) Related Software: Macaulay2; Gfan; Normaliz; SINGULAR; GAP; TOPCOM; … Main Fields: (68W30-XX); (68U05-XX)
Rcpp Software Authors: Dirk Eddelbuettel; Romain Francois; JJ Allaire; John Chambers; Douglas Bates; Kevin Ushey Cited in: 144 Publications (2013–2023) Related Software: R; RcppArmadillo; ggplot2; CRAN; CODA; Armadillo; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Visual Basic Software Authors: Microsoft Cited in: 168 Publications (1993–2022) Related Software: VBA; Excel; Access; Matlab; Delphi; PERL; … Main Fields: –
Ada95 Software Authors: Jean Ichbiah Cited in: 274 Publications (1979–2022) Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ML; … Main Fields: (68U99-XX); (68N15-XX); (68P05-XX)
SVMlight Software Authors: Thorsten Joachims Cited in: 210 Publications (2000–2022) Related Software: LIBSVM; UCI-ml; SVMTorch; Matlab; GPDT; SSVM; … Main Fields: –
FinTS Software Authors: Spencer Graves Cited in: 202 Publications (2001–2022) Related Software: R; astsa; fda (R); QRM; tseries; StFinMetrics; … Main Fields: –
LMFDB Software Authors: http://www.lmfdb.org/acknowledgment Cited in: 201 Publications (2014–2023) Related Software: Magma; SageMath; PARI/GP; GitHub; ecdata; DLMF; … Main Fields: –
REDLOG Software Authors: Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker Cited in: 167 Publications (1997–2022) Related Software: QEPCAD; z3; Maple; REDUCE; RSOLVER; DISCOVERER; … Main Fields: (65D18-XX); (68U05-XX); (68U07-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: –
Simula 67 Software Authors: Dahl, O.J.; Nygaard, K. Cited in: 130 Publications (1963–2021) Related Software: Eiffel; ALGOL 68; Smalltalk; ALGOL 60; Ada95; BETA; … Main Fields: –
Bandera Software Authors: Hatcliff, John; Dwyer, Matthew Cited in: 104 Publications (2000–2018) Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; … Main Fields: (68Q85-XX); (68N30-XX)
OpenCV Software Authors: G. Bradski Cited in: 63 Publications (2008–2023) Related Software: Python; NumPy; Matplotlib; LIBSVM; SciPy; Scikit; … Main Fields: –
Risa/Asir Software Authors: Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university. Cited in: 119 Publications (1992–2022) Related Software: SINGULAR; Macaulay2; Kan; OpenXM; Maple; Mathematica; … Main Fields: (68W30-XX)
Oz Software Authors: Henz, M., Smolka, G., and Würtz, J. Cited in: 109 Publications (1994–2022) Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; … Main Fields: –
BayesX Software Authors: Nikolaus Umlauf, Thomas Kneib, Nadja Klein, Felix Heinzl, Andreas Brezger, Daniel Sabanes Bove Cited in: 81 Publications (2004–2022) Related Software: R; SemiPar; gamair; GAMLSS; WinBUGS; mgcv; … Main Fields: (62G08-XX); (62J15-XX); (62J12-XX)
COIL-20 Software Authors: S. Nene, S. Nayar, H. Murase Cited in: 85 Publications (2002–2022) Related Software: UCI-ml; COIL-100; AR face; MNIST; CMU PIE; LIBSVM; … Main Fields: –
energy Software Authors: Székely, Gábor J.; Rizzo, Maria L. Cited in: 93 Publications (2009–2022) Related Software: R; MVN; IndependenceTests; fda (R); mvShapiroTest; MNM; … Main Fields: (62H05-XX); (62P35-XX)
JaxoDraw Software Authors: D. Binosi, J. Collins, C. Kaufhold, L. Theussl Cited in: 92 Publications (2005–2022) Related Software: Axodraw; Reduze; FORM; LiteRed; FIRE; Hypexp; … Main Fields: –
Pyomo Software Authors: Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L. Cited in: 81 Publications (2012–2022) Related Software: Gurobi; Ipopt; Python; CPLEX; GAMS; PySP; … Main Fields: (90-01-XX); (90-04-XX); (90C90-XX)
AGG Software Authors: Gabriele Taentzer Cited in: 67 Publications (1994–2022) Related Software: GROOVE; PROGRES; AToM3; VIATRA2; Henshin; GrGen; … Main Fields: –
LOLIB Software Authors: Reinelt, G. Cited in: 86 Publications (1984–2022) Related Software: PORTA; GraphBase; TSPLIB; Scatter Search; ABACUS; Tabu search; … Main Fields: –
SIMPLIcity Software Authors: Wang, J.Z., Li, J., Wiederhold, G. Cited in: 45 Publications (2002–2021) Related Software: VisualSEEk; NeTra; EMD; LIBSVM; SIFT; PASCAL VOC; … Main Fields: –
PostgreSQL Software Authors: – Cited in: 54 Publications (2000–2023) Related Software: Oracle; MySQL; MS SQL Server; Python; DB2; R; … Main Fields: –
GloMIQO Software Authors: C. A. Floudas; Ruth Misener Cited in: 82 Publications (2009–2022) Related Software: SCIP; BARON; ANTIGONE; MINLPLib; CPLEX; LINDO; … Main Fields: –
NAMD Software Authors: James Phillips Cited in: 65 Publications (1999–2022) Related Software: Gromacs; CHARMM; VMD; AMBER; CUDA; DESMOND; … Main Fields: –
dplyr Software Authors: Hadley Wickham; Romain Francois Cited in: 29 Publications (2014–2022) Related Software: R; ggplot2; tidyr; Rcpp; tidyverse; shiny; … Main Fields: –
DIMSYM Software Authors: James Sherring; Geoff Prince; Michael Jerie Cited in: 74 Publications (1993–2021) Related Software: LIE; REDUCE; SYMMGRP; SPDE; CRACK; LIEPDE; … Main Fields: –
SODAS Software Authors: Morineau, Alain Cited in: 67 Publications (1999–2022) Related Software: WordNet; Algorithm 39; FactoMineR; bootstrap; UCI-ml; C4.5; … 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: –
GALib Software Authors: Matthew Wall Cited in: 55 Publications (1999–2021) Related Software: Genocop; VRP; CPLEX; EPANET; DistAl; HykGene; … Main Fields: –
MeatAxe Software Authors: Michael Ringe Cited in: 68 Publications (1994–2022) Related Software: GAP; Magma; ATLAS Group Representations; CTblLib; GAP Character Table Library; AtlasRep; … Main Fields: (20C30-XX); (20C20-XX); (20C40-XX)
refund Software Authors: Goldsmith, J.; Greven, S.; Crainiceanu, C. Cited in: 63 Publications (2012–2022) Related Software: fda (R); R; SemiPar; gamair; mgcv; FDboost; … Main Fields: (62P10-XX)
ALF Software Authors: Lena Magnusson Cited in: 67 Publications (1993–2018) Related Software: Coq; Automath; Nuprl; LEGO; Isabelle; Twelf; … Main Fields: –
Mcmcpack Software Authors: Andrew D. Martin, Kevin M. Quinn, Jong Hee Park Cited in: 44 Publications (2007–2022) Related Software: R; CODA; JAGS; Stan; WinBUGS; mvtnorm; … Main Fields: –
MFEM Software Authors: Robert Anderson, Julian Andrej, Andrew Barker, Jamie Bramwell, Jean-Sylvain Camier, Jakub Cerveny, Veselin Dobrev, Yohann Dudouit, Aaron Fisher, Tzanio Kolev, Will Pazner, Mark Stowell, Vladimir Tomov, Johann Dahm, David Medina, Stefano Zampini Cited in: 58 Publications (2012–2023) Related Software: hypre; PETSc; deal.ii; GitHub; FEniCS; GLVis; … Main Fields: –
Cantera Software Authors: D. Goodwin, N. Malaya, H. Moffat, R. Speth Cited in: 59 Publications (2009–2023) Related Software: GRI-Mech 3.0; CHEMKIN; CVODE; SUNDIALS; GitHub; Python; … Main Fields: –
NeTra Software Authors: Wei-Ying Ma; B.S. Manjunath Cited in: 42 Publications (2000–2016) Related Software: VisualSEEk; SIMPLIcity; PicToSeek; Chabot; PicHunter; EMD; … Main Fields: –
rgl Software Authors: Daniel Adler; Duncan Murdoch; et al. Cited in: 28 Publications (2006–2022) Related Software: R; ggplot2; scatterplot3d; lattice; Matlab; KernSmooth; … Main Fields: –
MS-COCO Software Authors: Tsung-Yi Lin, Michael Maire, Serge Belongie, Lubomir Bourdev, Ross Girshick, James Hays, Pietro Perona, Deva Ramanan, C. Lawrence Zitnick, Piotr Dollár Cited in: 44 Publications (2018–2022) Related Software: ImageNet; Faster R-CNN; PASCAL VOC; DeepLab; KITTI; TensorFlow; … Main Fields: –
Access Software Authors: Microsoft Cited in: 35 Publications (1994–2015) Related Software: Visual Basic; MS SQL Server; Oracle; VBA; Multiplan; VisualStudio.NET; … Main Fields: –
COIL-100 Software Authors: Nene, S., Nayar, S., Murase, H. Cited in: 48 Publications (2002–2022) Related Software: COIL-20; SIFT; MNIST; AR face; PASCAL VOC; SIMPLIcity; … Main Fields: –
CLEAN Software Authors: Plasmeijer, M.J. Cited in: 55 Publications (1987–2016) Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; … Main Fields: (68Q55-XX); (68N15-XX)
Camera Calibration Software Authors: Bouguet J-Y Cited in: 20 Publications (2002–2021) Related Software: calib; SIFT; Matlab; CIRN; OpenCV; cBathy; … Main Fields: –
VBA Software Authors: Microsoft Cited in: 27 Publications (1997–2021) Related Software: Visual Basic; Excel; Matlab; Access; Stata; JavaScript; … Main Fields: –
COSA Software Authors: Friedman, Jerome H.; Meulman, Jacqueline J. Cited in: 49 Publications (2003–2022) Related Software: UCI-ml; R; sparcl; mclust; clusfind; Silhouettes; … Main Fields: (62H30-XX); (62P10-XX); (92C40-XX)
RegulonDB Software Authors: Gama-Castro, S.; Jimenez-Jacinto, V.; Peralta-Gil, M.; Santos-Zavaleta, A.; Peñaloza-Spinola, M.I.; Contreras-Moreira, B.; Segura-Salazar, J.; Muñiz-Rascado, L.; Martinez-Flores, I.; Salgado, H.; Bonavides-Martinez, C.; Abreu-Goodger, C.; Rodríguez-Penagos, C.; Miranda-Ríos, J.; Morett, E.; Merino, E.; Huerta, A.M.; Treviño-Quintanilla, L.; Collado-Vides, J. Cited in: 30 Publications (2002–2020) Related Software: KEGG; ARACNE; GeneNetWeaver; R; WebLogo; JASPAR; … Main Fields: –
Hmisc Software Authors: Frank E Harrell Jr; Charles Dupont Cited in: 30 Publications (2007–2022) Related Software: R; ggplot2; MICE; Amelia; SAS; knitr; … Main Fields: –
DeepLab Software Authors: Liang-Chieh Chen, George Papandreou, Iasonas Kokkinos, Kevin Murphy, Alan L. Yuille Cited in: 45 Publications (2018–2022) Related Software: ImageNet; Faster R-CNN; MS-COCO; AlexNet; U-Net; PASCAL VOC; … Main Fields: –
SimRank Software Authors: Jeh G, Widom J Cited in: 35 Publications (2008–2022) Related Software: node2vec; DeepWalk; LCE; clusfind; UCI-ml; word2vec; … Main Fields: –
LabelMe Software Authors: Russell B.C., Torralba A., Murphy K.P., Freeman W.T. Cited in: 19 Publications (2008–2022) Related Software: PASCAL VOC; SIFT; ImageNet; GrabCut; MS-COCO; Caltech-256; … Main Fields: –
PolyLib Software Authors: Loechner, V.; Wilde, Doran K. Cited in: 46 Publications (1996–2019) Related Software: PPL; HyTech; LattE; cdd; Voronoi; MPFR; … Main Fields: –
MinT Software Authors: Schürer, Rudolf; Schmid, Wolfgang Ch. Cited in: 45 Publications (2005–2022) Related Software: Code Tables; Magma; manYPoints; SageMath; Algorithm 823; ARIA; … Main Fields: (65C10-XX); (11K45-XX)
bc-prod Software Authors: Belvaux, Gaetan; Wolsey, Laurence A. Cited in: 44 Publications (2000–2022) Related Software: CPLEX; XPRESS; MULTILSB; OR-Library; FEASPUMP; PORTA; … Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
BLOG Software Authors: Milch, B.; Marthi, B.; Russell, S.; Sontag, D.; Ong, D.L.; Kolobov, A. Cited in: 38 Publications (2006–2020) Related Software: Church; ProbLog; IBAL; PRISM; BUGS; PREGO; … Main Fields: –
Chebfun2 Software Authors: Townsend, Alex; Trefethen, Lloyd N. Cited in: 42 Publications (2013–2022) Related Software: Chebfun; Matlab; DLMF; rootsb; mctoolbox; Bertini; … Main Fields: (65D15-XX); (65D05-XX); (41A10-XX)
OreModules Software Authors: Chyzak, Frédéric; Quadrat, Alban; Robertz, Daniel Cited in: 42 Publications (2004–2020) Related Software: SINGULAR; Plural; OreMorphisms; Janet; homalg; Maple; … Main Fields: –
CHARM++ Software Authors: Laxmikant V. Kale; Sanjeev Krishnan Cited in: 31 Publications (1997–2023) Related Software: PETSc; Cilk; ParFUM; ParaView; deal.ii; Chapel; … Main Fields: –
SMIL Software Authors: W3.org Cited in: 10 Publications (2001–2016) Related Software: XPath; Lua; SPARQL; TRIPLE; Nevada; Dynagraph; … Main Fields: (68U99-XX); (68P20-XX); (68U35-XX)
Spark Software Authors: Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I Cited in: 39 Publications (2015–2021) Related Software: MapReduce; Hadoop; Apache Spark; MLlib; Dryad; R; … Main Fields: –
spdep Software Authors: Roger Bivand, et al Cited in: 24 Publications (2004–2021) Related Software: R; Matrix; splm; CRAN; GeoDa; rgdal; … Main Fields: Statistics (62-XX)
SPHysics Software Authors: M. Gomez-Gesteira, B.D. Rogers, A.J.C. Crespo, R.A. Dalrymple, M. Narayanaswamym, J.M. Dominguez Cited in: 38 Publications (2011–2022) Related Software: DualSPHysics; CUDA; Matlab; PySPH; TREESPH; GADGET; … Main Fields: –
SSD Software Authors: Wei Liu, Dragomir Anguelov, Dumitru Erhan, Christian Szegedy, Scott Reed, Cheng-Yang Fu, Alexander C. Berg Cited in: 29 Publications (2017–2022) Related Software: Faster R-CNN; ImageNet; AlexNet; MS-COCO; YOLO; KITTI; … Main Fields: –
S+WAVELETS Software Authors: Andrew G. Bruce; Hong-ye Gao Cited in: 36 Publications (1997–2022) Related Software: glmnet; PDCO; sparsenet; WaveLab; reccv; Julia; … Main Fields: –
QBIC Software Authors: W. Niblack, R. Barber, W. Equitz, M. Flickner, E. Glasman, D. Petkovic, P. Yanker, C. Faloutsos, G. Taubin Cited in: 25 Publications (1997–2018) Related Software: VisualSEEk; Chabot; SIMPLIcity; NeTra; PicHunter; PicToSeek; … Main Fields: –
reccv Software Authors: Anestis Antoniadis; Jeremie Bigot; Theofanis Sapatinas Cited in: 36 Publications (2003–2021) Related Software: WaveLab; EBayesThresh; wmtsa; S+WAVELETS; fda (R); wavethresh; … Main Fields: –
fitdistrplus Software Authors: Marie Laure Delignette-Muller, Christophe Dutang, Regis Pouillot, Jean-Baptiste Denis Cited in: 28 Publications (2014–2023) Related Software: R; actuar; distrMod; survival; MASS (R); CRAN Task Views; … Main Fields: –
PicToSeek Software Authors: Gevers T, Smeulders A Cited in: 26 Publications (2001–2010) Related Software: VisualSEEk; NeTra; PicHunter; Chabot; SIMPLIcity; QBIC; … Main Fields: –
network Software Authors: Carter T. Butts, David Hunter, Mark Handcock, Skye Bender-deMoll, Jeffrey Horner Cited in: 10 Publications (2009–2020) Related Software: R; ergm; statnet; sna; igraph; Pajek; … Main Fields: –
Ruby Software Authors: Flanagan, D.; Matsumoto, Y. Cited in: 23 Publications (2002–2017) Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; … Main Fields: –
Convex Software Authors: Matthias Franz Cited in: 33 Publications (2004–2022) Related Software: Maple; Magma; MDSpackage; Gfan; Normaliz; polymake; … Main Fields: –
GF Software Authors: Ranta, Aarne Cited in: 29 Publications (1999–2021) Related Software: Mizar; Coq; Isar; Theorema; Haskell; KeY; … Main Fields: (68N18-XX); (81P68-XX)
oomph-lib Software Authors: Matthias Heil, Andrew L. Hazel Cited in: 32 Publications (2006–2022) Related Software: Trilinos; SuperLU; FEniCS; MATCONT; MUMPS; BoomerAMG; … Main Fields: –
ABS Software Authors: Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M. Cited in: 30 Publications (2012–2022) Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; … 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: –
Odyssee Software Authors: Rostaing, N., Dalmas, S., Galligo, A Cited in: 32 Publications (1996–2016) Related Software: ADIFOR; TAMC; ADOL-C; ADIC; TAF; MINPACK-2; … Main Fields: –
partykit Software Authors: Torsten Hothorn; Achim Zeileis Cited in: 21 Publications (2013–2022) Related Software: R; rpart; randomForest; C4.5; RWeka; UCI-ml; … Main Fields: –
GCLC Software Authors: Janičić, Predrag Cited in: 30 Publications (2002–2021) Related Software: GeoThms; GCLCprover; GeoGebra; GEX; GEOTHER 1.1; Cinderella; … Main Fields: (51M15-XX); (51-04-XX)
Geomview Software Authors: Phillips, M.; Munzner, T.; Levy, S. Cited in: 27 Publications (1994–2017) Related Software: polymake; Geometer's Sketchpad; Mathematica; DSTool; PORTA; TOPCOM; … Main Fields: –
HR Software Authors: Colton, Simon Cited in: 27 Publications (2002–2022) Related Software: Mace4; OTTER; GRAFFITI; TPTP; AutoGraphiX; GAP; … Main Fields: (68T15-XX)
ALOI Software Authors: Geusebroek, JM; Burghouts, GJ; Smeulders Cited in: 18 Publications (2008–2021) Related Software: SIFT; UCI-ml; SURF; PASCAL VOC; Caltech-256; word2vec; … Main Fields: Special functions (33-XX); Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX)
PyOpenCL Software Authors: Andreas Klöckner Cited in: 20 Publications (2012–2023) Related Software: PyCUDA; Python; OpenCL; CUDA; NumPy; SciPy; … Main Fields: –
ROS Software Authors: Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A. Cited in: 20 Publications (2015–2022) Related Software: GAZEBO; GitHub; CARMEN; Molecubes; PCL; OctoMap; … Main Fields: –
BLOOMP Software Authors: Fannjiang, Albert; Liao, Wenjing Cited in: 28 Publications (2012–2022) Related Software: PDCO; CoSaMP; FPC_AS; EdgeCS; RecPF; DLMF; … Main Fields: (65D18-XX); (68U10-XX)
MayaVi Software Authors: Prabhu Ramachandran Cited in: 22 Publications (2003–2022) Related Software: Mayavi; Matplotlib; Python; SciPy; VTK; NumPy; … Main Fields: –
PyCUDA Software Authors: NVIDIA Cited in: 18 Publications (2011–2023) Related Software: PyOpenCL; CUDA; Python; OpenCL; SciPy; NumPy; … Main Fields: –
SETL Software Authors: Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E. Cited in: 27 Publications (1986–2021) Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; … Main Fields: (68-01-XX); (68Nxx-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: –
BraMBLe Software Authors: Isard, M., MacCormick, J. Cited in: 6 Publications (2006–2014) Related Software: Pfinder; AdaBoost.MH; OTCBVS; pyuvdata; i-LIDS; PittPatt; … Main Fields: –
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)
JFlow Software Authors: Andrew C. Myers Cited in: 22 Publications (2002–2022) Related Software: Haskell; TALx86; TaintDroid; Jif; NaCl; JML; … Main Fields: –
SuperLie Software Authors: P. Grozman Cited in: 27 Publications (1997–2022) Related Software: Mathematica Main Fields: –
Essence Software Authors: Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian Cited in: 26 Publications (2008–2023) Related Software: MiniZinc; Zinc; ESRA; Gecode; COMET; MINION; … Main Fields: (68N15-XX); (68T20-XX)
PGB Software Authors: Nabeshima, Katsusuke Cited in: 25 Publications (1996–2023) Related Software: REDLOG; SINGULAR; dpgb; Risa/Asir; Maple; Epsilon; … Main Fields: (68W30-XX); (65Y15-XX)
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)