×

Found 324 Software Packages (Results 1–100)

Tabu search

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)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Cited in: 544 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)

ABC

Software Authors:   Karaboga, Dervis; Basturk, Bahriye
Cited in: 258 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)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited in: 157 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)

LISP

Software Authors:   McCarthy, John
Cited in: 111 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)

CCalc

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)

TPS

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)

CLIPS

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)

FRIL

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)

Torch

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)

Python Web Graph Generator

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)

AlphaZero

Software Authors:   DeepMind; David Silver; Thomas Hubert; Julian Schrittwieser; Demis Hassabis
Cited in: 34 Publications (2018–2022)
Related Software: Adam; AlexNet; ImageNet; GitHub; Scikit; TensorFlow; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Grad-CAM

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)

Reluplex

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)

GNMT

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)

QUBE

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

NESTOR

Software Authors:   Cooper, G.F.
Cited in: 25 Publications (1985–2017)
Related Software: TETRAD; ElemStatLearn; MICE; pcalg; impute; GeNIe; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

DELORES

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)

Separoids

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

ToulBar2

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)

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: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SOMA

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

Zchaff2004

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)

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

DeepStack

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; holdem; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-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: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Edward

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; ADVI; PyMC; Theano; R; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

ShapeNet

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; ImageNet; MeshLab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

DLV-EX

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)

GIB

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)

HARP

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)

MEBN

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)

DeepMath

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; VAMPIRE; ENIGMA; MPTP 0.2; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

FPROLOG

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)

gaol

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)

hmm

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

Orbital library

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)

ViT

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: 11 Publications (2022)
Related Software: PyTorch; Swin Transformer; ImageNet; BERT; Adam; MS-COCO; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ACUOS2

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; Z3str2; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

AgenaRisk

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)

AOA

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); Operations research, mathematical programming (90-XX)

BioJava

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)

DeepProbLog

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)

CTADEL

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)

PointCNN

Software Authors:   Yangyan Li, Rui Bu, Mingchao Sun, Wei Wu, Xinhan Di, Baoquan Chen
Cited in: 10 Publications (2019–2022)
Related Software: PointNet; VoxNet; VoxelNet; OctNet; PointConv; KPConv; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SUNNY

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)

ALBERT

Software Authors:   Zhenzhong Lan, Mingda Chen, Sebastian Goodman, Kevin Gimpel, Piyush Sharma, Radu Soricut
Cited in: 6 Publications (2021–2022)
Related Software: BERT; RoBERTa; XLNet; Transformers; Transformer-XL; Adam; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Libratus

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)

Theta*

Software Authors:   Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner
Cited in: 10 Publications (2010–2022)
Related Software: Matlab; Visual MISER; MISER3; OpenStreetMap; BPA; COMSOL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AKIRA

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)

3D-R2N2

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; OpenDR; SoftRas; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

graph2vec

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; GraRep; PyGSP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

LAILA

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)

PyBrain

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)

RLlib

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: 2 Publications (2020–2021)
Related Software: OpenAI Gym; Python; PyTorch; Dopamine; Stable Baselines; rlpyt; …
Main Fields: Computer science (68-XX)

Soccer server

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)

Wikipedia Miner

Software Authors:   David Milne; Ian H. Witten
Cited in: 4 Publications (2012–2019)
Related Software: DBpedia; MENTA; BabelNet; YAGO; Freebase; WordNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

iCaRL

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)

PMLB

Software Authors:   Randal S. Olson, William La Cava, Patryk Orzechowski, Ryan J. Urbanowicz, Jason H. Moore
Cited in: 8 Publications (2018–2022)
Related Software: Scikit; UCI-ml; PySAT; C4.5; GitHub; shap; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

RealPlan

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)

Tweety

Software Authors:   Thimm, M.
Cited in: 9 Publications (2016–2022)
Related Software: Clingo; sCASP; ezcsp; Brain Connectivity Toolbox; Adam; MRtrix; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

AIspace

Software Authors:   Knoll, B., Kisyński, J., Carenini, G., Conati, C., Mackworth, A., Poole, D
Cited in: 8 Publications (2010–2021)
Related Software: Teyjus; KANREN; miniKanren; GHC; GOLEM; FOIL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

ALM

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)

CARLA

Software Authors:   Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, Vladlen Koltun
Cited in: 6 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)

CLEVR

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)

CLEVR dataset

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)

Pluribus

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)

Ray

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)

WEBWEAVR-III

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

AI Explainability 360

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: InterpretML; DALEX; modelStudio; H2O; TensorFlow; iNNvestigate; …
Main Fields: Computer science (68-XX)

DeepAR

Software Authors:   David Salinas, Valentin Flunkert, Jan Gasthaus
Cited in: 6 Publications (2021–2022)
Related Software: Adam; forecast; Tensor2Tensor; PyTorchTS; fpp2; expsmooth; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

hABCDE

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)

HOList

Software Authors:   Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
Cited in: 7 Publications (2020–2022)
Related Software: E Theorem Prover; VAMPIRE; ileanCoP; leanCoP; XGBoost; MaLeCoP; …
Main Fields: Computer science (68-XX)

AHA

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); Operations research, mathematical programming (90-XX)

cplint

Software Authors:   Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo
Cited in: 6 Publications (2017–2022)
Related Software: ProbLog; SWI-Prolog; PRISM; XSB; PITA; CP-logic; …
Main Fields: Computer science (68-XX)

HERBY

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

NESVM

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)

Newton

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)

PEORL

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)

WaveGlow

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)

ChainerRL

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)

GenericWrapper4AC

Software Authors:   Eggensperger, Katharina; Lindauer, Marius; Hutter, Frank
Cited in: 5 Publications (2019–2022)
Related Software: irace; Paramils; EGO; Auto-WEKA; Agent57; AlexNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HALO

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)

IDP

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)

libagf

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

Nasari

Software Authors:   Camacho-Collados, José; Pilehvar, Mohammad Taher; Navigli, Roberto
Cited in: 5 Publications (2016–2022)
Related Software: word2vec; BabelNet; WordNet; AutoExtend; SBERT; VerbNet; …
Main Fields: Computer science (68-XX)

Pykg2vec

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)

TorchIO

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:

Vadalog

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)

Captum

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: PyTorch; InterpretML; Python; Alibi Explain; iNNvestigate; Alibi; …
Main Fields: Computer science (68-XX)

CBack

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)

CORe50

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)

FFES

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)

GenClust

Software Authors:   Di Gesu, V.; Giancarlo, R.; Lo Bosco, G.; Raimondi, A.; Scaturro, D.
Cited in: 3 Publications (2009–2021)
Related Software: GlobalMIT; slingshot; SNN-Cliq; MrTADFinder; CIDR; MAST; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Krohn-Rhodes

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)

MAGMA-Lisp

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)

OBOE

Software Authors:   Chengrun Yang, Yuji Akimoto, Dae Won Kim, Madeleine Udell
Cited in: 4 Publications (2019–2022)
Related Software: Pyglrm; LowRankModels; GloVe; PMA; PRMLT; AlexNet; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

ParSSSE

Software Authors:   Sun, Yanhua; Zheng, Gengbin; Jetley, Pritish; Kale, Laxmikant V.
Cited in: 4 Publications (2011–2018)
Related Software: PEBBL; MIPLIB2003; ParaSCIP; FiberSCIP; GAMS; UG; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Pavane

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)

PMCGPU

Software Authors:   –
Cited in: 4 Publications (2014–2021)
Related Software: MeCoSim; P-Lingua; CuSNP; CUDA
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)