×

Found 170 Software Packages (Results 1–100)

KEGG

Software Authors:   Minoru Kanehisa; Susumu Goto
Cited in: 194 Publications (2003–2022)
Related Software: Bioconductor; R; UniProt; MetaCyc; Cytoscape; Reactome; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Oz

Software Authors:   Henz, M., Smolka, G., and Würtz, J.
Cited in: 108 Publications (1994–2022)
Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

OMDoc

Software Authors:   Kohlhase, Michael
Cited in: 88 Publications (2001–2021)
Related Software: Coq; MMT; Mizar; ActiveMath; Isabelle/HOL; Automath; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Racer

Software Authors:   Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
Cited in: 52 Publications (2001–2021)
Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MMT

Software Authors:   Florian Rabe
Cited in: 51 Publications (2009–2022)
Related Software: OMDoc; QMT; Coq; Isabelle; Mizar; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-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)

PersistenceImages

Software Authors:   Henry Adams, Sofya Chepushtanova, Tegan Emerson, Eric Hanson, Michael Kirby, Francis Motta, Rachel Neville, Chris Peterson, Patrick Shipman, Lori Ziegelmeier
Cited in: 42 Publications (2016–2022)
Related Software: GitHub; Ripser; PHAT; Scikit; Gudhi; Persistence Landscape; …
Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

KL-ONE

Software Authors:   Baader, Franz; Sattler, Ulrike
Cited in: 36 Publications (2001–2020)
Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PRISM

Software Authors:   Sato, T., Kameya, Y.
Cited in: 41 Publications (2006–2022)
Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Prodigy

Software Authors:   Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X.
Cited in: 24 Publications (1992–2019)
Related Software: UCPOP; Graphplan; KQML; Bliksem; Waldmeister; SPASS; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SMOTEBoost

Software Authors:   Barnan Das; Nitesh V. Chawla, Aleksandar Lazarevic, Lawrence O. Hall, Kevin W. Bowyer
Cited in: 28 Publications (2004–2022)
Related Software: SMOTE; UCI-ml; JStatCom; AdaCost; MWMOTE; KEEL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DLV

Software Authors:   Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco
Cited in: 29 Publications (2001–2021)
Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SETL

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.
Cited in: 27 Publications (1986–2021)
Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)

Euk-PLoc

Software Authors:   Shen, H. -B.; Yang, J.; Chou, K. -C.
Cited in: 19 Publications (2007–2019)
Related Software: Euk-mPLoc; Cell-PLoc; Hum-PLoc; Hum-mPLoc; Virus-ploc; iLoc-Virus; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Hum-PLoc

Software Authors:   Chou KC, Shen HB
Cited in: 22 Publications (2007–2019)
Related Software: Cell-PLoc; Euk-mPLoc; Euk-PLoc; Hum-mPLoc; Memtype-2L; LIBSVM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Anasazi

Software Authors:   Rich Lehoucq; Heidi Thornquist
Cited in: 21 Publications (2005–2020)
Related Software: PRIMME; SLEPc; ARPACK; PETSc; Trilinos; LAPACK; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

QMT

Software Authors:   Rabe, Florian
Cited in: 22 Publications (2012–2022)
Related Software: MMT; Mizar; Isabelle; Coq; HOL Light; LATIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRIPLE

Software Authors:   Sintek, Michael; Decker, Stefan
Cited in: 16 Publications (2002–2015)
Related Software: SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-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: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Mozart

Software Authors:   Peter Van Roy; Seif Haridi
Cited in: 15 Publications (1999–2018)
Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

GASP

Software Authors:   Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
Cited in: 17 Publications (2008–2021)
Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; …
Main Fields: Computer science (68-XX)

MBase

Software Authors:   Franke, Andreas; Kohlhase, Michael
Cited in: 17 Publications (1999–2006)
Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

SAINTETIQ

Software Authors:   Raschia, G.; Mouaddib, N.
Cited in: 7 Publications (2002–2018)
Related Software: Summary SQL; C4.5; Genocop
Main Fields: Computer science (68-XX)

