Software Authors:   Glover, Fred; Taillard, Eric; de Werra, Dominique

Cited in:	1,027 Publications (1991–2022)
Related Software:	Scatter Search; CPLEX; VRP; OR-Library; TSPLIB; DIMACS; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S

Cited in:	545 Publications (2001–2022)
Related Software:	MiniSat; BerkMin; SATO; Walksat; Siege; Velev SAT Benchmarks; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Karaboga, Dervis; Basturk, Bahriye

Cited in:	259 Publications (2007–2022)
Related Software:	GSA; GWO; CEC 05; JADE; WOA; CEC 13; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

Cited in:	161 Publications (1986–2022)
Related Software:	TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Software Authors:   McCarthy, John

Cited in:	112 Publications (1960–2020)
Related Software:	ACL2; NQTHM; Haskell; ML; Coq; REDUCE; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson

Cited in:	74 Publications (2003–2021)
Related Software:	Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; …
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Andrews, Peter B.; Brown, Chad E.

Cited in:	76 Publications (1990–2022)
Related Software:	TPTP; ETPS; HOL; LEO-II; Satallax; PVS; …
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Software Authors:   Gary Riley; Giarranto

Cited in:	64 Publications (1992–2020)
Related Software:	Jess; Protege; MARGOT; Lazarus; WolframAlpha; Optimel; …
Main Fields:	Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W.

Cited in:	37 Publications (1987–2020)
Related Software:	Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Software Authors:   R. Collobert, S. Bengio, J. Mariethoz

Cited in:	28 Publications (2003–2022)
Related Software:	TensorFlow; Caffe; Theano; Adam; PyTorch; DiffSharp; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Saket Sathe

Cited in:	39 Publications (2013–2022)
Related Software:	invGauss; SNAP; Pajek
Main Fields:	Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistical mechanics, structure of matter (82-XX)

Software Authors:   DeepMind; David Silver; Thomas Hubert; Julian Schrittwieser; Demis Hassabis

Cited in:	35 Publications (2018–2022)
Related Software:	Adam; AlexNet; ImageNet; GitHub; TensorFlow; Scikit; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Software Authors:   Ramprasaath R. Selvaraju, Michael Cogswell, Abhishek Das, Ramakrishna Vedantam, Devi Parikh, Dhruv Batra

Cited in:	23 Publications (2018–2022)
Related Software:	ImageNet; AlexNet; shap; PyTorch; t-SNE; Adam; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer

Cited in:	29 Publications (2017–2022)
Related Software:	AI2; Marabou; Adam; NNV; MNIST; DeepFool; …
Main Fields:	Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Yonghui Wu, Mike Schuster, Zhifeng Chen, Quoc V. Le, Mohammad Norouzi, Wolfgang Macherey, Maxim Krikun, Yuan Cao, Qin Gao, Klaus Macherey, Jeff Klingner, Apurva Shah, Melvin Johnson, Xiaobing Liu, Łukasz Kaiser, Stephan Gouws, Yoshikiyo Kato, Taku Kudo, Hideto Kazawa, Keith Stevens, George Kurian, Nishant Patil, Wei Wang, Cliff Young, Jason Smith, Jason Riesa, Alex Rudnick, Oriol Vinyals, Greg Corrado, Macduff Hughes, Jeffrey Dean

Cited in:	26 Publications (2018–2022)
Related Software:	ImageNet; Adam; AlexNet; BERT; DeepFace; TensorFlow; …
Main Fields:	Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Software Authors:   Cooper, G.F.

Cited in:	27 Publications (1985–2017)
Related Software:	TETRAD; DENDRAL; ElemStatLearn; MICE; pcalg; impute; …
Main Fields:	Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Software Authors:   Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Cited in:	26 Publications (2001–2018)
Related Software:	QuBE++; Quaffle; Chaff; MiniSat; semprop; DepQBF; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

Software Authors:   Michael Maher; Tristan Miller

Cited in:	20 Publications (2000–2020)
Related Software:	DR-Prolog; DLV2; WebPIE; LegalRuleML; swrl; Potassco; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   A.P. Dawid

Cited in:	23 Publications (2001–2021)
Related Software:	TETRAD; HdBCS; glasso; EfProb; SCIP; pcalg; …
Main Fields:	Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Probability theory and stochastic processes (60-XX)

Software Authors:   Thomas Schiex; Simon de Givry; David Allouche

Cited in:	23 Publications (2007–2022)
Related Software:	mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray

Cited in:	19 Publications (1993–2022)
Related Software:	E Theorem Prover; SPASS; SCIFF; MiniSat; SBGN; SMT-LIB; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Ivan Zelinka; Jouni Lampinen

Cited in:	19 Publications (2002–2014)
Related Software:	deSolve; microbenchmark; Rsolnp; trust; stats4; smco; …
Main Fields:	Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Software Authors:   Mahajan, Yogesh S.; Fu, Zhaohui; Malik, Sharad

Cited in:	16 Publications (2005–2016)
Related Software:	MiniSat; Chaff; BerkMin; zChaff; SMT-LIB; SATzilla; …
Main Fields:	Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

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:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Moravčík, Matej; Schmid, Martin; Burch, Neil; Lisý, Viliam; Morrill, Dustin; Bard, Nolan; Davis, Trevor; Waugh, Kevin; Johanson, Michael; Bowling, Michael

Cited in:	19 Publications (2017–2022)
Related Software:	Libratus; Pluribus; GameShrink; AlexNet; ImageNet; Gurobi; …
Main Fields:	Ordinary differential equations (34-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Software Authors:   Tran, D., Kucukelbir, A., Dieng, A. B., Rudolph, M., Liang, D., Blei, D. M.

Cited in:	13 Publications (2017–2022)
Related Software:	Stan; TensorFlow; PyMC; ADVI; Theano; NUTS; …
Main Fields:	Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Angel X. Chang, Thomas Funkhouser, Leonidas Guibas, Pat Hanrahan, Qixing Huang, Zimo Li, Silvio Savarese, Manolis Savva, Shuran Song, Hao Su, Jianxiong Xiao, Li Yi, Fisher Yu

Cited in:	13 Publications (2018–2022)
Related Software:	PointNet; 3D-R2N2; Pixel2Mesh; Adam; MeshLab; ImageNet; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Software Authors:   Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista

Cited in:	16 Publications (2007–2021)
Related Software:	Clingcon; Clingo; OntoDLV; Potassco; Gringo; ezcsp; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   University of Oregon

Cited in:	14 Publications (2001–2019)
Related Software:	Gurobi; MCTS-Solver; BuDDy
Main Fields:	Combinatorics (05-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)

Software Authors:   Oppacher, F.; Suen, E

Cited in:	14 Publications (1994–2020)
Related Software:	SETHEO; TPTP; 3TAP; SATCHMO; OTTER; METEOR; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Laskey, Kathryn Blackmond

Cited in:	11 Publications (2008–2018)
Related Software:	BLOG; PR-OWL; IBAL; PRISM; BayesOWL; BUGS; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)

Software Authors:   Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban

Cited in:	13 Publications (2017–2021)
Related Software:	Mizar; E Theorem Prover; ENIGMA; VAMPIRE; MPTP 0.2; Coq; …
Main Fields:	Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Software Authors:   Martin, T.P.; Baldwin, J.F.; Pilsworth, B.W.

Cited in:	12 Publications (1985–2017)
Related Software:	FRIL; Ciao; DeLorean; Fuzzydl; FuzzyCLIPS; Prolog; …
Main Fields:	Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Statistics (62-XX)

Software Authors:   Goualard, F.

Cited in:	13 Publications (2004–2020)
Related Software:	PROFIL/BIAS; Numerica; RealPaver; filib++; INTLAB; IbexOpt; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   K Murphy

Cited in:	12 Publications (2004–2020)
Related Software:	Matlab; R; Brain Connectivity Toolbox; seqHMM; depmixS4; hmm.discnp; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   André Platzer

