Gurobi Cited in 878 Documents (2010–2023) Software Authors: Zonghau Gu; Ed Rothberg; Bob Bixby; Gurobi Optimization, Inc. Related Software: CPLEX; SCIP; GitHub; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
deal.ii Cited in 681 Documents (1999–2023) Software Authors: Bangerth W, Hartman R, Kanschat G Related Software: Trilinos; PETSc; p4est; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
CGAL Cited in 384 Documents (2000–2023) Software Authors: CGAL Editorial Board Related Software: LEDA; 2D triangulations; 2D Arrangement; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
OTTER Cited in 324 Documents (1988–2023) Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel Related Software: TPTP; VAMPIRE; Mace4; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …
Ada95 Cited in 277 Documents (1979–2023) Software Authors: Jean Ichbiah Related Software: Modula; Eiffel; Smalltalk; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
SifDec Cited in 230 Documents (2003–2023) Software Authors: Gould, Nicholas I.M.; Orban, Dominique; Toint, Philippe L. Related Software: CUTEr; minpack; L-BFGS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
KNITRO Cited in 208 Documents (2003–2023) Software Authors: Artelys; Ziena Optimization, R. Byrd, J. Nocedal, R. Waltz Related Software: Ipopt; SNOPT; AMPL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
Esterel Cited in 137 Documents (1985–2023) Software Authors: Gérard Berry Related Software: SIGNAL; LUSTRE; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
Cinderella Cited in 94 Documents (1999–2023) Software Authors: Jürgen Richter-Gebert; Ulrich Kortenkamp Related Software: Geometer's Sketchpad; GeoGebra; Mathematica; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Numerical analysis (65-XX); …
Why3 Cited in 136 Documents (2004–2023) Software Authors: François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich Related Software: Coq; KRAKATOA; Caduceus; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
AspectJ Cited in 98 Documents (2001–2022) Software Authors: Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey Related Software: CaesarJ; JBoss; JAsCo; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
C-XSC 2.0 Cited in 127 Documents (1979–2023) Software Authors: Hofschuster, Werner; Krämer, Walter; R. Klatte Related Software: C-XSC; INTLAB; INTOPT_90; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Erlang Cited in 109 Documents (1993–2023) Software Authors: erlang.org Related Software: Haskell; JCobox; Maude; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
PARAMESH Cited in 105 Documents (2000–2023) Software Authors: P. MacNeice, K.M. Olson, C. Mobarry, R. de Fainchtein, C. Packer Related Software: Chombo; FLASH; Gerris; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
ELAN Cited in 106 Documents (1996–2020) Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Related Software: Maude; CafeOBJ; OBJ3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
Dafny Cited in 86 Documents (2010–2023) Software Authors: Rustan Leino Related Software: z3; Boogie; Why3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
hlib Cited in 93 Documents (2005–2023) Software Authors: Steffen Börm; Lars Grasedyck; Max-Planck-Institut Leipzig Related Software: STRUMPACK; BEM++; mctoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Integral equations (45-XX); …
BENSOLVE Cited in 90 Documents (2011–2023) Software Authors: Andreas Löhne; Benjamin Weißing Related Software: CVX; Gurobi; GLPK; … Main Fields: Functional analysis (46-XX); Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); …
Gecode Cited in 83 Documents (2007–2023) Software Authors: Christian Schulte, KTH Royal Institute of Technology Related Software: MiniZinc; CPLEX; Choco; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Delphi Cited in 52 Documents (1995–2015) Software Authors: Embarcadero Technologies; Borland Related Software: Visual Basic; Excel; SPSS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PostgreSQL Cited in 54 Documents (2000–2023) Software Authors: – Related Software: Oracle; MySQL; MS SQL Server; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
STL Cited in 72 Documents (1997–2021) Software Authors: David R. Musser, Alexander Stepanov Related Software: Boost; Boost C++ Libraries; CGAL; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SimpleMKL Cited in 64 Documents (2008–2022) Software Authors: Rakotomamonjy, Alain; Bach, Francis R.; Canu, Stéphane; Grandvalet, Yves Related Software: SHOGUN; LIBSVM; UCI-ml; … Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-XX); …
SSVM Cited in 65 Documents (2001–2022) Software Authors: Lee, Yuh-Jye; Mangasarian, O.L. Related Software: UCI-ml; LIBSVM; RSVM; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
OMNet++ Cited in 33 Documents (2001–2021) Software Authors: András Varga Related Software: ns-2; Chord; GloMoSim; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
ITK Cited in 25 Documents (2006–2019) Software Authors: Ibanez, L., Schroeder, W., Ng, L., Cates, J. Related Software: VTK; CUDA; Elastix; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
ADVI Cited in 47 Documents (2017–2023) Software Authors: Alp Kucukelbir, Rajesh Ranganath, Andrew Gelman, David M. Blei Related Software: Stan; PRMLT; NUTS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NLTK Cited in 26 Documents (2005–2023) Software Authors: Bird, Steven; Klein, Ewan; Loper, Edward Related Software: Python; Scikit; StanfordCoreNLP; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FRIL Cited in 37 Documents (1987–2020) Software Authors: Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W. Related Software: Likelog; FPROLOG; XPath; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); …
OOQP Cited in 38 Documents (2003–2022) Software Authors: Mike Gertz; Steve Wright Related Software: qpOASES; Ipopt; HSL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Optim Cited in 25 Documents (2019–2023) Software Authors: P. K. Mogensen; A. N. Riseth Related Software: Julia; CG_DESCENT; DifferentialEquations.jl; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
SG Cited in 38 Documents (2001–2022) Software Authors: Holst, M.J. Related Software: APBS; FreeFem++; CHARMM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
Cg Cited in 18 Documents (2006–2012) Software Authors: William R. Mark; R. Steven Glanville; Kurt Akeley; Mark J. Kilgard Related Software: CUDA; OpenGL; OpenCL; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …
Multilisp Cited in 29 Documents (1985–2019) Software Authors: Halstead, Robert H.jun. Related Software: Creol; Eiffel; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
PMaude Cited in 28 Documents (2005–2022) Software Authors: Gul Agha; José Meseguer; Koushik Sen Related Software: Maude; PVeStA; VESTA; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
QuickBasic Cited in 9 Documents (1990–2012) Software Authors: Microsoft Related Software: AFMULT; S-PLUS; Matlab; … Main Fields: Real functions (26-XX); Special functions (33-XX); Statistics (62-XX); …
PariTOP Cited in 30 Documents (2001–2018) Software Authors: Kettani, Ossama; Khelifi, Karim Related Software: LINDO; Tabu search; MOAPPS; … Main Fields: History and biography (01-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Beluga Cited in 28 Documents (2010–2022) Software Authors: Brigitte Pientka; Joshua Dunfield Related Software: Twelf; Abella; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
PyPI Cited in 5 Documents (2018–2023) Software Authors: Python Software Foundation Related Software: Python; NumPy; SciPy; … Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Cyclone Cited in 27 Documents (2003–2022) Software Authors: Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor Related Software: CCured; Haskell; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Zinc Cited in 28 Documents (2005–2022) Software Authors: Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark Related Software: Essence; MiniZinc; Gecode; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
ALDOR Cited in 26 Documents (1997–2014) Software Authors: aldor.org; Bronstein, Manuel Related Software: AXIOM; Maple; SageMath; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Category theory; homological algebra (18-XX); …
JoCaml Cited in 26 Documents (2000–2022) Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan Related Software: Pict; OCaml; PiDuce; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MetaPRL Cited in 26 Documents (2000–2022) Software Authors: Jason Hickey, Alexey Nogin, Eli Barzilay Related Software: Coq; Nuprl; PVS; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX); …
ELM-ART Cited in 8 Documents (2000–2011) Software Authors: Peter Brusilovsky, Elmar Schwarz, Gerhard Weber Related Software: ActiveMath; OMDoc; Ask-Elle; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
PITA Cited in 23 Documents (2010–2022) Software Authors: Riguzzi, Fabrizio; Swift, Terrance Related Software: ProbLog; CP-logic; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
PLT Redex Cited in 22 Documents (2009–2022) Software Authors: Felleisen, Matthias; Findler, Bruce; Flatt, Matthew Related Software: K Prover; Coq; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
AWK Cited in 21 Documents (1979–2019) Software Authors: Alfred V. Aho , Brian W. Kernighan , Peter J. Weinberger Related Software: Mathematica; YACC; PERL; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Localizer Cited in 21 Documents (1999–2021) Software Authors: Michel, Laurent; Van Hentenryck, Pascal Related Software: COMET; SALSA; EasyLocal++; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General topology (54-XX); …
UniTESK Cited in 14 Documents (2002–2015) Software Authors: Institute for System Programming of the Russian Academy of Sciences Related Software: SpecExplorer; DART; CUTE; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
GPGPU Cited in 14 Documents (2006–2018) Software Authors: Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I. Related Software: CUDA; OpenACC; OpenCL; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …
IPSEN Cited in 20 Documents (1991–2010) Software Authors: Schürr, Andy Related Software: mctoolbox; LAPACK; GRAS; … Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); …
Jif Cited in 18 Documents (2006–2021) Software Authors: A.C. Myers, L. Zheng, S. Zdancewic, S. Chong, N. Nystrom Related Software: FlowFox; CoSMed; CAVA LTL Modelchecker; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Mozart Cited in 15 Documents (1999–2018) Software Authors: Peter Van Roy; Seif Haridi Related Software: Oz; CPLEX; CHIP; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
cminor Cited in 17 Documents (2007–2016) Software Authors: Appel, A.W., Blazy, S. Related Software: Coq; CompCert; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DGL Cited in 7 Documents (2021–2023) Software Authors: Minjie Wang, Da Zheng, Guan Gan, Mufei Li, Zihao Ye, Chao Ma, Jinjing Zhou, Xiang Song, Tianjun Xiao, Tong He, Jian Zhang, Wen-ming Ye, George Karypis, Zheng Zhang Related Software: PyTorch; Python; Adam; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX); …
Dlib-ml Cited in 16 Documents (2014–2023) Software Authors: Davis E. King Related Software: Scikit; Python; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Delphin Cited in 17 Documents (2003–2020) Software Authors: Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A. Related Software: Twelf; Coq; Beluga; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GIMP Cited in 13 Documents (1999–2022) Software Authors: The GIMP Team Related Software: R; ImageMagick; Ghostscript; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX); …
Pynn Cited in 8 Documents (2011–2021) Software Authors: A.P. Davison, D. Brüderle, J. Eppler, J. Kremkow, E. Muller, D. Pecevski, L. Perrinet, P. Yger Related Software: NEST; NEURON; Brian; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
ALPS Cited in 17 Documents (2004–2022) Software Authors: Ralphs, T.K.; Ládanyi, L.; Saltzman, M.J. Related Software: BiCePS; CHiPPS; BLIS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); …
Ariadne Cited in 16 Documents (2008–2023) Software Authors: Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano Related Software: HyTech; PHAVer; SpaceEx; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
GDB Cited in 15 Documents (1998–2023) Software Authors: R. Stallman; R. Pesch Related Software: Valgrind; SPIN; MUMPS; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HasCasl Cited in 17 Documents (2002–2015) Software Authors: Schr"oder, Lutz; Mossakowski, Till Related Software: CASL; Haskell; Hets; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
IPSSIS Cited in 16 Documents (2011–2022) Software Authors: Xidonas, Panagiotis; Mavrotas, George; Zopounidis, Constantin; Psarras, John Related Software: Python; Matplotlib; RiskMetrics; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
OmpSs Cited in 10 Documents (2015–2023) Software Authors: Bueno J, Planas J, Duran A, Badia RM, Martorell X, Ayguade E, et al. Related Software: StarPU; Superglue; DLB; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Fortress Cited in 15 Documents (2006–2015) Software Authors: E. Allan, D. Chase, V. Luchangco, J. Maessen, S. Ryu, G. Steele, S. Tobin-Hochstadt Related Software: Chapel; Scala; CLOS; … Main Fields: Computer science (68-XX)
GGPLAB Cited in 15 Documents (1976–2019) Software Authors: Almir Mutapcic (object library), Kwangmoo Koh (solver), Seungjean Kim (solver), Lieven Vandenberghe (original version of solver), and Stephen Boyd (general trouble maker) Related Software: CVX; YALMIP; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
MMT Cited in 13 Documents (2007–2019) Software Authors: Chalub, Fabricio; Braga, Christiano Related Software: Maude; K Prover; JavaFAN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mtac Cited in 16 Documents (2013–2021) Software Authors: Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor Related Software: Coq; Idris; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
go Cited in 13 Documents (2013–2022) Software Authors: Google Related Software: Python; Rust; Erlang; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
kFOIL Cited in 14 Documents (2007–2022) Software Authors: Landwehr, N., Passerini, A., De Raedt, L., Frasconi, P. Related Software: nFOIL; Aleph; UCI-ml; … Main Fields: Mathematical logic and foundations (03-XX); Functional analysis (46-XX); Statistics (62-XX); …
NYU Depth Cited in 14 Documents (2015–2022) Software Authors: Nathan Silberman, Pushmeet Kohli, Derek Hoiem, Rob Fergus Related Software: GrabCut; ImageNet; U-Net; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Qu-Prolog Cited in 12 Documents (1992–2006) Software Authors: Clark, Keith; Robinson, Peter J.; Hagen, Richard Related Software: Ergo 6; KQML; LAILA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ARMCI Cited in 9 Documents (2000–2010) Software Authors: J. Nieplocha, V. Tipparaju, M. Krishnan, D. Panda Related Software: CoArray; NAS Parallel Benchmarks; GPSHMEM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX); …
AspectC++ Cited in 10 Documents (2003–2012) Software Authors: Olaf Spinczyk, Daniel Lohmann, Matthias Urban Related Software: AspectJ; FeatureC++; Jiazzi; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
BoogiePL Cited in 11 Documents (2005–2020) Software Authors: DeLine, R., Leino, K.R.M. Related Software: z3; Spec#; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CArtAgO Cited in 7 Documents (2009–2011) Software Authors: Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti Related Software: Jason; Jadex; AgentSpeak; … Main Fields: Computer science (68-XX)
Cogent Cited in 11 Documents (2005–2018) Software Authors: Cook, Byron; Kroening, Daniel; Sharygina, Natasha Related Software: SatAbs; SIMPLIFY; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
PLUMP Cited in 14 Documents (1991–2009) Software Authors: Beg, Ivan; Ling, Wu; M\"uller, Andreas; Przybyszewski, Piotr; R\"uhl, Roland; Sawyer, William Related Software: PROGRES; SPARSKIT; ITSOL Main Fields: Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); Real functions (26-XX); …
ccNUMA Cited in 12 Documents (2001–2010) Software Authors: Chapman, B.; Bregier, F.; Patil, A.; Prabhakar, A. Related Software: hwloc Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Isabelle/Circus Cited in 12 Documents (2013–2017) Software Authors: Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff Related Software: Isabelle/HOL; ProofPower; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
PLAN Cited in 9 Documents (1997–2005) Software Authors: Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott Related Software: Guava; AtomCaml; Atomizer; … Main Fields: Computer science (68-XX)
CompCertTSO Cited in 12 Documents (2013–2019) Software Authors: Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter Related Software: Coq; CompCert; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …
KIDS Cited in 11 Documents (1992–2021) Software Authors: D.R. Smith Related Software: Theorema; ALISA; Maude; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
Koka Cited in 12 Documents (2014–2022) Software Authors: Leijen, D. Related Software: Eff; ML; Links; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MAGDA Cited in 10 Documents (2006–2010) Software Authors: Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque Related Software: Globus Toolkit; Charlotte; MPICH-G2; … Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); …
MUI Cited in 11 Documents (2015–2021) Software Authors: Tang, Yu-Hang; Kudo, Shuhei; Bian, Xin; Li, Zhen; Karniadakis, George Em Related Software: preCICE; AdResS; OpenFOAM; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
Powerlaw Cited in 8 Documents (2015–2021) Software Authors: Jeff Alstott, Ed Bullmore, Dietmar Plenz Related Software: plfit; Python; hosking.c; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX); …
Spoofax Cited in 11 Documents (2011–2020) Software Authors: Lennart C.L. Kats; Eelco Visser Related Software: Stratego; JastAdd; SugarJ; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
voFoam Cited in 12 Documents (2014–2021) Software Authors: Tomislav Maric, Holger Marschall, Dieter Bothe Related Software: Gerris; PROST; VOFTools; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
Genius Cited in 11 Documents (2010–2021) Software Authors: Jiří Lebl; Daniel Lichtblau Related Software: StableBBasisNBM5; Proof General; CliffOC; … Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Several complex variables and analytic spaces (32-XX); …
MLton Cited in 11 Documents (2002–2020) Software Authors: Stephen T. Weeks Related Software: HOL; Isabelle/HOL; OCaml; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX); …
Rex Cited in 10 Documents (2011–2022) Software Authors: Veanes, M.; De Halleux, P.; Tillmann, N. Related Software: MONA; z3; DART; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Scratch Cited in 3 Documents (2019–2021) Software Authors: J. Maloney, M. Resnick, N. Rusk, B. Silverman, E. Eastmond Related Software: Greenfoot; TinkerPlots; NetLogo; … Main Fields: Measure and integration (28-XX); Statistics (62-XX); Computer science (68-XX); …
SIPAMPL Cited in 11 Documents (2003–2018) Software Authors: Vaz, A.Ismael F.; Fernandes, Edite M.G.P.; Gomes, M.Paula S.F. Related Software: NSIPS; AMPL; NPSOL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX); Geophysics (86-XX); …
Cubical agda Cited in 10 Documents (2020–2022) Software Authors: Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas Related Software: cubicaltt; Agda; GitHub; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
3D Slicer Cited in 5 Documents (2016–2020) Software Authors: Fedorov A, Beichel R, Kalpathy-Cramer J, Finet J, Fillion-Robin JC, Pujol S, Bauer C, Jennings D, Fennessy F, Sonka M, Buatti J, Aylward S, Miller JV, Pieper S, Kikinis R Related Software: Python; NumPy; ITK; … Main Fields: Partial differential equations (35-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
ISAAP Cited in 10 Documents (2000–2017) Software Authors: Granat, Janusz; Makowski, Marek Related Software: TROTS; SPEA2; NETGEN; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
LETOS Cited in 8 Documents (2001–2012) Software Authors: Pieter H. Hartel Related Software: Maude; Centaur; Miranda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)