×

Found 74 Software Packages (Results 1–74)

INTOPT_90

Software Authors:   Kearfott, R.Baker
Referenced in: 304 Publications (1996–2021)
Related Software: INTLAB; PROFIL/BIAS; C-XSC; C-XSC 2.0; BARON; Numerica; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

VAMPIRE

Software Authors:   Riazanov, Alexandre; Voronkov, Andrei
Referenced in: 259 Publications (1985–2021)
Related Software: TPTP; E Theorem Prover; SPASS; z3; Isabelle/HOL; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Paramils

Software Authors:   Hutter, F.; Hoos, H.H.; Leyton-Brown, K.; Stuetzle, T.
Referenced in: 74 Publications (2009–2022)
Related Software: SMAC; irace; SATzilla; SATenstein; MiniSat; SPOT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Gecode

Software Authors:   Christian Schulte, KTH Royal Institute of Technology
Referenced in: 76 Publications (2007–2022)
Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PcGets

Software Authors:   Perez-Amaral, Teodosio; Gallo, Giampiero M.; White, Halbert
Referenced in: 45 Publications (2000–2021)
Related Software: PcGive; Ox; AIM@SHAPE; R; Stata; SsfPack; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Korat

Software Authors:   Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov
Referenced in: 22 Publications (2001–2021)
Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; …
Main Fields: Computer science (68-XX)

Alloy

Software Authors:   Jackson, Daniel
Referenced in: 22 Publications (2001–2020)
Related Software: Alcoa; SPIN; Z; Mace4; Z/EVES; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SATenstein

Software Authors:   KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
Referenced in: 17 Publications (2009–2022)
Related Software: Paramils; SMAC; irace; SPOT; SATzilla; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

WebACE

Software Authors:   Han EH, Boley D, Gini M, Gross R, Hastings K, Karypis G, Kumar V, Mobasher B, Moore J
Referenced in: 6 Publications (2006–2019)
Related Software: OHSUMED; UCI-ml; Bow; Chaco; MESHPART; R; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)

Emacs

Software Authors:   Schoonover, Michael A.; Bowie, John S.; Arnold, William R.
Referenced in: 15 Publications (1991–2013)
Related Software: vi; Automath; OCaml; Isabelle/HOL; SUBSEXPL; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Computer science (68-XX)

ivreg2

Software Authors:   Baum, Christopher; Mark Schaffer; Stillman, Steven
Referenced in: 14 Publications (2006–2020)
Related Software: Stata; AER; ivregress; lfe; sem; R; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

MSOPS-II

Software Authors:   E. J. Hughes
Referenced in: 12 Publications (2012–2020)
Related Software: MOEA/D; SPEA2; HypE; PlatEMO; RM-MEDA; PISA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

E-MaLeS

Software Authors:   Kühlwein, Daniel; Schulz, Stephan; Urban, Josef
Referenced in: 11 Publications (2013–2021)
Related Software: E Theorem Prover; VAMPIRE; MaLARea; BliStr; TPTP; MPTP 0.2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

Paracooba

Software Authors:   Heisinger, Maximilian; Fleury, Mathias; Biere, Armin
Referenced in: 12 Publications (2020–2021)
Related Software: CaDiCaL; Kissat; MiniSat; GitHub; Lingeling; Plingeling; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Zeno

Software Authors:   Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
Referenced in: 12 Publications (2012–2021)
Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Blaise

Software Authors:   Keith Bonawitz, Vikash Mansinghka, Beau Cronin
Referenced in: 10 Publications (2009–2022)
Related Software: bnsoft; R; Infer.NET; KernSmooth; PRMLT; Church; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CiteSpace

Software Authors:   Chaomei Chen
Referenced in: 5 Publications (2014–2021)
Related Software: VOSviewer; CitNetExplorer; DeepWalk; node2vec; word2vec; GenLouvain; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

CP Optimizer

Software Authors:   Philippe Laborie; Jérôme Rogerie
Referenced in: 7 Publications (2015–2022)
Related Software: ILOG SCHEDULE; MiniZinc; CPLEX; PSPLIB; Gecode; Choco; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Eclat

Software Authors:   Carlos Pacheco; Michael D. Ernst
Referenced in: 3 Publications (2007–2011)
Related Software: JCrasher; Rostra; Symstra; CUTE; Korat; TestEra; …
Main Fields: Computer science (68-XX)

Tac

Software Authors:   Baelde, David; Miller, Dale; Snow, Zachary
Referenced in: 7 Publications (2007–2012)
Related Software: Abella; Bedwyr; Twelf; Automath; HYBRID; Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CMfinder

Software Authors:   Z. Yao, Z. Weinberg, W.L. Ruzzo
Referenced in: 4 Publications (2008–2018)
Related Software: Infernal; Rfam; pLoc-mHum; FoldRate; iDNA4mC; PROSPERous; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

FIRBS

Software Authors:   Pais, Tiago Cardal; Amaral, Paula
Referenced in: 6 Publications (2012–2017)
Related Software: MCS; Hyperheuristics; GOAL; final exam scheduling; Tabu search
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HuGS

Software Authors:   Klau, Gunnar W.; Lesh, Neal; Marks, Joe; Mitzenmacher, Michael
Referenced in: 5 Publications (2005–2019)
Related Software: top88.m; top.m; Tabu search
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

FRIP

Software Authors:   Ko B, Byun H
Referenced in: 3 Publications (2006–2008)
Related Software: SIMPLIcity; NUS-WIDE; MSRA-MM; VisualSEEk; NeTra; EMD
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

GPflowOpt

Software Authors:   Nicolas Knudde, Joachim van der Herten, Tom Dhaene, Ivo Couckuyt
Referenced in: 2 Publications (2021–2022)
Related Software: BoTorch; Python; TensorFlow; BayesianOptimization; RoBO; GPflow; …
Main Fields: Computer science (68-XX)

KLIMT

Software Authors:   Conversano, Claudio
Referenced in: 5 Publications (2002–2011)
Related Software: iplots; R; XGobi; SAS; SPSS; tree; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

coco_gop_ex

Software Authors:   Markót, Mihály Csaba; Schichl, Hermann
Referenced in: 4 Publications (2014–2017)
Related Software: COCONUT; BARON; ANTIGONE; Numerica; QuadProgBB; GlobSol; …
Main Fields: Operations research, mathematical programming (90-XX)

Etuner

Software Authors:   Lee, Y.; Sayyadian, M.; Doan, A.; Rosenthal, A.
Referenced in: 0 Publications
Related Software: iSPARQL; FOAM; KitAMO; WordNet; AdaBoost.MH; SEMINT; …
Main Fields:

MATRAS

Software Authors:   Takeshi Kawabata
Referenced in: 1 Publication (2016)
Related Software: MUSCLE; PlantTFDB; eggNOG; ELM; dbCAN; antiSMASH; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

DIADEM

Software Authors:   Furche, T.; Gottlob, G.; Grasso, G.; Guo, X.; Orsi, G.; Schallhart, C.; Wang, C.
Referenced in: 2 Publications (2017–2018)
Related Software: Datalog; Dynamo; Hive; Giraph; MapReduce; Lixto; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KnowledgeSeeker

Software Authors:   Lim, Edward H. Y.; Liu, James N. K.; Lee, Raymond S. T.
Referenced in: 2 Publications (1996–2011)
Related Software: Swoogle
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Locomotif

Software Authors:   Janina Reeder, Jens Reeder, Robert Giegerich
Referenced in: 2 Publications (2010–2014)
Related Software: Rfam; Dyna; RNAforester; KiCS2; Rnamotif; Haskell; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

PASSAT

Software Authors:   Shi, J., Fey, G., Drechsler, R., Glowatz, A., Hapke, F., Schlöffel, J.
Referenced in: 3 Publications (2006–2009)
Related Software: HANNIBAL; SOCRATES; HITEC; BerkMin; Chaff; SATIRE; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

PrologCheck

Software Authors:   Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor
Referenced in: 2 Publications (2014–2017)
Related Software: K Prover; Nominal Isabelle; PoplMark; PLT Redex; K tool; SmallCheck; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SearchSleuth

Software Authors:   Ducrou, J., Eklund, P.W.
Referenced in: 3 Publications (2009–2018)
Related Software: CreChainDo; SPARQL; FooCA; AddIntent; WordNet; CORON
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TableSeer

Software Authors:   Liu Y, Bai K, Mitra P, Lee Giles C
Referenced in: 1 Publication (2014)
Related Software: PixLabeler; TRUEVIZ; Gamera; NoDoSE; SUMLOW; SketchREAD; …
Main Fields: Computer science (68-XX)

WebSEEK

Software Authors:   J. Smith, S.F. Chang
Referenced in: 1 Publication (2004)
Related Software: VisualSEEk; PicToSeek; NeTra; APCluster; apcluster; QBIC; …
Main Fields: Computer science (68-XX)

Autopilot