DeLorean

Software Authors:   –
Cited in: 13 Publications (2009–2017)
Related Software: Fuzzydl; FaCT++; pg4DB; FPROLOG; FRIL; Ciao; …
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)

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)

RESUME

Software Authors:   Yuval Shahar; Mark A. Musen
Cited in: 8 Publications (1997–2018)
Related Software: Protege; PhysioToolkit; CloSpan; BIDE; MacRad; Snoop; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

E-KRHyper

Software Authors:   Pelzer, Björn; Wernhard, Christoph
Cited in: 11 Publications (2007–2021)
Related Software: E Theorem Prover; E-Darvin; SATCHMO; Darwin; SPASS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ezcsp

Software Authors:   Balduccini, Marcello; Lierler, Yuliya
Cited in: 12 Publications (2009–2021)
Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

SeqLog

Software Authors:   Lee, Sau; De Raedt, Luc
Cited in: 12 Publications (2004–2011)
Related Software: GOLEM; Aleph; PrefixSpan; gSpan; ProGolem; XPath; …
Main Fields: Computer science (68-XX)

SPOOK

Software Authors:   A. Pfeffer, D. Koller, B. Milch, K. Takusagawa
Cited in: 11 Publications (2000–2020)
Related Software: BLOG; FACTORIE; IBAL; TETRAD; PRISM; MEBN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Concluder

Software Authors:   Waldemar W. Koczkodaj
Cited in: 12 Publications (1993–2016)
Related Software:
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

WHIRL

Software Authors:   Cohen, W.W.
Cited in: 11 Publications (2000–2015)
Related Software: C4.5; XPath; SSE; Dyna; Figaro; PRISM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DistilBERT

Software Authors:   Victor Sanh, Lysandre Debut, Julien Chaumond, Thomas Wolf
Cited in: 3 Publications (2021–2022)
Related Software: BERT; Transformers; RoBERTa; Python; PyTorch; BLEU; …
Main Fields: Computer science (68-XX)

IDP3

Software Authors:   Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
Cited in: 9 Publications (2015–2020)
Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

KnowRob

Software Authors:   Tenorth, Moritz; Beetz, Michael
Cited in: 9 Publications (2016–2020)
Related Software: BLOG; BayesOWL; PR-OWL; Church; IBAL; BUGS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)

MultiNet

Software Authors:   Hermann Helbig
Cited in: 10 Publications (2001–2010)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

plasp

Software Authors:   Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten
Cited in: 9 Publications (2012–2021)
Related Software: PDDL; Clingo; ROSoClingo; Clingcon; WASP; GDL; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PROMETHEE-MD

Software Authors:   Halouani, N.; Chabchoub, H.; Martel, J.-M.
Cited in: 8 Publications (2009–2018)
Related Software: FLINTSTONES; VIKOR; VisualUTA; Scatter Search; BANKADVISER; Decision Lab 2000; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Computer science (68-XX)

N3Logic

Software Authors:   Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim
Cited in: 7 Publications (2008–2017)
Related Software: MWeb; SPARQL; Smodels; TRIPLE; foaf; Graal; …
Main Fields: Computer science (68-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)

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)

ARVis

Software Authors:   Blanchard, Julien; Guillet, Fabrice; Briand, Henri
Cited in: 4 Publications (2007–2018)
Related Software: CViz; UCI-ml; DB2; eggNOG; kohonen; rapidminer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LeoPARD

Software Authors:   Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph
Cited in: 8 Publications (2015–2021)
Related Software: Leo-III; Satallax; TPTP; Isabelle/HOL; Sledgehammer; QMLTP; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

BEACON

Software Authors:   Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
Cited in: 7 Publications (2016–2022)
Related Software: ELK; EL2MCS; HgMUS; PULi; Just; CEL; …
Main Fields: Computer science (68-XX)

SALT

Software Authors:   Marcus, Sandra; McDermott, John
Cited in: 5 Publications (1989–2010)
Related Software: MOLE; Protege; WordNet; LISP; RESUME; CLIPS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

arXMLiv

Software Authors:   Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase
Cited in: 6 Publications (2008–2015)
Related Software: LaTeXML; LaTeX; ActiveMath; Hermes; Electronic Geometry Textbook; DLMF; …
Main Fields: Computer science (68-XX)

kLog

Software Authors:   Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt
Cited in: 6 Publications (2014–2022)
Related Software: ProbLog; PyTorch; Aleph; PRISM; kFOIL; Dyna; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

RacerPro

Software Authors:   Haarslev, V., Hidde, K., Möller, R., Wessel, M.
Cited in: 6 Publications (2014–2021)
Related Software: HermiT; Racer; Pellet; Konclude; ELK; FaCT++; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AmpliGraph

Software Authors:   Luca Costabello, Sumit Pai, Chan Le Van, Rory McGrath, Nicholas McCarthy
Cited in: 2 Publications (2021)
Related Software: Pykg2vec; OpenKE; Python; DGL-KE; PyKEEN; PyTorch; …
Main Fields: Computer science (68-XX)

Asparagus

Software Authors:   Christian Anger; Torsten Schaub; Miroslaw Truszczynski
Cited in: 3 Publications (2005–2012)
Related Software: ASSAT; Runsolver; StarExec; RunLim; VCWC; TPTP; …
Main Fields: Computer science (68-XX)

BEEHAVE

Software Authors:   Becher, M.; Grimm, V.; Thorbek, P.; Horn, J.; Kennedy, P.; Osborne, J.
Cited in: 5 Publications (2016–2022)
Related Software: BEESCOUT; circular; fields; R; TR-BDF2
Main Fields: Difference and functional equations (39-XX); Integral equations (45-XX); Biology and other natural sciences (92-XX)

FrameNet

Software Authors:   Baumgartner, Peter; Burchardt, Aljoscha
Cited in: 5 Publications (2004–2010)
Related Software:
Main Fields: Computer science (68-XX)

HOMER

Software Authors:   David Hopkins; C. -H. Luke Ong
Cited in: 3 Publications (2005–2013)
Related Software: SLAM; BLAST; GTRECS2; HECTOR; C-SHORe
Main Fields: Computer science (68-XX)

I2T

Software Authors:   Yao, B.; Yang, X.; Lin, L.; Lee, M. W.; Zhu, S. C.
Cited in: 2 Publications (2012–2021)
Related Software: Im2Text; DenseCap; PASCAL VOC; ImageNet; VQA; MS-COCO; …
Main Fields: Computer science (68-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)

NetLSD

Software Authors:   Anton Tsitsulin, Davide Mottin, Panagiotis Karras, Alex Bronstein, Emmanuel Müller
Cited in: 2 Publications (2020–2021)
Related Software: Python; PyTorch; SciPy; NumPy; NetworkX; Scikit; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

NoHR

Software Authors:   Lopes, Carlos; Knorr, Matthias; Leite, João
Cited in: 5 Publications (2015–2019)
Related Software: Konclude; ELK; HermiT; Catnap; ArgueApply; Moviola; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

OpenKE

Software Authors:   Xu Han, Shulin Cao, Xin Lv, Yankai Lin, Zhiyuan Liu, Maosong Sun, Juanzi Li
Cited in: 2 Publications (2021)
Related Software: Pykg2vec; AmpliGraph; Python; DGL-KE; PyKEEN; PyTorch; …
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)

ROSoClingo

Software Authors:   Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten
Cited in: 5 Publications (2015–2021)
Related Software: Clingo; Clingcon; WASP; IDP3; DLV; Lparse; …
Main Fields: Computer science (68-XX)

DiSL

Software Authors:   Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi
Cited in: 2 Publications (2016–2022)
Related Software: AspectJ; GitHub; Apache Flink; Savina; Akkaprof
Main Fields: Computer science (68-XX)

FLISP

Software Authors:   Sosnowski, Zenon A.
Cited in: 3 Publications (1990–2009)
Related Software: FPROLOG; FuzzyCLIPS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GIGA

Software Authors:   Thomas, P.
Cited in: 3 Publications (2013–2019)
Related Software: Notung; PHYLIP; TreeFix; PAML; PAUP*; RAxML; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KOJAK

Software Authors:   Bernd Mohr, Felix Wolf
Cited in: 2 Publications (2007–2008)
Related Software: OpenUH; TAU; ParaProf; PARAVER; SIMGRID; Jumpshot; …
Main Fields: Computer science (68-XX)

LogiKEy

Software Authors:   Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Cited in: 4 Publications (2020–2022)
Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PAGOdA

Software Authors:   Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian
Cited in: 4 Publications (2015–2022)
Related Software: Datalog; Polyanna; CEX; MASTRO; Ontop; ContentCVS; …
Main Fields: Computer science (68-XX)

PROLEG

Software Authors:   Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.
Cited in: 3 Publications (2012–2020)
Related Software: SCIFF; Potassco; ASPIDE
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

REBA

Software Authors:   Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
Cited in: 4 Publications (2019–2021)
Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

WebODE

Software Authors:   Corcho, Óscar; Fernández-López, Mariano Author Profile; Gómez-Pérez, Asunción; Vicente, Óscar
Cited in: 4 Publications (2002–2008)
Related Software: Protege; OntoEdit; OilEd; SUMO; PostgreSQL; Jena; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

WUM

Software Authors:   Myra Spiliopoulou; Lukas C. Faulstich
Cited in: 3 Publications (2002–2010)
Related Software: DIAsDEM
Main Fields: Statistics (62-XX); Computer science (68-XX)

YAFOOL

Software Authors:   Roland Ducournau; Joël Quinqueton
Cited in: 4 Publications (1998–2011)
Related Software: Python; Dylan; Forsythe; Simula 67; Ruby; Commonloops; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

BodyParts3D

Software Authors:   Mitsuhashi, N.; Fujieda, K.; Tamura, T.; Kawamoto, S.; Takagi, T.; Okubo, K.
Cited in: 2 Publications (2011–2017)
Related Software: gnuplot
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

FEND

Software Authors:   Zhang, Chaowei; Gupta, Ashish; Kauten, Christian; Deokar, Amit V.; Qin, Xiao
Cited in: 3 Publications (2021–2022)
Related Software: Tensor2Tensor; XLNet; BERT; GloVe; glmnet
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FluxSimulator

Software Authors:   Thomas W. Binsl, Katharine M. Mullen, Ivo H. M. van Stokkum, Jaap Heringa, Johannes H. G. M. van Beek
Cited in: 0 Publications
Related Software: R; VCNet; edgeR; ARACNE; DEseq; JDINAC; …
Main Fields:

KnowledgeSeeker

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

KReator

Software Authors:   Finthammer, Marc; Thimm, Matthias
Cited in: 3 Publications (2012)
Related Software: Alchemy; ProbLog
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MedPost

Software Authors:   L. Smith; T. Rindflesch; W. J. Wilbur
Cited in: 1 Publication (2004)
Related Software: GENETAG; TEIRESIAS; C4.5; MALLET; LingPipe
Main Fields: Computer science (68-XX)

SUCRAGE

Software Authors:   Borgi, Amel; Akdag, Herman
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

ALASKA

Software Authors:   Baget, J.-F., Croitoru, M., da Silva, B.P.L.
Cited in: 1 Publication (2016)
Related Software: Datalog
Main Fields: Computer science (68-XX)

AROM

Software Authors:   Page, Michel; Gensel, J'er^ome; Capponi, C'ecile; Bruley, Christophe; Genoud, Philippe
Cited in: 2 Publications (2001–2002)
Related Software:
Main Fields: Computer science (68-XX)

BaRT

Software Authors:   Booker, Lashon B.; Hota, Naveen; Ramsey, Connie Loggia
Cited in: 2 Publications (1990–1995)
Related Software:
Main Fields: Computer science (68-XX)