Cited in:	14 Publications (2008–2021)
Related Software:	z3; QEPCAD; KeYmaera; AXIOM; SINGULAR; MetiTarski; …
Main Fields:	Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Software Authors:   Alexey Dosovitskiy, Lucas Beyer, Alexander Kolesnikov, Dirk Weissenborn, Xiaohua Zhai, Thomas Unterthiner, Mostafa Dehghani, Matthias Minderer, Georg Heigold, Sylvain Gelly, Jakob Uszkoreit, Neil Houlsby

Cited in:	10 Publications (2022)
Related Software:	PyTorch; Swin Transformer; ImageNet; Adam; BERT; GitHub; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José

Cited in:	13 Publications (2014–2022)
Related Software:	Maude; TAMARIN; Maude-NPA; MTT; GLINTS; Akiss; …
Main Fields:	Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Software Authors:   Fenton, Norman; Neil, Martin

Cited in:	11 Publications (2013–2021)
Related Software:	R; TETRAD; Elicitator; dobson; arm; brms; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Abualigah, Laith; Diabat, Ali; Mirjalili, Seyedali; Abd Elaziz, Mohamed; Gandomi, Amir H.

Cited in:	13 Publications (2021–2022)
Related Software:	SSA; GWO; WOA; ALO; GSA; Aquila optimizer; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Software Authors:   Andreas Prlic; Andrew Yates; Spencer E. Bliven; Peter W. Rose; Julius Jacobsen; Peter V. Troshin; Mark Chapman; Jianjiong Gao; Chuan Hock Koh; Sylvain Foisy; Richard Holland; Gediminas Rimsa; Michael L. Heuer; H. Brandstatter-Muller; Philip E. Bourne; Scooter Willis

Cited in:	5 Publications (2009–2017)
Related Software:	Biopython; bioperl; MMTK; ProDy; Python; Taverna; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, Luc De Raedt

Cited in:	13 Publications (2020–2022)
Related Software:	ProbLog; TensorLog; NeurASP; Adam; CLEVR; CLEVR dataset; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Zhenzhong Lan, Mingda Chen, Sebastian Goodman, Kevin Gimpel, Piyush Sharma, Radu Soricut

Cited in:	7 Publications (2021–2023)
Related Software:	BERT; RoBERTa; XLNet; SQuAD; Transformers; ConceptNet; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Van Engelen, Robert Alexander

Cited in:	12 Publications (1998–2020)
Related Software:	Mathematica; FINGER; SciNapse; PDEQSOL; ALPAL; SCIRun; …
Main Fields:	General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Software Authors:   Yangyan Li, Rui Bu, Mingchao Sun, Wei Wu, Xinhan Di, Baoquan Chen

Cited in:	9 Publications (2019–2022)
Related Software:	PointNet; VoxNet; VoxelNet; OctNet; PointConv; KPConv; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo

Cited in:	12 Publications (2014–2021)
Related Software:	SATzilla; MiniZinc; Proteus; sunny-cp; aspeed; SMAC; …
Main Fields:	Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Brown, Noam; Sandholm, Tuomas

Cited in:	10 Publications (2018–2022)
Related Software:	DeepStack; Pluribus; AlphaZero; Agent57; MovieLens; PyTorch; …
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   The Ray Team Revision; Eric Liang, Richard Liaw, Philipp Moritz, Robert Nishihara, Roy Fox, Ken Goldberg, Joseph E. Gonzalez, Michael I. Jordan, Ion Stoica

