×

Found 367 Software Packages (Results 1–100)

Excel

Cited in 533 Documents (1989–2023)
Software Authors: Microsoft
Related Software: R; Matlab; SPSS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

XPath

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

XQuery

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

MPTP 0.2

Cited in 55 Documents (2006–2021)
Software Authors: Urban, Josef
Related Software: Mizar; VAMPIRE; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

XDuce

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

swrl

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

BioGRID

Cited in 33 Documents (2008–2023)
Software Authors: C. Stark, B. Breitkreutz, T. Reguly, L. Boucher, A. Breitkreutz, M. Tyers
Related Software: KEGG; IntAct; Cytoscape; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

GGobi

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

CDuce

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

AsmL

Cited in 45 Documents (2001–2023)
Software Authors: Microsoft Research; Grieskamp, W.; Gurevich Y.
Related Software: ML; SpecExplorer; Korat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

FRGC

Cited in 36 Documents (2006–2015)
Software Authors: NIST
Related Software: FERET; AR face; CMU PIE; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

PNML

Cited in 29 Documents (1992–2022)
Software Authors: Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Related Software: Woflan; Design/CPN; CPN/Tools; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …

SMIL

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

Graded Ring Database

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

DAML+OIL

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

WSAT

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

Jadex

Cited in 22 Documents (2005–2023)
Software Authors: Pokahr A., Braubach L., Lamersdorf W.
Related Software: Jason; AgentSpeak; 2APL; …
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

Cited in 17 Documents (2001–2015)
Software Authors: H. Liefke; D. Suciu
Related Software: XPath; XQuery; XMark; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

IntAct

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

XMark

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

XSEarch

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

CellML

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

RuleML

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

OpenAD/F

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

ALPS

Cited in 15 Documents (2009–2020)
Software Authors: B. Bauer et al
Related Software: ITensor; ALPSCore; VirtualBox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PiDuce

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

TIMBER

Cited in 7 Documents (2002–2020)
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
Related Software: XPath; XQuery; MS SQL Server; …
Main Fields: Computer science (68-XX)

Lixto

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

ProTDB

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

Relax NG

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

SAX

Cited in 15 Documents (2001–2018)
Software Authors:
Related Software: XPath; XQuery; MS SQL Server; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

VRPH

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

GXL

Cited in 10 Documents (2002–2020)
Software Authors: Holt, Richard C.; Schürr, Andy; Sim, Susan Elliott; Winter, Andreas
Related Software: PROGRES; AGG; GROOVE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Lore

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

ToscanaJ

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

TREX

Cited in 19 Documents (2003–2006)
Software Authors: James Clarke
Related Software: XPath; XQuery; SmallEiffel; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

TXL

Cited in 13 Documents (2005–2022)
Software Authors: Cordy, James R.
Related Software: Stratego; ASF+SDF; JastAdd; …
Main Fields: Computer science (68-XX)

XML

Cited in 7 Documents (2003–2019)
Software Authors: Duncan Temple Lang
Related Software: R; lattice; RODBC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

BEAUti

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

GraphML

Cited in 14 Documents (2002–2021)
Software Authors: Brandes, Ulrik; Eiglsperger, Markus; Herman, Ivan; Himsolt, Michael; Marshall, M.Scott
Related Software: CGAL; GXL; TimeAwareBPMN-js; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX); …

InterProScan

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

XHSTT

Cited in 18 Documents (2014–2022)
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
Related Software: GOAL; HSEval; CPLEX; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

eXist

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

TNTBase

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

phytools

Cited in 11 Documents (2014–2022)
Software Authors: Liam J. Revell
Related Software: ape; R; GEIGER; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

TulaFale

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

Lamatto

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

Lamatto++

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

TreeRePair

Cited in 13 Documents (2012–2022)
Software Authors: Markus Lohrey, Sebastian Maneth, Roy Mennicke
Related Software: XMill; SDSL; GitHub
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

ViST

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

XIRQL

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

APEX

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

ICENI

Cited in 4 Documents (2002–2010)
Software Authors: Furmento, Nathalie; Mayer, Anthony; McGough, Stephen; Newhouse, Steven; Field, Tony; Darlington, John
Related Software: Condor-G; Cactus; GRID Infoware; …
Main Fields: Computer science (68-XX)

OSiL

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

ADO.NET

Cited in 6 Documents (2002–2012)
Software Authors: Microsoft
Related Software: VisualStudio.NET; ASP.NET; MySQL; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …

meshio

Cited in 4 Documents (2022)
Software Authors: Nico Schlömer; et al.
Related Software: Python; Gmsh; FEniCS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Biology and other natural sciences (92-XX)

PRIX

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

Quilt

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

TAX

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

XMLTK

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

AKIRA

Cited in 10 Documents (2005–2011)
Software Authors: Pezzulo, Giovanni; Calvi, Gianguglielmo
Related Software: CUMODP; CoCoA; DIANE; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX); …

iDynoR

Cited in 10 Documents (2014–2022)
Software Authors: Kieran Alden, Jan-Ulrich Kreft
Related Software: BacSim; BiofilmSim; Matlab; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Mechanics of deformable solids (74-XX); …

MathDox

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

RKWard

Cited in 2 Documents (2010–2012)
Software Authors: Stefan Rödiger, Thomas Friedrichsmeier, Prasenjit Kapat, Meik Michalke
Related Software: R; Rcmdr; Deducer; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

rneos

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

UnQL

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

Wikipedia Miner

Cited in 4 Documents (2012–2019)
Software Authors: David Milne; Ian H. Witten
Related Software: DBpedia; MENTA; BabelNet; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

XPERANTO

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

XRules

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

BioMOBY

Cited in 0 Documents
Software Authors: M.D. Wilkinson, M. Links
Related Software: Taverna; KEGG; EMBOSS; …
Main Fields:

biXid

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

Packlib2

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

RobinX

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

ObsPy

Cited in 0 Documents
Software Authors: Moritz Beyreuther, Robert Barsch,Lion Krischer, Tobias Megies,Yannik Behr,Joachim Wassermann
Related Software: Python; pandas; ObsPlus; …
Main Fields:

POEM

Cited in 8 Documents (2006–2022)
Software Authors: Universite de Provence; Niebert, Peter; Qu, Hongyang
Related Software: SPIN; IF-2.0; Rabbit; …
Main Fields: Computer science (68-XX)

Prosper

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

Qbox

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

QMCPACK

Cited in 8 Documents (2008–2022)
Software Authors: J. Kim, et al.
Related Software: NWChem; S3D Legion; KKRnano; …
Main Fields: General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

TCOZ

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

ToXgene

Cited in 4 Documents (2011–2019)
Software Authors: Barbosa, D., Mendelzon, A.O., Keenleyside, J., Lyons, K.A.
Related Software: XMark; BUGS; Matlab; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

XMPP

Cited in 5 Documents (2006–2022)
Software Authors: Jeremie Miller
Related Software: RALib; Daikon; Dojo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CLP(Flex)

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

MXML

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

RONN

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

rvest

Cited in 4 Documents (2014–2020)
Software Authors: Hadley Wickham
Related Software: R; RStudio; jsonlite; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

WSOL

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

XCentric

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

XPathLog

Cited in 1 Document (2004)
Software Authors: May, Wolfgang
Related Software: XPath; XQuery; Lorel; …
Main Fields: Computer science (68-XX)

XPi

Cited in 6 Documents (2008–2020)
Software Authors: Acciai, Lucia; Boreale, Michele
Related Software: PiDuce; XDuce; XPath; …
Main Fields: Computer science (68-XX)

XVCL

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

arXMLiv

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

Checkmark

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

DocBook

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

FIMO

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

HSEval

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

PADS

Cited in 5 Documents (2010–2020)
Software Authors: Kathleen Fisher; Robert Gruber
Related Software: YAKKER; OCaml; hypoparsr; …
Main Fields: Computer science (68-XX)

XMLSpy

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

Xproj

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

ARIA

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

AspectWerkz

Cited in 3 Documents (2006–2021)
Software Authors: Jonas Bonér
Related Software: AspectJ; JBoss; JAsCo; …
Main Fields: Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field