CAIN

Software Authors:   Faucher, Colette
Cited in: 2 Publications (2001)
Related Software: Objlog+
Main Fields: Computer science (68-XX)

CLIPS

Software Authors:   Perez-Jimenez, M.J., Romero-Campero, F.J.
Cited in: 2 Publications (2005–2007)
Related Software: MGS; Maude; WebPS
Main Fields: Computer science (68-XX)

DMAP

Software Authors:   Stockwell, P. A., A. Chatterjee, E. J. Rodger. I. M. Morison
Cited in: 2 Publications (2016)
Related Software: MethylSig; HMM-Fisher; COHCAP; SAAP-RRBS; MOABS; HMM-DM; …
Main Fields: Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)

Eureka!

Software Authors:   Manco, Giuseppe; Pizzuti, Clara; Talia, Domenico
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

extended_rmcv.m

Software Authors:   Halbersberg, Dan; Wienreb, Maydan; Lerner, Boaz
Cited in: 2 Publications (2020–2021)
Related Software: rNPBST; pyDML; LMNN; ORCA; t-SNE; KEEL; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

F--MP

Software Authors:   Yang, Jae Dong
Cited in: 2 Publications (1997–2001)
Related Software: KernSmooth
Main Fields: Computer science (68-XX)

FingerNet

Software Authors:   Yao Tang, Fei Gao, Jufu Feng, Yuhang Liu
Cited in: 2 Publications (2020)
Related Software: OpenFinger; SURF; ArrayFire; GitHub; Caffe; SIFT; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

FooCA

Software Authors:   Koester, B.
Cited in: 2 Publications (2011–2014)
Related Software: SearchSleuth; CreChainDo; AddIntent; WordNet; CLOSET
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

ICOM

Software Authors:   Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris
Cited in: 2 Publications (2001–2020)
Related Software: KL-ONE; FaCT++
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ILPME

Software Authors:   Mitra, Arindam; Baral, Chitta
Cited in: 2 Publications (2018–2020)
Related Software: SQuARE; VerbNet; Penn Treebank; AQuA; sCASP; MCTest; …
Main Fields: Computer science (68-XX)

InterAspect

Software Authors:   Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez
Cited in: 2 Publications (2012–2021)
Related Software: AspectJ; Java-MaC; evt; AspectWerkz; Valgrind; CIL; …
Main Fields: Computer science (68-XX)

KERNEL

Software Authors:   Castellano, G.; Castiello, C.; Fanelli, A.M.
Cited in: 2 Publications (2002–2013)
Related Software: Matlab; SVM; SURROGATES; LIBSVM
Main Fields: Statistics (62-XX); Computer science (68-XX)

KnowLang

Software Authors:   Vassev, Emil; Hinchey, Mike
Cited in: 0 Publications
Related Software:
Main Fields: Computer science (68-XX)

MMTTeX

Software Authors:   Rabe, Florian
Cited in: 2 Publications (2019)
Related Software: Isabelle; LaTeX; Plat-Omega; Mizar; Isabelle/PIDE; MMT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

OntoDebug

Software Authors:   Schekotihin, Konstantin; Rodler, Patrick; Schmid, Wolfgang
Cited in: 2 Publications (2018–2022)
Related Software: MERGEXPLAIN; Protege; Pellet; QUICKXPLAIN; ELK; HermiT; …
Main Fields: Computer science (68-XX)

ProTraS

Software Authors:   Guillaume, Serge; Ros, Frédéric
Cited in: 2 Publications (2020)
Related Software: k-means++; Graclus; improved_spectral_community_detection; FLANN; JDQZ; JDQR; …
Main Fields: Statistics (62-XX)

SemanticVectors

Software Authors:   Widdows, D., Ferraro, K.
Cited in: 2 Publications (2009–2010)
Related Software: NETBOOK; CmapTools
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SmartCheck

Software Authors:   Tikhomirov, S., et al.
Cited in: 2 Publications (2021)
Related Software: Vandal; GitHub; eThor
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)