Cited in:	3 Publications (2020–2023)
Related Software:	OpenAI Gym; Python; PyTorch; Dopamine; Stable Baselines; rlpyt; …
Main Fields:	Computer science (68-XX); Geophysics (86-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner

Cited in:	10 Publications (2010–2022)
Related Software:	Matlab; MISER3; Visual MISER; OpenStreetMap; BPA; COMSOL; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Pezzulo, Giovanni; Calvi, Gianguglielmo

Cited in:	10 Publications (2005–2011)
Related Software:	CUMODP; CoCoA; DIANE; SLEUTH
Main Fields:	General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

Software Authors:   Christopher B. Choy, Danfei Xu, JunYoung Gwak, Kevin Chen, Silvio Savarese

Cited in:	8 Publications (2019–2021)
Related Software:	ShapeNet; PointNet; Adam; Pixel2Mesh; SoftRas; OpenDR; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Software Authors:   David Salinas, Valentin Flunkert, Jan Gasthaus

Cited in:	9 Publications (2021–2022)
Related Software:	Adam; PyTorchTS; Tensor2Tensor; forecast; fpp2; expsmooth; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Annamalai Narayanan, Mahinthan Chandramohan, Rajasekar Venkatesan, Lihui Chen, Yang Liu, Shantanu Jaiswal

Cited in:	9 Publications (2018–2021)
Related Software:	node2vec; DeepWalk; word2vec; AFGen; LINE; RolX; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo

Cited in:	9 Publications (2002–2011)
Related Software:	KQML; Qu-Prolog; Datalog; Smodels; IMPACT; AgentSpeak; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

Software Authors:   Randal S. Olson, William La Cava, Patryk Orzechowski, Ryan J. Urbanowicz, Jason H. Moore

Cited in:	9 Publications (2018–2023)
Related Software:	Scikit; UCI-ml; GitHub; PySAT; C4.5; SciPy; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   T. Schaul, J. Bayer, D. Wierstra, Y. Sun, M. Felder, F. Sehnke, T. Rückstieß, J. Schmidhuber

Cited in:	6 Publications (2011–2016)
Related Software:	Python; SHOGUN; Orange; Scikit; Cython; NumPy; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Noda, I., Matsubara, H., Hiraki, K., Frank, I.

Cited in:	3 Publications (2007–2010)
Related Software:	Society Visualiser; ISLANDER; CCalc; NuSMV
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Thimm, M.

Cited in:	10 Publications (2016–2023)
Related Software:	DiArg; LARS; Clingo; Brain Connectivity Toolbox; sCASP; ezcsp; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   David Milne; Ian H. Witten

Cited in:	4 Publications (2012–2019)
Related Software:	DBpedia; MENTA; BabelNet; YAGO; Freebase; WordNet; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Knoll, B., Kisyński, J., Carenini, G., Conati, C., Mackworth, A., Poole, D

Cited in:	8 Publications (2010–2022)
Related Software:	JBool; ITI; MediBoost; PyDL8.5; PMLB; PySAT; …
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Software Authors:   Sylvestre-Alvise Rebuffi, Alexander Kolesnikov, Georg Sperl, Christoph H. Lampert

Cited in:	7 Publications (2019–2022)
Related Software:	ImageNet; Adam; CIFAR; CORe50; MNIST; PyTorch; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Srivastava, Biplav; Kombhampati, Subbarao; Do, Minh B.

Cited in:	9 Publications (2001–2008)
Related Software:	Graphplan; STAN; CPlan; Optiplan; CPLEX; SAPA; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Daniela Inclezan, Michael Gelfond

Cited in:	8 Publications (2012–2020)
Related Software:	PEORL; VerbNet; CCalc; BWIBots; StanfordCoreNLP; PDDL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, Vladlen Koltun

Cited in:	5 Publications (2019–2022)
Related Software:	OpenAI Gym; Adam; AirSim; TORCS; Matlab; MuJoCo; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Justin Johnson, Bharath Hariharan, Laurens van der Maaten, Li Fei-Fei, C. Lawrence Zitnick, Ross Girshick

Cited in:	7 Publications (2020–2022)
Related Software:	CLEVR dataset; VQA; Grad-CAM; t-SNE; DeepProbLog; NeurASP; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Justin Johnson, Bharath Hariharan, Laurens van der Maaten, Li Fei-Fei, C. Lawrence Zitnick, Ross Girshick

Cited in:	7 Publications (2020–2022)
Related Software:	CLEVR; BERT; PyTorch; t-SNE; VQA; DeepProbLog; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Cited in:	8 Publications (2020–2022)
Related Software:	ENIGMA; E Theorem Prover; GitHub; FEMaLeCoP; VAMPIRE; ileanCoP; …
Main Fields:	Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Brown, Noam; Sandholm, Tuomas

Cited in:	8 Publications (2019–2022)
Related Software:	DeepStack; Libratus; FEniCS; AlexNet; AlphaZero; Orthogonal Array; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Software Authors:   Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I. Jordan, Ion Stoica

Cited in:	5 Publications (2021–2022)
Related Software:	TensorFlow; Python; OpenAI Gym; GitHub; MuJoCo; Adam; …
Main Fields:	Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   Yang Xiang

Cited in:	8 Publications (1999–2015)
Related Software:	MIM
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   V. Arya, R. K. E. Bellamy, P.-Y. Chen, A. Dhurandhar, M. Hind, S. C. Hoffman, S. Houde, Q. V. Liao, R. Luss, A. Mojsilovic ́, S. Mourad, P. Pedemonte, R. Raghavendra, J. T. Richards, P. Sattigeri, K. Shanmugam, M. Singh, K. R. Varshney, D. Wei, Y. Zhang

Cited in:	3 Publications (2020–2021)
Related Software:	TensorFlow; InterpretML; modelStudio; DALEX; H2O; GitHub; …
Main Fields:	Computer science (68-XX)

Software Authors:   Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo

Cited in:	7 Publications (2017–2022)
Related Software:	ProbLog; SWI-Prolog; PRISM; XSB; PITA; CP-logic; …
Main Fields:	Computer science (68-XX)

Software Authors:   Xiang, Wanli; Ma, Shoufeng; An, Meiqing

Cited in:	7 Publications (2014–2021)
Related Software:	ABC; WOA; CEC 13; GSA; WCA; KEEL; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Zhao, Weiguo; Wang, Liying; Mirjalili, Seyedali

Cited in:	6 Publications (2022)
Related Software:	SSA; AOA; GWO; WOA; MOMPA; ALO; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Software Authors:   Newborn, Monty

Cited in:	5 Publications (1998–2004)
Related Software:	OTTER; TPTP; TGTP; SETHEO; Gandalf; MARTE; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Tianyi Zhou; Dacheng Tao; Xindong Wu

Cited in:	5 Publications (2012–2019)
Related Software:	LIBSVM; UCI-ml; Pegasos; ElemStatLearn; MLTSVM; ReGEC_L1; …
Main Fields:	Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Van Hentenryck, Pascal; Michel, Laurent; Benhamou, F.

Cited in:	5 Publications (1997–2013)
Related Software:	Helios; PASCAL-XSC; COMET; cc(FD); Skyblue; Mozart; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Fangkai Yang, Daoming Lyu, Bo Liu, Steven Gustafson

Cited in:	5 Publications (2019–2021)
Related Software:	REBA; BWIBots; ALM; CCalc; PDDL; Clingcon; …
Main Fields:	Computer science (68-XX)

Software Authors:   Ryan Prenger, Rafael Valle, Bryan Catanzaro

Cited in:	4 Publications (2021–2022)
Related Software:	Glow; nsf; nflows; FloWaveNet; NICE; Adam; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)

Software Authors:   Narine Kokhlikyan, Vivek Miglani, Miguel Martin, Edward Wang, Bilal Alsallakh, Jonathan Reynolds, Alexander Melnikov, Natalia Kliushkina, Carlos Araya, Siqi Yan, Orion Reblitz-Richardson

Cited in:	2 Publications (2020–2021)
Related Software:	Alibi Explain; Python; PyTorch; InterpretML; tf-explain; iNNvestigate; …
Main Fields:	Computer science (68-XX)

Software Authors:   Yasuhiro Fujita, Toshiki Kataoka, Prabhat Nagarajan, Takahiro Ishikawa

Cited in:	2 Publications (2021)
Related Software:	rlpyt; Dopamine; Stable Baselines; Catalyst.RL; PyTorch; RLlib; …
Main Fields:	Computer science (68-XX)

Software Authors:   Eggensperger, Katharina; Lindauer, Marius; Hutter, Frank

Cited in:	5 Publications (2019–2022)
Related Software:	irace; Paramils; EGO; Auto-WEKA; Omni-optimizer; MultiGLODS; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Clark, David F.; Kandel, Abraham

Cited in:	4 Publications (1991–2012)
Related Software:	–
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   DTAI - KU Leuven; Wittocx, J., Mariën, M., Denecker, M

