×

Found 34 Software Packages (Results 1–34)

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)

REVEAL

Software Authors:   Liang, S., Fuhrman, S., Somogyi, R
Cited in: 22 Publications (2003–2022)
Related Software: KEGG; R; BoolNet; E-CELL; GEPASI; Macaulay2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

KIOPS

Software Authors:   Gaudreault, Stéphane; Rainwater, Greg; Tokman, Mayya
Cited in: 17 Publications (2018–2022)
Related Software: phipm; Algorithm 919; Expokit; mftoolbox; Expint; GitHub; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

OrthoMCL

Software Authors:   Li, L., Stoeckert, C.J., Roos, D.
Cited in: 8 Publications (2006–2020)
Related Software: MSOAR; BLAST; PSI-BLAST; eggNOG; Proteinortho; PHYLIP; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

RoughSets

Software Authors:   Andrzej Janusz, Lala Septem Riza, Dominik Ślęzak, Chris Cornelis, Francisco Herrera, Jose Manuel Benitez, Christoph Bergmeir, Sebastian Stawicki
Cited in: 8 Publications (2016–2021)
Related Software: UCI-ml; WEKA; LERS; BoosTexter; ROSETTA; jMAF; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

TALE

Software Authors:   Yuanyuan Tian; Patel, J.M.
Cited in: 6 Publications (2014–2019)
Related Software: SAPPER; GADDI; Fg-index; GraphGrep; GString; NeMa; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

PROC MI

Software Authors:   SAS
Cited in: 5 Publications (2003–2022)
Related Software: SAS; MICE; R; SAS/STAT; Stata; miceadds; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

CCUBE

Software Authors:   A. Brodsky, V. Segal, J. Chen, P. Exarkhopoulo
Cited in: 4 Publications (1997–2013)
Related Software: XQuery; LyriC; DEDALE; YACC; OPL; CHIP; …
Main Fields: Computer science (68-XX)

iGTP

Software Authors:   Chaudhary R, Bansal MS, Wehe A, Fernandez- Baca D, Eulenstein O
Cited in: 5 Publications (2013–2021)
Related Software: MulRF; FastTree; DupTree; MrBayes; BIONJ; RAxML; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

BRMaximin

Software Authors:   Caballero, William N.; Lunday, Brian J.; Uber, Richard P.
Cited in: 4 Publications (2021–2022)
Related Software: DiffSharp; EasyMKL; SpicyMKL; SimpleMKL; LIBSVM; ROME; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

TRELLIS

Software Authors:   Gil, Yolanda; Ratnakar, Varun
Cited in: 2 Publications (2002)
Related Software: Arc Hydro; XPath
Main Fields: Computer science (68-XX)

Phylo-MCOA

Software Authors:   de Vienne DM, Ollier S, Aguileta G
Cited in: 3 Publications (2017–2022)
Related Software: ASTRAL-II; RNAmmer; APPLES; DEPP; DEPP; FastMe; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

PhyloWS

Software Authors:   Le, Tiep; Nguyen, Hieu; Pontelli, Enrico; Son, Tran Cao
Cited in: 2 Publications (2012–2015)
Related Software: SiFit; BitPhylogeny; Quartets MaxCut; Open-WBO; WASP; Sat4j; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Vivid

Software Authors:   Arkoudas, Konstantine; Bringsjord, Selmer
Cited in: 3 Publications (2009–2017)
Related Software: SNARK; Mizar; Mathematica; Hyperproof; Dr.Doodle; CafePie; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)

FourierSAT

Software Authors:   Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei
Cited in: 2 Publications (2021)
Related Software: Lingeling; Plingeling; Walksat; MiniSat; YalSAT; CrystalBall; …
Main Fields: Computer science (68-XX)

Wviews

Software Authors:   Kelly, M.
Cited in: 2 Publications (2019–2020)
Related Software: Clingo; Gringo; eclingo; ELPS; ESParser; ESmodels; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Celer

Software Authors:   Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini
Cited in: 1 Publication (2012)
Related Software: Pedcheck
Main Fields: Computer science (68-XX)

E2EGAN

Software Authors:   Yonghong Luo, Ying Zhang, Xiangrui Cai, Xiaojie Yuan
Cited in: 1 Publication (2021)
Related Software: NAOMI; GP-VAE; matrix-completion; BRITS; GitHub; imputeTS; …
Main Fields: Computer science (68-XX)

ELECTRE III

Software Authors:   Ezbakhe, Fatine; Pérez-Foguet, Agustí
Cited in: 0 Publications
Related Software: DEFINITE; BENSOLVE; ASMO; Guimoo; DecideIT; FITradeoff; …
Main Fields:

EM.Fuzzy

Software Authors:   Abbas Parchami
Cited in: 1 Publication (2022)
Related Software: bootlib; RSSampling
Main Fields: Statistics (62-XX)

etma

Software Authors:   Chin Lin
Cited in: 0 Publications
Related Software: MDR; SNPStats; logicFS; plspm; PLINK; cpvSNP; …
Main Fields:

GamePlan

Software Authors:   Jean-Pierre Langlois
Cited in: 1 Publication (2015)
Related Software: Algorithm 457; XGame; Game Theory Explorer; Gambit; lrs
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Meraculous-2D

Software Authors:   Eugene Goltsman, Isaac Ho, Daniel Rokhsar
Cited in: 0 Publications
Related Software: GAGE; Velvet; dipSPAdes; HaploMerger; Hapsembler
Main Fields:

PedPeel

Software Authors:   Belonogova, Nadezhda M.; Axenovich, Tatiana I.
Cited in: 1 Publication (2007)
Related Software:
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

R6causal

Software Authors:   Juha Karvanen
Cited in: 0 Publications
Related Software: Python; cfid; igraph; dosearch; causaleffect; dagitty; …
Main Fields:

Reconstructor

Software Authors:   Roffé, Ariel Jonathan
Cited in: 1 Publication (2020)
Related Software: PLM; Isabelle/HOL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Scallop2

Software Authors:   Qimin Zhang, Qian Shi, Mingfu Shao
Cited in: 1 Publication (2022)
Related Software: Salmon; Gurobi; MultiTrans; ShoRAH; SSP; StringTie; …
Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

SINE

Software Authors:   Daokun Zhang, Jie Yin, Xingquan Zhu, Chengqi Zhang
Cited in: 0 Publications
Related Software: node2vec; GraRep; PyGSP; NumPy; FSCNMF; NodeSketch; …
Main Fields:

SuperNNova

Software Authors:   Anais Möller, Thibault de Boissière
Cited in: 1 Publication (2020)
Related Software: CosmoFlow; TensorFlow; Scikit
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Statistical mechanics, structure of matter (82-XX)

infoDecompuTE

Software Authors:   Kevin Chang
Cited in: 0 Publications
Related Software:
Main Fields:

robustrao

Software Authors:   María del Carmen Calatrava Moreno, Thomas Auzinger
Cited in: 0 Publications
Related Software:
Main Fields:

sequoia

Software Authors:   Jisca Huisman
Cited in: 0 Publications
Related Software:
Main Fields:

ttime

Software Authors:   Nagarajan, Radhakrishnan; Darlington, Richard B.; Finlay, Barbara L.; Clancy, Barbara
Cited in: 0 Publications
Related Software:
Main Fields: