×

Found 362 Software Packages (Results 1–100)

Excel

Software Authors:   Microsoft
Referenced in: 520 Publications (1989–2022)
Related Software: R; Matlab; SPSS; Visual Basic; Mathematica; VBA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

XPath

Software Authors:   w3.org
Referenced in: 201 Publications (2002–2021)
Related Software: XQuery; XMark; Oracle; SPARQL; XSEarch; XMill; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

XQuery

Software Authors:   w3.org
Referenced in: 68 Publications (2002–2021)
Related Software: XPath; XMark; Oracle; XSEarch; TIMBER; SPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)

XDuce

Software Authors:   Haruo Hosoya , Benjamin C. Pierce
Referenced in: 52 Publications (2003–2020)
Related Software: CDuce; XPath; PiDuce; XQuery; OCaml; XPi; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Referenced in: 51 Publications (2006–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

swrl

Software Authors:   Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.
Referenced in: 30 Publications (2005–2021)
Related Software: Pellet; FaCT++; SPARQL; Jena; HiLog; Protege; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BioGRID

Software Authors:   C. Stark, B. Breitkreutz, T. Reguly, L. Boucher, A. Breitkreutz, M. Tyers
Referenced in: 30 Publications (2008–2019)
Related Software: KEGG; IntAct; Cytoscape; Pfam; MCODE; R; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GGobi

Software Authors:   Debby Swayne; Di Cook; Duncan Temple Lang; Andreas Buja
Referenced in: 34 Publications (2003–2022)
Related Software: R; XGobi; rggobi; ggplot2; RGtk2; iplots; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CDuce

Software Authors:   Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain
Referenced in: 48 Publications (2003–2020)
Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FRGC

Software Authors:   NIST
Referenced in: 36 Publications (2006–2015)
Related Software: FERET; AR face; CMU PIE; Multi-PIE; KPCA plus LDA; Yale Face; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AsmL

Software Authors:   Microsoft Research; Grieskamp, W.; Gurevich Y.
Referenced in: 44 Publications (2001–2021)
Related Software: ML; SpecExplorer; Korat; LPTP; XASM; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PNML

Software Authors:   Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Referenced in: 27 Publications (1992–2021)
Related Software: Woflan; YAWL; TRANSPATH; SPIN; FAST; SNOOPY; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

SMIL

Software Authors:   W3.org
Referenced in: 10 Publications (2001–2016)
Related Software: XPath; Lua; SPARQL; TRIPLE; Nevada; Dynagraph; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Mathematics education (97-XX)

Graded Ring Database

Software Authors:   Gavin Brown, Alexander Kasprzyk
Referenced in: 40 Publications (2002–2022)
Related Software: Magma; VersalDeformations; Macaulay2; SINGULAR; GAP; polymake; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

DAML+OIL

Software Authors:   Horrocks, Ian
Referenced in: 34 Publications (2002–2009)
Related Software: WordNet; swrl; TRIPLE; Racer; FaCT++; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Jadex

Software Authors:   Pokahr A., Braubach L., Lamersdorf W.
Referenced in: 21 Publications (2005–2021)
Related Software: Jason; AgentSpeak; 2APL; 3APL; JADE; CArtAgO; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

XMill

Software Authors:   H. Liefke; D. Suciu
Referenced in: 16 Publications (2001–2015)
Related Software: XPath; XQuery; XMark; TIMBER; Oracle; DB2; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

IntAct

Software Authors:   Hermjakob H, Montecchi-Palazzi L, Lewington C et al
Referenced in: 18 Publications (2006–2021)
Related Software: Cytoscape; BioGRID; KEGG; UniProt; STRING; TRANSFAC; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

XMark

Software Authors:   Schmidt, Albrecht; Waas, Florian; Kersten, Martin; Carey, Michael J.; Manolescu, Ioana; Busse, Ralph
Referenced in: 8 Publications (2003–2015)
Related Software: XPath; XQuery; Quilt; PRIX; XMill; Lore; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

XSEarch

Software Authors:   Cohen S, Mamou J, Kanza Y, Sagiv Y.
Referenced in: 6 Publications (2009–2018)
Related Software: XPath; XIRQL; XQuery; WordNet; Quilt; NaLIX; …
Main Fields: Computer science (68-XX)

CellML

Software Authors:   Hedley, Warren J.; Nelson, Melanie R.; Bullivant, David P.; Nielsen, Poul F.
Referenced in: 17 Publications (2001–2021)
Related Software: Chaste; COPASI; SUNDIALS; CellSys; R; Python; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

RuleML

Software Authors:   Eberhart, Andreas
Referenced in: 20 Publications (2002–2020)
Related Software: swrl; TRIPLE; Protege; PyGaze; DeepRED; Psychophysics Toolbox; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OpenAD/F

Software Authors:   Utke, Jean; Naumann, Uwe; Fagan, Mike; Tallent, Nathan; Strout, Michelle Mills; Heimbach, Patrick; Hill, Chris; Wunsch, Carl
Referenced in: 23 Publications (2007–2022)
Related Software: TAPENADE; ADIFOR; ADOL-C; revolve; ADIC; TAF; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

PiDuce

Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)

TIMBER

Software Authors:   Jagadish, H. V.; Al-Khalifa, Shurug; Chapman, Adriane; Lakshmanan, Laks V. S.; Nierman, Andrew; Paparizos, Stelios; Patel, Jignesh M.; Srivastava, Divesh; Wiwatwattana, Nuwee; Wu, Yuqing; Yu, Cong
Referenced in: 7 Publications (2002–2020)
Related Software: XPath; XQuery; DB2; MS SQL Server; PRIX; XMill; …
Main Fields: Computer science (68-XX)

ALPS

Software Authors:   B. Bauer et al
Referenced in: 14 Publications (2009–2019)
Related Software: ITensor; VirtualBox; LOBPCG; GitHub; Boost; TensorCalculus; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Lixto

Software Authors:   Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg
Referenced in: 9 Publications (2001–2022)
Related Software: ROADRUNNER; XPath; Datalog; WordNet; NoDoSE; LUBM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ProTDB

Software Authors:   A. Nierrman, H.V. Jagadish
Referenced in: 12 Publications (2005–2018)
Related Software: ProbView; PSQL; XPath; TAX; XSEarch; XQuery; …
Main Fields: Computer science (68-XX)

Relax NG

Software Authors:   J. Clark, M. Murata
Referenced in: 18 Publications (2003–2018)
Related Software: XPath; PERL; XSugar; XQuery; Xqueeze; DGD gallery; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

SAX

Software Authors:   –
Referenced in: 15 Publications (2001–2018)
Related Software: XPath; XQuery; MS SQL Server; PNML; Lore; ViST; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

VRPH

Software Authors:   Groër, Chris; Golden, Bruce; Wasil, Edward
Referenced in: 20 Publications (2010–2022)
Related Software: VRP; LKH; Tabu search; Concorde; BPPLIB; OR-Library; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Lore

Software Authors:   McHugh J, Abiteboul S, Goldman R, Quass D, Widom J.
Referenced in: 6 Publications (2002–2010)
Related Software: XPath; XQuery; ViST; PRIX; Lorel; TIMBER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ToscanaJ

Software Authors:   Becker, Peter; Correia, Joachim Hereth
Referenced in: 17 Publications (2004–2011)
Related Software: Galicia; ConImp; JGraph; Dia; fca.sty; ConExp; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

TREX

Software Authors:   James Clarke
Referenced in: 19 Publications (2003–2006)
Related Software: XPath; XQuery; SmallEiffel; Smalltalk; Relax NG
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

TXL

Software Authors:   Cordy, James R.
Referenced in: 12 Publications (2005–2015)
Related Software: Stratego; ASF+SDF; ANTLR; Tom; JastAdd; Maude; …
Main Fields: Computer science (68-XX)

GXL

Software Authors:   Holt, Richard C.; Schürr, Andy; Sim, Susan Elliott; Winter, Andreas
Referenced in: 9 Publications (2002–2018)
Related Software: PROGRES; SPIN; GROOVE; VIATRA2; GrGen; AGG; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

InterProScan

Software Authors:   E. Quevillon, V. Silventoinen, S. Pillai, N. Harte, N. Mulder, R. Apweiler, R. Lopez
Referenced in: 6 Publications (2009–2022)
Related Software: BLAST; PSI-BLAST; UniProt; EasyGene; PROSITE; MultiLoc2; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

XHSTT

Software Authors:   Post, Gerhard; Kingston, Jeffrey H.; Ahmadi, Samad; Daskalaki, Sophia; Gogos, Christos; Kyngas, Jari; Nurmi, Cimmo; Musliu, Nysret; Pillay, Nelishia; Santos, Haroldo; Schaerf, Andrea
Referenced in: 17 Publications (2014–2020)
Related Software: GOAL; HSEval; CPLEX; RobinX; ILOG SCHEDULE; SATO; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

XML

Software Authors:   Duncan Temple Lang
Referenced in: 6 Publications (2003–2019)
Related Software: R; RCurl; RODBC; foreign; Bioconductor; tm; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

BEAUti

Software Authors:   Drummond AJ, Suchard MA, Xie D, Rambaut A
Referenced in: 15 Publications (2013–2022)
Related Software: BEAST; MrBayes; ape; R; phytools; fastDNAml; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

GraphML

Software Authors:   Brandes, Ulrik; Eiglsperger, Markus; Herman, Ivan; Himsolt, Michael; Marshall, M.Scott
Referenced in: 14 Publications (2002–2021)
Related Software: CGAL; GXL; LEDA; MRtrix; FreeSurfer; Connectome Mapper; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

eXist

Software Authors:   Meier, Wolfgang
Referenced in: 7 Publications (2003–2017)
Related Software: XPath; XQuery; Globus Toolkit; TIMBER; UniProt; BLAST; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

TNTBase

Software Authors:   Vyacheslav Zholudev
Referenced in: 15 Publications (2009–2014)
Related Software: MMT; OMDoc; Hets; Twelf; Mizar; STEXIDE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

phytools

Software Authors:   Liam J. Revell
Referenced in: 10 Publications (2014–2021)
Related Software: R; ape; GEIGER; MrBayes; BEAUti; phangorn; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

TulaFale

Software Authors:   Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
Referenced in: 12 Publications (2004–2012)
Related Software: Spi2Java; ProVerif; AVISPA; AsmL; ASPIER; EasyCrypt; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Lamatto

Software Authors:   Björn Geißler; Oliver Kolb; Antonio Morsi
Referenced in: 13 Publications (2012–2021)
Related Software: Lamatto++; GasLib; Gurobi; SCIP; KNITRO; GAMS; …
Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX)

Lamatto++

Software Authors:   Antonio Morsi, Björn Geißler, Oliver Kolb
Referenced in: 13 Publications (2016–2021)
Related Software: GasLib; Lamatto; SCIP; Gurobi; GAMS; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

ViST

Software Authors:   H. Wang, S. Park, W. Fan, P.S. Yu
Referenced in: 4 Publications (2003–2014)
Related Software: PRIX; XPath; APEX; XQuery; Lore; XMark; …
Main Fields: Computer science (68-XX)

XIRQL

Software Authors:   Norbert Fuhr, Kai Großjohann
Referenced in: 2 Publications (2009–2012)
Related Software: XPath; XSEarch; XQuery; WordNet; TAX; Quilt; …
Main Fields: Computer science (68-XX)

APEX

Software Authors:   C.-W. Chung, J.-K. Min, K. Shim
Referenced in: 4 Publications (2003–2014)
Related Software: XPath; PRIX; ViST; Lore; XQuery; CIS-X; …
Main Fields: Computer science (68-XX)

ICENI

Software Authors:   Furmento, Nathalie; Mayer, Anthony; McGough, Stephen; Newhouse, Steven; Field, Tony; Darlington, John
Referenced in: 4 Publications (2002–2010)
Related Software: Condor-G; Cactus; GRID Infoware; Java CoG Kit; Globus Toolkit; GrADS; …
Main Fields: Computer science (68-XX)

OSiL

Software Authors:   Fourer, Robert; Ma, Jun; Martin, Kipp
Referenced in: 10 Publications (2005–2022)
Related Software: AMPL; GAMS; LINDO; MINOS; ANTIGONE; MINLPLib; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

TreeRePair

Software Authors:   Markus Lohrey, Sebastian Maneth, Roy Mennicke
Referenced in: 12 Publications (2012–2021)
Related Software: XMill; SDSL; GitHub
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

ADO.NET

Software Authors:   Microsoft
Referenced in: 6 Publications (2002–2012)
Related Software: ASP.NET; Oracle; MySQL; VisualStudio.NET; AWS Elastic Beanstalk; Amazon EC2; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

PRIX

Software Authors:   P. Rao, B. Moon
Referenced in: 4 Publications (2009–2014)
Related Software: ViST; XPath; XQuery; APEX; Lore; XMark; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Quilt

Software Authors:   Don Chamberlin, Jonathan Robie, Daniela Florescu
Referenced in: 5 Publications (2000–2013)
Related Software: XQuery; XPath; XMark; XSEarch; PRIX; XIRQL; …
Main Fields: Computer science (68-XX)

TAX

Software Authors:   Jagadish, H.V.; Lakshmanan, Laks V.S.; Srivastava, Divesh; Thompson, Keith
Referenced in: 6 Publications (2002–2013)
Related Software: XQuery; XPath; XSEarch; WordNet; XIRQL; ProTDB; …
Main Fields: Computer science (68-XX)

XMLTK

Software Authors:   Avila-Campillo I, Green TJ, Gupta A, Onizuka M, Raven D, Suciu D
Referenced in: 7 Publications (2003–2011)
Related Software: XPath; NoDoSE; LIME; KLAIM; LEAP; XQuery; …
Main Fields: Computer science (68-XX)

AKIRA

Software Authors:   Pezzulo, Giovanni; Calvi, Gianguglielmo
Referenced 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)

iDynoR

Software Authors:   Kieran Alden, Jan-Ulrich Kreft
Referenced in: 10 Publications (2014–2022)
Related Software: BacSim; BiofilmSim; Matlab; AQUASIM; MATLAB ODE suite; ode23s; …
Main Fields: Partial differential equations (35-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

MathDox

Software Authors:   A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro
Referenced in: 10 Publications (2006–2014)
Related Software: ActiveMath; LeActiveMath; OMDoc; Electronic Geometry Textbook; STEX+; SPARQL; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

rneos

Software Authors:   Pfaff, Bernhard
Referenced in: 9 Publications (2013–2021)
Related Software: gogarch; cccp; urca; R; vars; FRAPO; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

UnQL

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu
Referenced in: 10 Publications (2006–2018)
Related Software: XPath; XQuery; XDuce; CDuce; Quilt; MongoDB; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Wikipedia Miner

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

XPERANTO

Software Authors:   M. J. Carey, D. Florescu, Z. G. Ives, Y. Lu, J. Shanmugasundaram, E. J. Shekita, S. N. Subramanian
Referenced in: 4 Publications (2005–2010)
Related Software: DB2; Oracle; XQuery; XPath; Pajek datasets; Pajek; …
Main Fields: Computer science (68-XX)

XRules

Software Authors:   Zaki, Mohammed J.; Aggarwal, Charu C.
Referenced in: 8 Publications (2006–2018)
Related Software: CloseGraph; gSpan; LIBSVM; C4.5; CMAR; RainForest; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

BioMOBY

Software Authors:   M.D. Wilkinson, M. Links
Referenced in: 0 Publications
Related Software: Taverna; KEGG; EMBOSS; Pfam; BLAST; PSI-BLAST; …
Main Fields:

biXid

Software Authors:   Kawanaka, Shinya; Hosoya, Haruo
Referenced in: 7 Publications (2006–2018)
Related Software: XSugar; XDuce; Rocksalt; BakerSFIeld; GDSL; BAP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Packlib2

Software Authors:   Fekete, Sándor P.; Der Veen, Jan C.Van
Referenced in: 9 Publications (2007–2020)
Related Software: Ts2pack; OR-Library; RobinX; ILOG SCHEDULE; XHSTT; SATO; …
Main Fields: Operations research, mathematical programming (90-XX)

RKWard

Software Authors:   Stefan Rödiger, Thomas Friedrichsmeier, Prasenjit Kapat, Meik Michalke
Referenced in: 1 Publication (2010)
Related Software: R; Rcmdr; Deducer; JGR; ggplot2; Bioconductor; …
Main Fields: Statistics (62-XX)

RobinX

Software Authors:   van Bulck, David; Goossens, Dries; Schönberger, Jörn; Guajardo, Mario
Referenced in: 9 Publications (2020–2022)
Related Software: pgRouting; EpiSIX; UniCorT; json2run; CPLEX; Dlib-ml; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ObsPy

Software Authors:   Moritz Beyreuther, Robert Barsch,Lion Krischer, Tobias Megies,Yannik Behr,Joachim Wassermann
Referenced in: 0 Publications
Related Software: Python; pandas; ObsPlus; gensim; Girder; Review Board; …
Main Fields:

Prosper

Software Authors:   Levente Hunyadi
Referenced in: 7 Publications (2007–2010)
Related Software: PROSPER; HOL Light; HOL; ML; Cambridge LCF; ProofPower; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Computer science (68-XX)

Qbox

Software Authors:   F.Gygi
Referenced in: 5 Publications (2010–2019)
Related Software: Quantum Espresso; NWChem; Python; lobpcg.m; ELPA; ABINIT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

TCOZ

Software Authors:   Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai
Referenced in: 8 Publications (2002–2018)
Related Software: Circus; Eiffel; Uppaal; Z; CSPsim; SCOOP; …
Main Fields: Computer science (68-XX)

ToXgene

Software Authors:   Barbosa, D., Mendelzon, A.O., Keenleyside, J., Lyons, K.A.
Referenced in: 4 Publications (2011–2019)
Related Software: XMark; MUDD; SynTReN; C4.5; BUGS; UCI-ml; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

CLP(Flex)

Software Authors:   J. Coelho; M. Florido
Referenced in: 7 Publications (2007–2021)
Related Software: Theorema; Mathematica; Veriflog; XCentric; Maude; ASF+SDF; …
Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Computer science (68-XX)

MXML

Software Authors:   Mitakos, Theodoros; Gergatsoulis, Manolis; Stavrakos, Yannis; Ioannidis, Efstathios V.
Referenced in: 6 Publications (2001–2004)
Related Software:
Main Fields: Computer science (68-XX)

POEM

Software Authors:   Universite de Provence; Niebert, Peter; Qu, Hongyang
Referenced in: 7 Publications (2006–2012)
Related Software: SPIN; IF-2.0; Uppaal; Checkfence; BEEM; DiVinE; …
Main Fields: Computer science (68-XX)

QMCPACK

Software Authors:   J. Kim, et al.
Referenced in: 7 Publications (2008–2020)
Related Software: S3D Legion; KKRnano; NWChem; DataSpork; CRYSTAL; CRYSTAL09; …
Main Fields: General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

RONN

Software Authors:   Zheng Rong Yang, Rebecca Thomson, Philip McNeil, Robert M. Esnouf
Referenced in: 5 Publications (2013–2019)
Related Software: IUPred; GlobPlot; FoldUnfold; CUDA; FoldIndex; PlantTFDB; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

WSOL

Software Authors:   Tosic, Vladimir; Patel, Kruti; Pagurek, Bernard
Referenced in: 3 Publications (2002–2003)
Related Software: Jess; SNAP; Protege; UDDI
Main Fields: Computer science (68-XX)

XCentric

Software Authors:   Coelho, J., Florido, M.
Referenced in: 5 Publications (2013–2021)
Related Software: CLP(Flex); Maude; Mathematica; Theorema; Veriflog; ASF+SDF; …
Main Fields: Mathematical logic and foundations (03-XX); Special functions (33-XX); Computer science (68-XX)

XMPP

Software Authors:   Jeremie Miller
Referenced in: 4 Publications (2006–2015)
Related Software: Daikon; Dojo; GlassFish; BOINC; Pastry; ZetaSAT; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

XPathLog

Software Authors:   May, Wolfgang
Referenced in: 1 Publication (2004)
Related Software: XPath; XQuery; XCentric; TOY; Haskell; Lore; …
Main Fields: Computer science (68-XX)

XPi

Software Authors:   Acciai, Lucia; Boreale, Michele
Referenced in: 6 Publications (2008–2020)
Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; …
Main Fields: Computer science (68-XX)

XVCL

Software Authors:   Zhang, Hongyu; Jarzabek, Stan
Referenced in: 4 Publications (2001–2008)
Related Software: CaesarJ; FeatureC++; Ruby; AspectJ; fmp; RoboHelp; …
Main Fields: Computer science (68-XX)

arXMLiv

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

Checkmark

Software Authors:   Pereira, Shelby; Voloshynovskiy, Sviatoslav; Madueno, Maribel; Marchand-Maillet, Stéphan; Pun, Thierry
Referenced in: 3 Publications (2001–2021)
Related Software: ZXing; Matlab; StirMark
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

DocBook

Software Authors:   Walsh, N., Muellner, L.
Referenced in: 6 Publications (2006–2011)
Related Software: LeActiveMath; OMDoc; ActiveMath; Aplusix; Aplusix-editor; MathDox; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Mathematics education (97-XX)

FIMO

Software Authors:   Grant CE, Bailey TL, Noble WS
Referenced in: 5 Publications (2016–2019)
Related Software: KEGG; R; UniPROBE; UniProt; JASPAR; BEDTools; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

HSEval

Software Authors:   Kingston, J. H
Referenced in: 6 Publications (2012–2021)
Related Software: XHSTT; GOAL
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PADS

Software Authors:   Kathleen Fisher; Robert Gruber
Referenced in: 5 Publications (2010–2020)
Related Software: YAKKER; OCaml; Excel; hypoparsr; greenery; GitHub; …
Main Fields: Computer science (68-XX)

XMLSpy

Software Authors:   Altova
Referenced in: 3 Publications (2005–2016)
Related Software: OSiL; GAMS; AMPL; NETGEN; MINOS; SMPS reader; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Xproj

Software Authors:   Aggarwal, C.C., Ta, N., Wang, J., Feng, J., Zaki, M.J.
Referenced in: 3 Publications (2010–2011)
Related Software: PrefixSpan; BIDE; CloSpan; XRules; CloseGraph; gSpan; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

ARIA

Software Authors:   Linge, J.P., Habeck, M., Rieping, W., Nilges, M.
Referenced in: 4 Publications (2013–2018)
Related Software: CNS; Xplor-NIH; CHARMM; CYANA; iBP; TM-align; …
Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

AspectWerkz

Software Authors:   Jonas Bonér
Referenced in: 3 Publications (2006–2021)
Related Software: AspectJ; Java-MaC; InterAspect; evt; Valgrind; SHOP2; …
Main Fields: Computer science (68-XX)

Castor

Software Authors:   ExoLab Group
Referenced in: 1 Publication (2004)
Related Software: MySQL; XPath; Mesquite; mCRL; ASF+SDF; ATERM; …
Main Fields: Computer science (68-XX)

ECCO Toolkit

Software Authors:   PDTec
Referenced in: 4 Publications (1996–2020)
Related Software: NATools; GIZA++; quanteda; openxlsx; data.table; NLP; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)