Cited in:	5 Publications (2008–2017)
Related Software:	Smodels; MiniSat; clasp; Lparse; Gringo; Essence; …
Main Fields:	Computer science (68-XX)

Software Authors:   Peter Mills

Cited in:	5 Publications (2016–2018)
Related Software:	PRMLT; Galaxy; pLoc-mEuk; iACP; iSS-PseDNC; GRAPH; …
Main Fields:	Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

Software Authors:   Camacho-Collados, José; Pilehvar, Mohammad Taher; Navigli, Roberto

Cited in:	5 Publications (2016–2022)
Related Software:	word2vec; BabelNet; WordNet; AutoExtend; SBERT; KagNet; …
Main Fields:	Computer science (68-XX)

Software Authors:   Shih Yuan Yu, Sujit Rokka Chhetri, Arquimedes Canedo, Palash Goyal, Mohammad Abdullah Al Faruque

Cited in:	2 Publications (2021)
Related Software:	OpenKE; AmpliGraph; Python; DGL-KE; PyKEEN; PyTorch; …
Main Fields:	Computer science (68-XX)

Software Authors:   Fernando Pérez-García, Rachel Sparks, Sebastien Ourselin

Cited in:	0 Publications
Related Software:	PyTorch; Python; TensorFlow; DLTK; NiftyNet; ImageNet; …
Main Fields:	–

Software Authors:   Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger

Cited in:	4 Publications (2019–2022)
Related Software:	Datalog; LUBM; RDFox; Dyna; SPARQL; DBpedia; …
Main Fields:	Computer science (68-XX)

Software Authors:   K. Helsgaun

Cited in:	3 Publications (2017–2019)
Related Software:	cc(FD); Numerica; MINION; Chaff; Oz; Gecode; …
Main Fields:	Combinatorics (05-XX); Number theory (11-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Vincenzo Lomonaco, Davide Maltoni

Cited in:	3 Publications (2019–2022)
Related Software:	iCaRL; PyTorch; CIFAR; ImageNet; MNIST; OpenLORIS; …
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

Software Authors:   Dorothea Blostein, Steve Smithies, Kevin Novins, Richard Zanibbi, Arlis Rose, David Tausky, Nick Willan

Cited in:	3 Publications (2000–2006)
Related Software:	MathBrush; Maple
Main Fields:	Computer science (68-XX)

Software Authors:   Di Gesu, V.; Giancarlo, R.; Lo Bosco, G.; Raimondi, A.; Scaturro, D.

Cited in:	3 Publications (2009–2021)
Related Software:	GlobalMIT; MAST; MrTADFinder; slingshot; SNN-Cliq; CIDR; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Fan-Yun Sun, Jordan Hoffmann, Vikas Verma, Jian Tang

Cited in:	2 Publications (2020–2021)
Related Software:	CogDL; PyTorch; node2vec; RotatE; GraRep; TUDataset; …
Main Fields:	Computer science (68-XX)

Software Authors:   Egri-Nagy, Attila; Nehaniv, Chrystopher L.

Cited in:	4 Publications (2005–2011)
Related Software:	GAP; SgpDec
Main Fields:	Group theory and generalizations (20-XX); Computer science (68-XX)

Software Authors:   C. Montangero; G. Pacini; F. Turini

Cited in:	4 Publications (1976–1984)
Related Software:	LCF; Magma2; ML
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Chengrun Yang, Yuji Akimoto, Dae Won Kim, Madeleine Udell

Cited in:	4 Publications (2019–2022)
Related Software:	Pyglrm; LowRankModels; GloVe; PMA; AlexNet; ADADELTA; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Sun, Yanhua; Zheng, Gengbin; Jetley, Pritish; Kale, Laxmikant V.

Cited in:	4 Publications (2011–2018)
Related Software:	GAMS; PEBBL; MIPLIB2003; ParaSCIP; FiberSCIP; UG; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   G.-C. Roman, K. C. Cox, Donald Wilcox, Jerome Y. Plun

Cited in:	4 Publications (2002)
Related Software:	Tango; Leonardo; Zeus; POLKA; LEDA; XTango; …
Main Fields:	Computer science (68-XX)