Software Authors:   Isard M
Referenced in: 0 Publications
Related Software: httperf; Cloud4SOA; soCloud
Main Fields:

Concrete

Software Authors:   Julien Vion
Referenced in: 2 Publications (2018–2022)
Related Software: GitHub; STR2; Scala; MiniZinc
Main Fields: Computer science (68-XX)

Covidex

Software Authors:   Edwin Zhang, Nikhil Gupta, Raphael Tang, Xiao Han, Ronak Pradeep, Kuang Lu, Yue Zhang, Rodrigo Nogueira, Kyunghyun Cho, Hui Fang, Jimmy Lin
Referenced in: 0 Publications
Related Software: PyGaggle; Capreolus; Transformers; PyTorch; docTTTTTquery; ColBERT; …
Main Fields:

DbClustal

Software Authors:   J. D. Thompson, F. Plewniak, J.-C. Thierry, O. Poch
Referenced in: 2 Publications (2001–2011)
Related Software: ClustalW; DIALIGN; MrBayes; tYNA; PhyNav; JProGO; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

Gelisp

Software Authors:   Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag
Referenced in: 1 Publication (2017)
Related Software: SPIN; ntccSim; Ntccrt; Rules2CP; OpenMusic; Kangaroo; …
Main Fields: Operations research, mathematical programming (90-XX)

Kuai

Software Authors:   Majumdar, R., Tetali, S.D., Wang, Z.
Referenced in: 2 Publications (2019–2021)
Related Software: Anteater; VeriCon; VeriFlow; ABS; Syco; NetKAT; …
Main Fields: Computer science (68-XX)

LINK

Software Authors:   Habert, L.; Notin, J.-M.; Galmiche, D.
Referenced in: 2 Publications (2002–2017)
Related Software: JGraph; WorkflowFM; HOL Light; Graphviz
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MDSimAid

Software Authors:   Crocker, M.; Hampton, S.; Matthey, T.; Izaguirre, J.
Referenced in: 1 Publication (2011)
Related Software: FFTW; Gromacs; NAMD; AMBER; Matlab
Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

RNA FRABASE

Software Authors:   Popenda, M., Blazewicz, M., Szachniuk, M., Adamiak, R.W.
Referenced in: 1 Publication (2015)
Related Software: clusfind; MCQ4Structures; APCluster; apcluster
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

AFLUX

Software Authors:   Frisco Rose, Cormac Toher, Eric Gossett, Corey Oses, Marco Buongiorno Nardelli, Marco Fornari, Stefano Curtarolo
Referenced in: 1 Publication (2018)
Related Software: PLATON; Phonopy; AFLOW-SYM; AFLOW; FINDSYM; Spglib; …
Main Fields: Statistical mechanics, structure of matter (82-XX)

AlphaClean

Software Authors:   Sanjay Krishnan, Eugene Wu
Referenced in: 1 Publication (2021)
Related Software: OpenML; Tunability; Hyperband; Boids; AlexNet; Autotune; …
Main Fields: Computer science (68-XX)

ATF

Software Authors:   A. Rasch, M. Haidl, S. Gorlatch
Referenced in: 1 Publication (2019)
Related Software: Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; Paraprox; …
Main Fields: Computer science (68-XX)

AutoMSC

Software Authors:   Schubotz, Moritz; Scharpf, Philipp; Teschke, Olaf; Kühnemund, Andreas; Breitinger, Corinna; Gipp, Bela
Referenced in: 1 Publication (2020)
Related Software: Scikit
Main Fields: Computer science (68-XX)

elrint3d

Software Authors:   Tiancheng Li; Ian Robinson
Referenced in: 1 Publication (2010)
Related Software: d2lri; ParInt; r2d2lri; CUBPACK
Main Fields: Numerical analysis (65-XX)

Fast-DENSER

Software Authors:   Filipe Assunção, Nuno Lourenço, Bernardete Ribeiro, Penousal Machado
Referenced in: 0 Publications
Related Software: Python; DENSER; Keras; Fashion-MNIST; TensorFlow
Main Fields:

GCO

Software Authors:   Jack Dongarra, Keith Seymour, Haihang You
Referenced in: 1 Publication (2016)
Related Software: Django; Lighthouse; Decision tree for optimization software; FUN3D; C4.5; Scikit; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

HAMAP

Software Authors:   Pedruzzi I et al
Referenced in: 1 Publication (2017)
Related Software: SplitsTree; MrBayes; Tracer; MulRF; iGTP; TOPAL; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

IRMa

