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)
Agda Software Authors: Ulf Norell Cited in: 210 Publications (1999–2022) Related Software: Coq; Haskell; Isabelle/HOL; HOL Light; Nuprl; Idris; … Main Fields: –
Saga Software Authors: Aaron Defazio, Francis Bach, Simon Lacoste-Julien Cited in: 135 Publications (2015–2023) Related Software: AdaGrad; LIBSVM; Finito; Adam; HOGWILD; ProxSARAH; … Main Fields: –
LERS Software Authors: Grzymala-Busse, J. W. Cited in: 110 Publications (1993–2022) Related Software: C4.5; UCI-ml; 4eMka2; ROSETTA; Rseslib; RSES; … Main Fields: –
Mu Analysis and Synthesis Toolbox Software Authors: MathWorks; Gary J. Balas, John C. Doyle, Keith Glover, Andy Packard, Roy Smith Cited in: 109 Publications (1993–2021) Related Software: Robust Control Toolbox; LMI toolbox; Matlab; Control System Toolbox; Skew; Optimization Toolbox; … Main Fields: –
DSTool Software Authors: J Guckenheimer, BA Meloon, MR Myers, FJ Wicklin, Michael Patra Cited in: 104 Publications (1992–2022) Related Software: AUTO; AUTO-86; HomCont; PITCON; MATCONT; LOCBIF; … Main Fields: –
SLICOT Software Authors: Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras Cited in: 85 Publications (1999–2022) Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; … Main Fields: (93-04-XX); (65Y15-XX)
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)
LIMbook Software Authors: Brugnano, Luigi; Iavernaro, Felice Cited in: 69 Publications (2016–2023) Related Software: BiMD; BiM; RODAS; Mulprec; Matlab; HLLE; … 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)
Isabelle/ZF Software Authors: Lawrence C. Paulson Cited in: 63 Publications (1993–2021) Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; … Main Fields: (68T15-XX); (68Q60-XX); (03E99-XX)
4eMka2 Software Authors: S.Greco, B.Matarazzo, R.Slowinski Cited in: 52 Publications (1999–2022) Related Software: LERS; M-MACBETH; VisualUTA; UTA Plus; JAMM; PREFDIS; … Main Fields: –
kappalab Software Authors: Grabisch, Michel; Kojadinovic, Ivan; Meyer, Patrick Cited in: 52 Publications (2007–2022) Related Software: R; M-MACBETH; VisualUTA; UTA Plus; quadprog; Knapsack; … Main Fields: (90B50-XX); (91B16-XX)
BEAM189 Software Authors: Wang, Changguo; Tan, Huifeng; Du, Xingwen Cited in: 51 Publications (2003–2022) Related Software: ABAQUS; ANSYS; Meschach; WebPlotDigitizer; Chrono; DualSPHysics; … Main Fields: (74S05-XX); (74K10-XX)
STAMP Software Authors: Koopman, S. J.; Harvey, A. C.; Doornik, J. A.; Shephard, A. Cited in: 37 Publications (1998–2021) Related Software: SsfPack; Ox; R; Matlab; SAS; Stata; … Main Fields: –
Clingcon Software Authors: Martin Gebser; Max Ostrowski; Torsten Schaub Cited in: 39 Publications (2009–2022) Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; … Main Fields: –
RIM_DOM.F90 Software Authors: Gao, Xiao-Wei Cited in: 37 Publications (2005–2022) Related Software: BEMECH; XFEM; FreeHyTE; Mfree2D; SERBA Main Fields: (65D32-XX); (41A55-XX); (41A63-XX)
OpenLB Software Authors: Jonas Latt; Mathias J. Krause Cited in: 28 Publications (2007–2022) Related Software: Palabos; waLBerla; LB3D; p4est; Julia; OpenFOAM; … Main Fields: –
SIMATH Software Authors: Zimmer, Horst G.; Matsui, T.; Kobayashi, D.; Abe, M.; Nakamula, K. Cited in: 31 Publications (1988–2010) Related Software: KANT/KASH; PARI/GP; Magma; LiDIA; Maple; Python; … Main Fields: (11Y40-XX); (68W30-XX); (14Q05-XX)
NESTOR Software Authors: Cooper, G.F. Cited in: 27 Publications (1985–2017) Related Software: TETRAD; ElemStatLearn; MICE; pcalg; impute; GeNIe; … Main Fields: –
ump Software Authors: Geyer, Charles J.; Meeden, Glen D. Cited in: 29 Publications (2005–2022) Related Software: R; LogXact; StatXact; GPvecchia; G-LiHT; FlamMap; … Main Fields: (62F25-XX); (62F03-XX); (62F99-XX)
UniMath Software Authors: Voevodsky, V., Mörtberg, A., Ahrens, B., Lelay, C., Pannila, T., Matthes, R. Cited in: 26 Publications (2016–2022) Related Software: GitHub; Coq; cubicaltt; Lean; HoTT; Agda; … Main Fields: –
ROSETTA Software Authors: Øhrn, Aleksander; Komorowski, Jan; Skowron, Andrzej; Synak, Piotr Cited in: 20 Publications (1998–2021) Related Software: UCI-ml; LERS; RSES; Rseslib; WEKA; C4.5; … Main Fields: (68T30-XX); (68P15-XX)
sbw Software Authors: Zubizarreta, José R. Cited in: 22 Publications (2015–2022) Related Software: R; CBPS; KBAL; Matching; MatchIt; optweight; … Main Fields: (62D05-XX); (62K20-XX); (62P12-XX)
RSES Software Authors: A. Skowron, J. Bazan, N.H. Son, J. Wroblewski Cited in: 19 Publications (2001–2020) Related Software: Rseslib; LERS; ROSETTA; UCI-ml; RIONA; WEKA; … Main Fields: –
MGRIT Software Authors: Dobrev, V. A.; Kolev, Tz.; Petersson, N. A.; Schroder, J. B. Cited in: 22 Publications (2017–2022) Related Software: XBraid; pyParareal; PARALAAOMPI; PARAEXP; ParaDiag; RODAS; … Main Fields: (65M55-XX); (65F10-XX); (65M22-XX)
MathTensor Software Authors: Christensen, Steven M. Cited in: 21 Publications (1997–2021) Related Software: ATENSOR; Mathematica; Cadabra; Riegeom; Invar; Maple; … Main Fields: (53-04-XX); (68W30-XX); (53A45-XX)
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; … Main Fields: (68T15-XX); (68T27-XX)
CP-logic Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Cited in: 19 Publications (2009–2022) Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; … Main Fields: (68N17-XX); (68T27-XX)
LDL Software Authors: Davis, Timothy A. Cited in: 18 Publications (2005–2022) Related Software: AMD; CHOLMOD; CSparse; NETLIB LP Test Set; Mosek; LAPACK; … Main Fields: (65F05-XX); (65F50-XX)
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: –
CIXL2 Software Authors: Ortiz-Boyer, D.; Hervás-Martínez, C.; García-Pedrajas, N. Cited in: 17 Publications (2005–2014) Related Software: Genocop; ABC; LIBSVM; GSA; C4.5; UCI-ml; … Main Fields: (62J10-XX); (62J15-XX); (90C59-XX)
EOlib Software Authors: Keijzer, M.; Merelo, J.J.; Romero, G.; Schoenauer, Marc; Johann Dréo, Caner Candan Cited in: 13 Publications (2002–2015) Related Software: ParaDisEO; ECJ; MAFRA; PISA; ParadisEO-MOEO; MALLBA; … Main Fields: (classification-XX)
LARS Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Cited in: 19 Publications (2016–2022) Related Software: Clingo; SPARQL; C-SPARQL; oClingo; WASP; Apache Flink; … Main Fields: –
QPLIB Software Authors: Furini, Fabio; Traversi, Emiliano; Belotti, Pietro; Frangioni, Antonio; Gleixner, Ambros; Gould, Nick; Liberti, Leo; Lodi, Andrea; Misener, Ruth; Mittelmann, Hans; Sahinidis, Nikolaos V.; Vigerske, Stefan; Wiegele, Angelika Cited in: 18 Publications (2018–2022) Related Software: CPLEX; MIPLIB; Gurobi; SCIP; QuadProgBB; BARON; … Main Fields: (90C06-XX); (90C25-XX)
IPSSIS Software Authors: Xidonas, Panagiotis; Mavrotas, George; Zopounidis, Constantin; Psarras, John Cited in: 16 Publications (2011–2022) Related Software: Python; Matplotlib; RiskMetrics; MOEA/D; Optimization Toolbox; MADM; … Main Fields: (90B50-XX); (90C29-XX); (91G10-XX)
MBase Software Authors: Franke, Andreas; Kohlhase, Michael Cited in: 17 Publications (1999–2006) Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; … Main Fields: (68T35-XX); (68T15-XX)
Akiss Software Authors: Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer Cited in: 16 Publications (2012–2022) Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; … Main Fields: –
FAdo Software Authors: André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis Cited in: 15 Publications (2010–2021) Related Software: GUItar; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; … Main Fields: –
INGRID Software Authors: Dutton, Ronald D.; Brigham, Robert C. Cited in: 16 Publications (1983–2017) Related Software: AutoGraphiX; GRAFFITI; GRAPH; GraPHedron; HR; nauty; … Main Fields: (05-04-XX); (05C35-XX)
QROOT Software Authors: M.L. Chaudhry Cited in: 16 Publications (1993–2022) Related Software: MCQueue; QPACK Main Fields: –
Rseslib Software Authors: A. Wojna; R. Latkowski Cited in: 12 Publications (2001–2021) Related Software: RSES; LERS; UCI-ml; ROSETTA; RIONA; rapidminer; … Main Fields: –
HipSpec Software Authors: Claessen, Koen; Johansson, Moa; Ros'en, Dan; Smallbone, Nicholas Cited in: 15 Publications (2013–2021) Related Software: Zeno; Hipster; CVC4; VAMPIRE; Theorema; Cyclist; … Main Fields: (68T15-XX); (03B35-XX)
QUAD Software Authors: Berbain, Côme; Gilbert, Henri; Patarin, Jacques Cited in: 15 Publications (2006–2020) Related Software: McEliece; eSTREAM; ZHFE; CUDA; Scream; SNOW; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)
COPRIN Software Authors: The COPRIN Project Cited in: 14 Publications (2003–2016) Related Software: COCONUT; MersenneTwister; IbexOpt; Numerica; IBEX; minpack; … Main Fields: (65H04-XX); (65G40-XX); (93C85-XX)
Daesa Software Authors: Pryce, John D., Nedialkov, Ned; Tan, Guangning Cited in: 14 Publications (2015–2022) Related Software: DAETS; Matlab; Test Set IVP; RODAS; LAPJV; Symbolic Math Toolbox; … Main Fields: –
Wannier90 Software Authors: Arash A. Mostofi, Jonathan R. Yates, Young-Su Lee, Ivo Souza, David Vanderbilt, Nicola Marzari Cited in: 11 Publications (2008–2019) Related Software: Quantum Espresso; XCrySDen; VMD; WIEN2k; LAPACK; VESTA 3; … Main Fields: (81-04-XX); (65C05-XX)
Libxc Software Authors: Miguel A. L. Marques, Micael J. T. Oliveira, Tobias Burnus Cited in: 12 Publications (2012–2022) Related Software: ABINIT; Gmsh; OCTOPUS; lobpcg.m; WIEN2k; Quantum Espresso; … Main Fields: –
SYMBA Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Cited in: 13 Publications (2014–2021) Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; … Main Fields: (68Q60-XX); (68N30-XX); (68T20-XX)
Treewidthlib Software Authors: Jan-Willem van den Broek; Hans Bodlaender Cited in: 13 Publications (2007–2016) Related Software: ComputeTW; DIMACS; GeoSteiner; SteinLib; BGL; Boost; … Main Fields: –
AMoRE Software Authors: O. Matz, A. Miller, A. Potthoff, W. Thomas, E. Valkema Cited in: 12 Publications (1998–2010) Related Software: GAP; AUTOMATE; Grail; Quicksort; OEIS; MONOiD; … Main Fields: –
PyCox Software Authors: Geck, Meinolf Cited in: 11 Publications (2012–2020) Related Software: CHEVIE; GAP; SageMath; Coxeter; Python Main Fields: (20C40-XX); (20C08-XX); (20F55-XX)
Wilson Software Authors: Jason Aebischer, Jacky Kumar, David M. Straub Cited in: 5 Publications (2018–2022) Related Software: DsixTools; flavio; MatchingTools; CoDEx; SMEFTsim; SmeftFR; … Main Fields: –
Algorithm 800 Software Authors: Benner, Peter; Byers, Ralph; Barth, Eric Cited in: 11 Publications (2000–2022) Related Software: LAPACK; SLICOT; Algorithm 854; CAREX; mctoolbox; ARPACK; … Main Fields: (65F15-XX); (65Y15-XX); (68W30-XX)
BCCG+FAI Software Authors: Vollebregt, E. Cited in: 11 Publications (2014–2022) Related Software: CONTACT; FEAPpv; AnyBody; SPACAR; Simulink; MBSymba; … Main Fields: –
fc2tools Software Authors: Bouali, A., Ressouche, A., Roy, V., de Simone, R. Cited in: 11 Publications (1999–2015) Related Software: CADP; Exp.Open; CMC; CAESAR_SOLVE; E-LOTOS; Oyster; … Main Fields: –
GCCA Software Authors: Anil K. Seth Cited in: 9 Publications (2011–2021) Related Software: MVGC; Brain Connectivity Toolbox; BSMART; EEGLAB; MuTE; QUIC; … Main Fields: –
LLTM Software Authors: Bechger, Timo M.; Verstralen, Huub H.F.M.; Verhelst, Norman D. Cited in: 11 Publications (2001–2019) Related Software: R; BILOG; Mplus; ICAOD; Cubature; GAMS; … Main Fields: (62P15-XX); (62J05-XX)
MTT Software Authors: Gawthrop, P.J.; Marrison, N.A.; Smith, L. Cited in: 11 Publications (1992–2019) Related Software: bond_graph_cardiac_AP; Octave; Model Transformation Tools; REDUCE; Fractional Order Chaotic Systems; Metatool; … Main Fields: –
ClusterES Software Authors: Banerjee, Amartya S.; Elliott, Ryan S.; James, Richard D. Cited in: 10 Publications (2015–2022) Related Software: CheFSI; ABINIT; Quantum Espresso; CASTEP; PARSEC; Matlab; … Main Fields: (81-08-XX); (82-08-XX); (65N35-XX)
f2lp Software Authors: Lee, J., Palla, R. Cited in: 9 Publications (2011–2016) Related Software: CCalc; Cplus2ASP; Coala; WASP; PRISM; PrASP; … Main Fields: –
GUItar Software Authors: André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis Cited in: 9 Publications (2010–2018) Related Software: FAdo; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; … Main Fields: –
MatchingTools Software Authors: Juan C. Criado Cited in: 4 Publications (2018–2020) Related Software: DsixTools; Wilson; CoDEx; Rosetta; DEFT; FeynRules; … Main Fields: –
STeLP Software Authors: Cabalar, Pedro; Diéguez, Martín Cited in: 9 Publications (2011–2019) Related Software: Coala; Gringo; CCalc; ASSAT Main Fields: (68N17-XX); (68T27-XX)
DENDRAL Software Authors: Buchanan, Bruce G.; Sutherland, Georgia L.; Feigenbaum, E. A. Cited in: 7 Publications (1970–2005) Related Software: Swift; BUGS; Venture; Church; Lasagne; Keras; … Main Fields: –
FSMRDE Software Authors: Jiang, Feng; Sui, Yuefei; Zhou, Lin Cited in: 9 Publications (2015–2021) Related Software: UCI-ml; COOLCAT; clusfind; LOF; PRMLT; ROSETTA; … Main Fields: (68T05-XX)
GDINA Software Authors: Wenchao Ma, Jimmy de la Torre Cited in: 8 Publications (2019–2022) Related Software: CDM; R; NPCD; Mplus; Latent GOLD; alabama; … Main Fields: –
L2WPMA Software Authors: Ioannis C. Demetriou Cited in: 8 Publications (2002–2022) Related Software: FITPACK; Sheppack; QSHEP5D; CSHEP2D; TSHEP2D; QSHEP3D; … Main Fields: (82-08-XX); (82D75-XX); (35K57-XX)
RACAH Software Authors: Fritzsche, S.; Inghoff, T.; Bastug, T.; Tomaselli, M. Cited in: 9 Publications (2001–2009) Related Software: Maple; NJGRAF; NEWGRAPH; GYutsis; COEFANG1; plantri; … Main Fields: (81-08-XX); (65D20-XX)
ROSE Software Authors: Predki, L.; Slowinski, R.; Stefanowski, J.; Susmaga, R.; Wilk, Sz. Cited in: 6 Publications (2002–2020) Related Software: 4eMka2; UCI-ml; Rseslib; RSES; LERS; UTA Plus; … Main Fields: –
SMEFTsim Software Authors: Ilaria Brivio, Yun Jiang, Michael Trott Cited in: 2 Publications (2018–2019) Related Software: DsixTools; FeynRules; Wilson; SmeftFR; MatchingTools; flavio; … Main Fields: –
AEtnaNova Software Authors: Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz Cited in: 8 Publications (2011–2018) Related Software: Referee; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; … Main Fields: –
CalCS Software Authors: Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L. Cited in: 8 Publications (2013–2019) Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; … Main Fields: –
DEMORS Software Authors: Santana-Quintero, Luis V.; Hernández-Díaz, Alfredo G.; Molina, Julián; Coello Coello, Carlos A.; Caballero, Rafael Cited in: 4 Publications (2010–2015) Related Software: MOEA/D; SPEA2; WBMOAIS; D2MOPSO; AbYSS; jMetal; … Main Fields: (90C29-XX)
fdANOVA Software Authors: Górecki, Tomasz; Smaga, Łukasz Cited in: 8 Publications (2019–2022) Related Software: R; fda (R); mfds; GitHub; fda.usc; rrcov; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX)
Hipster Software Authors: Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen Cited in: 8 Publications (2014–2021) Related Software: HipSpec; Theorema; QuickCheck; CVC4; QuickSpec; Dafny; … Main Fields: (68T15-XX)
JSetL Software Authors: Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others Cited in: 4 Publications (2009–2021) Related Software: Z; SETL; ProB; MiniZinc; Gecode; JaCoP; … Main Fields: –
olga.lib Software Authors: Johannes Hoffmann, Viktor Levandovskyy Cited in: 7 Publications (2017–2023) Related Software: SINGULAR; Plural; JAS; HolonomicFunctions; OreTools; SageMath; … Main Fields: –
Rivet Software Authors: Andy Buckley, Jonathan Butterworth, David Grellscheid, Hendrik Hoeth, Leif Lonnblad, James Monk, Holger Schulz, Frank Siegert Cited in: 6 Publications (2011–2019) Related Software: PYTHIA8; SHERPA; HEPData; HepMC; Herwig++; Python; … Main Fields: –
RoughSets Software Authors: Andrzej Janusz, Lala Septem Riza, Dominik Ślęzak, Chris Cornelis, Francisco Herrera, Jose Manuel Benitez, Christoph Bergmeir, Sebastian Stawicki Cited in: 8 Publications (2016–2021) Related Software: UCI-ml; WEKA; LERS; BoosTexter; ROSETTA; jMAF; … Main Fields: –
RSPOP Software Authors: Ang, Kai Keng; Quek, Chai Cited in: 4 Publications (2005–2021) Related Software: GenSoFNN; ANFIS; clusfind; R; Kernlab; DENFIS Main Fields: (68T05-XX); (68T30-XX); (93C42-XX)
CART Software Authors: Dan Steinberg: Mikhail Golovnya; Salford Systems Cited in: 3 Publications (2018–2020) Related Software: gbm; C4.5; randomForest; R; rpart; evtree; … Main Fields: –
DGDFT Software Authors: Wei Hu, Lin Lin, Chao Yang Cited in: 7 Publications (2016–2021) Related Software: ONETEP; Quantum Espresso; ABINIT; NWChem; lobpcg.m; CheFSI; … Main Fields: –
MUSCOP Software Authors: Potschka, Andreas Cited in: 7 Publications (2001–2021) Related Software: NewtonLib; ADOL-C; UFL; FEniCS; DOLFIN; MUMPS; … Main Fields: (65K10-XX); (65-02-XX); (49M15-XX)
parest_dae Software Authors: Casian Pantea, Ankur Gupta, James B. Rawlings, Gheorghe Craciun Cited in: 7 Publications (2014–2020) Related Software: SINGULAR; neural ideal; GitHub; Ginsim; Macaulay2; DAISY; … Main Fields: –
ReachNN Software Authors: Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu Cited in: 7 Publications (2021–2022) Related Software: Flow*; Reluplex; Verisig; Marabou; SpaceEx; Sherlock; … Main Fields: –
Referee Software Authors: Eugenio G. Omodeo; Domenico Cantone; Alberto Policriti; Jacob T. Schwartz Cited in: 7 Publications (2013–2018) Related Software: AEtnaNova; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Algorithm 628 Software Authors: Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H. Cited in: 6 Publications (1985–2009) Related Software: SYMMGRP; FGb Main Fields: (68W30-XX); (13-04-XX); (13F20-XX)
Algorithm 967 Software Authors: Malhotra, Dhairya; Biros, George Cited in: 6 Publications (2016–2020) Related Software: ScalFMM; pvfmm; tabipb; TABI; GitHub; exafmm; … Main Fields: (65N38-XX); (65Y05-XX); (65N80-XX)
ALOHA Software Authors: P. de Aquino, W. Link, F. Maltoni, O. Mattelaer, T. Stelzer Cited in: 5 Publications (2013–2020) Related Software: MadGraph5_aMC@NLO; MadGraph; FeynRules; HELAS; GoSam; CutTools; … Main Fields: (90B18-XX); (60F10-XX)
BigDFT Software Authors: Genovese, Luigi; Videau, Brice; Ospici, Matthieu; Deutsch, Thierry; Goedecker, Stefan; Méhaut, Jean-François Cited in: 5 Publications (2011–2021) Related Software: ABINIT; PETSc; Libxc; OCTOPUS; APE; SLEPc; … Main Fields: (82-08-XX); (65T60-XX); (65Y05-XX)
BLITZ Software Authors: T. B. Johnson; C. Guestrin Cited in: 6 Publications (2017–2021) Related Software: LIBLINEAR; glmnet; Celer; Cython; Apache Spark; StingyCD; … Main Fields: –
Catfact Software Authors: R. G. Cowell; F. J. Wright Cited in: 6 Publications (1989–2005) Related Software: SINGULAR; Macaulay2; Transversal; Maple; KELLEY; moregroebner; … Main Fields: –
Equations Software Authors: Sozeau, Matthieu Cited in: 6 Publications (2010–2020) Related Software: Coq; Idris; Lean; Irdis; GitHub; AmiCo; … Main Fields: (68T15-XX); (68N20-XX)
Finite Automata HF Software Authors: Lawrence C. Paulson Cited in: 6 Publications (2015–2020) Related Software: Hereditarily Finite Sets; Coq; Coq/SSReflect; Myhill-Nerode; MSO_Regex_Equivalence; Presburger Automata; … Main Fields: –
HERBY Software Authors: Newborn, Monty Cited in: 5 Publications (1998–2004) Related Software: TPTP; OTTER; TGTP; SETHEO; Gandalf; MARTE; … Main Fields: (68T15-XX); (68-01-XX)
Hereditarily Finite Sets Software Authors: Lawrence C. Paulson Cited in: 6 Publications (2015–2020) Related Software: Finite Automata HF; Coq; Coq/SSReflect; Myhill-Nerode; MSO_Regex_Equivalence; Presburger Automata; … Main Fields: –
HOT Software Authors: Konrad, Karsten Cited in: 6 Publications (1998–2021) Related Software: TPS; Nuprl; CoqHammer; HOLyHammer; E Theorem Prover; Sledgehammer; … Main Fields: (03B35-XX); (68T15-XX)
mkbTT Software Authors: Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito Cited in: 6 Publications (2008–2015) Related Software: Slothrop; Tyrolean; KBCV; REVE; AProVE; TPTP; … Main Fields: (68T15-XX); (68Q42-XX)
nlmeU Software Authors: Andrzej Galecki, Tomasz Burzykowski Cited in: 5 Publications (2013–2021) Related Software: R; S-PLUS; SASmixed; MASS (R); SAS; MEMSS; … Main Fields: (62-02-XX); (62-04-XX); (62-07-XX)