Software Authors:   Dupierris, Veronique; Masselon, Christophe; Court, Magali; Kieffer-Jaquinod, Sylvie; Bruley, Christophe
Referenced in: 0 Publications
Related Software:
Main Fields:

JaTeCS

Software Authors:   Andrea Esuli, Tiziano Fagni, Alejandro Moreo Fernandez
Referenced in: 0 Publications
Related Software: Mahout; MLlib; SHOGUN; spaCy; OpenNLP; TreeBoost.MH; …
Main Fields:

Linnea

Software Authors:   Barthels, Henrik; Psarras, Christos; Bientinesi, Paolo
Referenced in: 1 Publication (2021)
Related Software: FFTW; DxTer; MatchPy; Python; Julia; OpenCL; …
Main Fields: Numerical analysis (65-XX)

MARGOT

Software Authors:   Lippi Marco, Torroni Paolo
Referenced in: 0 Publications
Related Software: CLIPS; Lazarus; WolframAlpha; Optimel
Main Fields:

MorpheuS

Software Authors:   Dorien Herremans, Elaine Chew
Referenced in: 1 Publication (2021)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Multicube Explorer

Software Authors:   V. Zaccaria, G. Palermo, F. Castro, C. Silvano, G. Mariani
Referenced in: 1 Publication (2019)
Related Software: SiblingRivalry; Green; SAGE; ADAPT; Paraprox; ATF; …
Main Fields: Computer science (68-XX)

paper2repo

Software Authors:   Huajie Shao, Dachun Sun, Jiahao Wu, Zecheng Zhang, Aston Zhang, Shuochao Yao, Shengzhong Liu, Tianshi Wang, Chao Zhang, Tarek Abdelzaher
Referenced in: 0 Publications
Related Software: KGAT; WSABIE; GloVe; GitHub
Main Fields:

PathMiner

Software Authors:   D.C. McShan, S. Rao, I. Shah
Referenced in: 1 Publication (2009)
Related Software: CPLEX
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

POGA

Software Authors:   Francesco di Pierro, Soon-Thiam Khu, Slobodan Djordjević, Dragan A. Savić
Referenced in: 1 Publication (2013)
Related Software: Turb'Opty; SOM; AUSM; Matlab
Main Fields: Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

ProBO

Software Authors:   Willie Neiswanger, Kirthevasan Kandasamy, Barnabas Poczos, Jeff Schneider, Eric Xing
Referenced in: 1 Publication (2020)
Related Software: Hyperband; DARTS; GPyOpt; Dragonfly; SMAC; Hyperopt; …
Main Fields: Computer science (68-XX)

rgugik

Software Authors:   Krzysztof Dyba, Jakub Nowosad, Maciej Beręsewicz, GUGiK
Referenced in: 0 Publications
Related Software: jsonlite; remotes; R
Main Fields:

SEEAD

Software Authors:   Zhanyong Tang, Lei Wang, Kaiyuan Kuang, Chao Xue, Xiaoqing Gong, Xiaojiang Chen, Dingyi Fang, Zheng Wang
Referenced in: 1 Publication (2019)
Related Software: VMHunt; NISLVMP; Capstone; BinSim; VMAttack; VMGuard; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

SUSHI

Software Authors:   Braione P, Denaro G, Mattavelli A, Pezze
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; EvoSuiteDSE; T3; …
Main Fields:

SYNBADm

Software Authors:   Otero-Muras, I.; Herniques, D.; Banga, J.
Referenced in: 1 Publication (2017)
Related Software: CERENA; MATCONT
Main Fields: Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)

TuPAQ

Software Authors:   Evan R. Sparks, Ameet Talwalkar, Michael J. Franklin, Michael I. Jordan, Tim Kraska
Referenced in: 1 Publication (2020)
Related Software: ADADELTA; HSL-VF05; EMNIST; HOGWILD; Adam; AdaGrad; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

WebCarousel

Software Authors:   Nadamoto, Akiyo; Kondo, Hiroyuki; Tanaka, Katsumi
Referenced in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

WebClipper

Software Authors:   Kim, Young S.; Lim, Jae H.; Hyun, Soon J.; Lee, Dongman
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

GRADIENT

Software Authors:   Tsakonas, A.; Gabrys, B.
Referenced in: 0 Publications
Related Software:
Main Fields:

MSeqGen

Software Authors:   Suresh Thummalapenta; Tao Xie; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte
Referenced in: 0 Publications
Related Software:
Main Fields:

seasonal

Software Authors:   Christoph Sax
Referenced in: 0 Publications
Related Software:
Main Fields: