×

Found 111 Software Packages (Results 1–100)

BerkMin

Cited in 149 Documents (2002–2022)
Software Authors: Goldberg, Eugene; Novikov, Yakov
Related Software: Chaff; MiniSat; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

House of Graphs

Cited in 75 Documents (2012–2024)
Software Authors: Brinkmann, Gunnar; Coolsaet, Kris; Goedgebeur, Jan; Mélot, Hadrien
Related Software: nauty; Traces; snarkhunter; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); …

EFD

Cited in 59 Documents (2007–2023)
Software Authors: Daniel J. Bernstein; Tanja Lange
Related Software: Curve25519; mpFq; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Python Web Graph Generator

Cited in 47 Documents (2013–2024)
Software Authors: Saket Sathe
Related Software: Repast Suite; NetLogo; invGauss; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistical mechanics, structure of matter (82-XX); …

TANE

Cited in 31 Documents (1999–2022)
Software Authors: Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
Related Software: FastFDs; UCI-ml; MS SQL Server; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)

MoMM

Cited in 33 Documents (2004–2021)
Software Authors: Josef Urban
Related Software: Mizar; MML; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)

SPMF

Cited in 19 Documents (2013–2022)
Software Authors: Fournier-Viger, Philippe; Gomariz, Antonio; Gueniche, Ted; Soltani, Azadeh; Wu, Cheng-Wei; Tseng, Vincent S.
Related Software: PrefixSpan; SPADE; GitHub; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …

YYY

Cited in 19 Documents (1990–2007)
Software Authors: Laine, Harri
Related Software:
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Computer science (68-XX); …

SAINTETIQ

Cited in 7 Documents (2002–2018)
Software Authors: Raschia, G.; Mouaddib, N.
Related Software: Summary SQL; C4.5; Genocop
Main Fields: Computer science (68-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)

SEMINT

Cited in 9 Documents (2000–2009)
Software Authors: Li, W.-S.; Clifton, C.
Related Software: WordNet; Etuner; AdaBoost.MH; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

AiiDA

Cited in 4 Documents (2022–2024)
Software Authors: Giovanni Pizzi, Andrea Cepellotti, Riccardo Sabatini, Nicola Marzari, Boris Kozinsky
Related Software: FireWorks; AFLOW; pymatgen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

IAM

Cited in 7 Documents (2002–2013)
Software Authors: Marti, U.-V.; Bunke, H.
Related Software: ESMERALDA; PSoL; IAM-OnDB; …
Main Fields: Computer science (68-XX)

PicoDBMS

Cited in 7 Documents (2001–2003)
Software Authors: Pucheral, Philippe; Bouganim, Luc; Valduriez, Patrick; Bobineau, Christophe
Related Software: POTENTIAL; OrientXA; Volcano
Main Fields: Computer science (68-XX)

PetriNets

Cited in 8 Documents (2006–2014)
Software Authors: C.A. Petri
Related Software: Uppaal; Kronos; TAPAAL; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Computer science (68-XX); …

LPFORM

Cited in 7 Documents (1996–2009)
Software Authors: Ma, Pai-chun; Murphy, Frederic H.; Stohr, Edward A.
Related Software: AMPL; LINDO; AIMMS; …
Main Fields: Operations research, mathematical programming (90-XX)

RSDS

Cited in 5 Documents (2004–2008)
Software Authors: Suraj, Zbigniew; Grochowalski, Piotr
Related Software:
Main Fields: Computer science (68-XX)

Opengeo

Cited in 6 Documents (2014–2022)
Software Authors: Wang, Dongming; Chen, Xiaoyu; An, Wenya; Jiang, Lei; Song, Dan
Related Software: TGTP; Intergeo; GeoProof; …
Main Fields: Geometry (51-XX); Statistics (62-XX); Computer science (68-XX); …

DiscreteZOO

Cited in 5 Documents (2018–2020)
Software Authors: Berčič, Katja; Vidali, Janoš
Related Software: OEIS; SageMath; bliss; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

FactSage

Cited in 4 Documents (2013–2021)
Software Authors: Bale, C.W., Chartrand, P., Degterov, S.A., Eriksson, G., Hack, K., Ben Mahfoud, R., Melancon, J., Pelton, A.D., Petersen, S.
Related Software: OrthoMADS; NOMAD; GitHub; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX); …

LOGIDATA+

Cited in 5 Documents (1993–1998)
Software Authors: Paolo Atzeni
Related Software: Datalog
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

polyDB

Cited in 5 Documents (2017–2022)
Software Authors: S. Horn, A. Paffenholz
Related Software: GAP; polymake; Magma; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

ProGen

Cited in 5 Documents (2008–2009)
Software Authors: Zhang, Xiao; Wang, Shan; Lian, Na
Related Software: PSPLIB; Tabu search
Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ToTo

Cited in 4 Documents (2017–2022)
Software Authors: van Wersch, Rim; Kelk, Steven
Related Software: Jdrasil; dynASP; Regina; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Brain-Graph-Tools

Cited in 1 Document (2023)
Software Authors: Csaba Kerepesi, Balazs Szalkai, Balint Varga, Vince Grolmusz
Related Software: Connectome Mapper; GraphML; MRtrix; …
Main Fields: Biology and other natural sciences (92-XX)

LWB

Cited in 3 Documents (1996–2009)
Software Authors: Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain
Related Software: MiniSat; VAMPIRE; MSPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MDSM

Cited in 2 Documents (2006–2022)
Software Authors: Chen, Yi-Ping Phoebe; Promparmote, Supawan; Maire, Frederic
Related Software: Algorithm 97; Simulink
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MHTrajectoryR

Cited in 2 Documents (2016–2017)
Software Authors: Marbac, Matthieu; Tubert-Bitter, Pascale; Sedki, Mohammed
Related Software: R; mnlogit; reglogit; …
Main Fields: Statistics (62-XX)

NeuroML

Cited in 2 Documents (2002–2019)
Software Authors: Goddard, N.H.; Beeman, D.; Cannon, R.; Cornelis, H.; Gewaltig, M.-O.; Hood, G.; Howell, F.; Rogister, P.; De Schutter, E.; Shankar, K.; Hucka, M.
Related Software: NEURON; NEST; Python; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

NPARC

Cited in 3 Documents (1997–2000)
Software Authors: Gopalaswamy, N.; Akay, H.U.; Ecer, A.; Chien, Y.P.
Related Software:
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

realgeom

Cited in 3 Documents (2021–2024)
Software Authors: Vajda, R.; Kovács, Z.
Related Software: GeoGebra Discovery; GeoGebra; REDLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Geometry (51-XX); …

rPref

Cited in 2 Documents (2015)
Software Authors: Patrick Roocks
Related Software: lazyeval; TunePareto; ggplot2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Apophenia

Cited in 2 Documents (2009–2012)
Software Authors: Ben Klemens
Related Software: IsaMorph
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

BerlinMOD

Cited in 0 Documents
Software Authors: D"untgen, Christian; Behr, Thomas; G"uting, Ralf Hartmut
Related Software: SUMO; DynaMark
Main Fields:

CRoaring

Cited in 1 Document (2022)
Software Authors: Daniel Lemire, Owen Kaser, Nathan Kurz, Luca Deri, Chris O'Hara, François Saint-Jacques, Gregory Ssi-Yan-Kai
Related Software: polymake; Normaliz
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …

DMtools

Cited in 2 Documents (2001–2002)
Software Authors: Nielsen, Ole M.; Christen, Peter; Hegland, Markus; Semenova, Tatiana; Hancock, Timothy
Related Software: MySQL; Python
Main Fields: Computer science (68-XX)

DNAQL

Cited in 2 Documents (2012–2021)
Software Authors: Brijder, Robert; Gillis, Joris J. M.; Van den Bussche, Jan
Related Software:
Main Fields: Computer science (68-XX)

ElAM

Cited in 2 Documents (2010–2018)
Software Authors: Marmier, Arnaud; Lethbridge, Zoe A.D.; Walton, Richard I.; Smith, Christopher W.; Parker, Stephen C.; Evans, Kenneth E.
Related Software: Matlab; ELATE
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ElATools

Cited in 2 Documents (2022–2023)
Software Authors: Yalameha, Shahram; Nourbakhsh, Zahra; Vashaee, Daryoosh
Related Software: View3dscene; gnuplot
Main Fields: Mechanics of deformable solids (74-XX)

Flowtracks

Cited in 1 Document (2021)
Software Authors: Meller, Y.; Liberzon, A.
Related Software: SciPy; Python; Jupyter; …
Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)

GeMDA

Cited in 2 Documents (2001–2003)
Software Authors: Lo, Yu-Lung; Hua, Kien A.; Young, Honesty C.
Related Software:
Main Fields: Computer science (68-XX)

GIS-EEDB

Cited in 2 Documents (2013–2015)
Software Authors: Kalinnikov, I.I.; Mikheeva, A.V.
Related Software:
Main Fields: Computer science (68-XX); Geophysics (86-XX)

GRAQULA

Cited in 1 Document (1993)
Software Authors: Sockut, Gary H.; Burns, Luanne M.; Malhotra, Ashok; Whang, Kyu-Young
Related Software:
Main Fields: Computer science (68-XX)

HPRD

Cited in 1 Document (2010)
Software Authors: Liu, Baolin; Hu, Bo
Related Software: Jena; Oracle; DBpedia; …
Main Fields: Computer science (68-XX)

J3DV

Cited in 2 Documents (2002–2009)
Software Authors: Fang, Xiang; Miller, John A.; Arnold, Jonathan
Related Software: Virtual Cell; JigCell; YSMP; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MOODD

Cited in 2 Documents (1995–2001)
Software Authors: Silva, Mauricio J.V.; Carlson, C.Robert
Related Software: Oracle
Main Fields: Computer science (68-XX)

POTENTIAL

Cited in 1 Document (2000)
Software Authors: Wen, Jirong; Chen, Hong; Wang, Shan
Related Software: Volcano; OrientXA; PicoDBMS
Main Fields: Computer science (68-XX)

psort

Cited in 0 Documents
Software Authors: Bertasi, Paolo; Bressan, Marco; Peserico, Enoch
Related Software: GPUTeraSort; Nsort; STXXL
Main Fields:

RethinkDB

Cited in 2 Documents (2016–2022)
Software Authors:
Related Software: etcd; GitHub; ZooKeeper; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

rpostgisLT

Cited in 0 Documents
Software Authors: Balázs Dukai, Mathieu Basille, David Bucklin, Clément Calenge
Related Software: adehabitat; R; wkb; …
Main Fields:

TFBSTools

Cited in 1 Document (2021)
Software Authors: Tan, Ge; Lenhard, Boris
Related Software: Bioconductor; R; plot2DO; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

TXTDM

Cited in 2 Documents (2012–2017)
Software Authors: Ratner, Bruce
Related Software: SAS
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AQuES

Cited in 1 Document (2000)
Software Authors: Stillger, Michael
Related Software:
Main Fields: Computer science (68-XX)

arcospy

Cited in 0 Documents
Software Authors: Steven Rich, Andrew Ba Tran, Aaron Williams, Jason Holt, Jeffery Sauer, Taylor M. Oshan
Related Software: urltools; Python; R; …
Main Fields:

arealDB

Cited in 0 Documents
Software Authors: Steffen Ehrmann, Ralf Seppelt, Carsten Meyer
Related Software: httr; checkmate; tidyverse; …
Main Fields:

BADGr

Cited in 0 Documents
Software Authors: Huebner, Kai
Related Software:
Main Fields:

biomartr

Cited in 0 Documents
Software Authors: Hajk-Georg Drost
Related Software: myTAI; Rcpp; taxize; …
Main Fields:

Brain2Mesh

Cited in 0 Documents
Software Authors: Anh Phong Tran, Qianqian Fang
Related Software: BrainSuite; FreeSurfer; Cork
Main Fields:

BugSwarm

Cited in 0 Documents
Software Authors: Naji Dmeiri, David A. Tomassi, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar Devanbu, Bogdan Vasilescu, Cindy Rubio-González
Related Software: Docker; nose; Error Prone; …
Main Fields:

DeepMedic

Cited in 1 Document (2022)
Software Authors: Kamnitsas, K., Ferrante, E., Parisot, S., Ledig, C., Nori, A. V., Criminisi, A., Rueckert, D., Glocker, B.
Related Software: OpenGL; MOTS; StyleGAN2; …
Main Fields: Computer science (68-XX)

DNAtools

Cited in 0 Documents
Software Authors: Torben Tvedebrink, James Curran, Mikkel Meyer Andersen
Related Software: CRAN; R
Main Fields:

dolt

Cited in 0 Documents
Software Authors: Zach Musgrave; Ross, N; et al.
Related Software: Graphviz; survival; RDataTracker; …
Main Fields:

DQSEGDB

Cited in 0 Documents
Software Authors: Ryan P. Fisher, Gary Hemming, Marie-Anne Bizouard, Duncan A. Brown, Peter F. Couvares, Florent Robinet, Didier Verkindt
Related Software: GWSumm; PHP; MariaDB; …
Main Fields:

DrillProject

Cited in 1 Document (2013)
Software Authors: Awrejcewicz, J.; Lind, Yu.B.; Kabirova, A.R.; Nurislamova, L.F.; Mulyukov, R.A.
Related Software:
Main Fields: Computer science (68-XX); Geophysics (86-XX)

EDNF

Cited in 1 Document (1994)
Software Authors: Khan, Ali A.; Al-A'Ali, Mansoor; Alam, Nigat R.
Related Software:
Main Fields: Computer science (68-XX)

EDSL

Cited in 1 Document (2011)
Software Authors: Bain, Alex; Mitchell, John; Sharma, Rahul; Stefan, Deian; Zimmerman, Joe
Related Software: Sharemind; Haskell
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

EES

Cited in 1 Document (2012)
Software Authors: F-Chart Software
Related Software:
Main Fields: Classical thermodynamics, heat transfer (80-XX); Statistical mechanics, structure of matter (82-XX)

ERZoom

Cited in 1 Document (2009)
Software Authors: Wang, Xiong
Related Software:
Main Fields: Computer science (68-XX)

FSDB

Cited in 1 Document (2007)
Software Authors: Sanghoon Moon, Yanga Byun, Kyungsook Han
Related Software: ARFA; PseudoViewer3
Main Fields: Biology and other natural sciences (92-XX)

global-protected-areas

Cited in 0 Documents
Software Authors: Jeff Hanson
Related Software: wdpa-statistics; rwdpa; worldpa; …
Main Fields:

GMTM

Cited in 1 Document (2008)
Software Authors: Safaei, Ali A.; Haghjoo, Mostafa S.; Ghalambor, Mohammad
Related Software:
Main Fields: Computer science (68-XX)

GTOPX

Cited in 0 Documents
Software Authors: Martin Schlueter, Mehdi Neshat, Mohamed Wahib, Masaharu Munetomo, Markus Wagner
Related Software: GTOP; MIDACO; Python; …
Main Fields:

hex-db

Cited in 1 Document (2014)
Software Authors: Benda, Jakub; Houfek, Karel
Related Software: elsepa; SQLite; RMATRX1; …
Main Fields: Quantum theory (81-XX)

HiPER

Cited in 1 Document (1989)
Software Authors: Highland, F. D.; Iwaskiw, C. T.
Related Software: PL/I
Main Fields: Computer science (68-XX)

Hmmpfam

Cited in 1 Document (2004)
Software Authors: Sean Eddy
Related Software: PVM
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

HyperDB

Cited in 1 Document (2007)
Software Authors: Kim, Tae-Kyung; Jung, Seung-Hyun; Kim, Kyoung-Ran; Yoo, Jae-Soo; Cho, Wan-Sup
Related Software:
Main Fields: Computer science (68-XX)

LINUS

Cited in 1 Document (1994)
Software Authors: Lavrac, Nada; Dzeroski, Saso
Related Software:
Main Fields: Computer science (68-XX)

LocalThicknessMap

Cited in 0 Documents
Software Authors: Nguyen, T.-N.-T., Höfter, A., Leonardic, K., Rosenhain, S., Kiessling, F., Sae-Tang, W., Naumann, U., Gremse, F.
Related Software: Imalytics Preclinical; BoneJ; Code Ocean
Main Fields:

MODULEWRITER

Cited in 1 Document (2003)
Software Authors: Zheng, Christina L.; Fana, Fariba; Udupi, Poornaprajna V.; Gribskov, Michael
Related Software: MySQL; DataBind; sql2java; …
Main Fields: Computer science (68-XX)

MonetDBLite

Cited in 1 Document (2019)
Software Authors: Hannes Muehleisen, Anthony Damico, Mark Raasveldt, Thomas Lumley, MonetDB Development Team
Related Software: biglm; SQLite; RSQLite; …
Main Fields: Statistics (62-XX)

Ontograte

Cited in 1 Document (2010)
Software Authors: Dou, Dejing; Qin, Han; Lependu, Paea
Related Software: MAFRA; WordNet
Main Fields: Computer science (68-XX)

Phylen

Cited in 0 Documents
Software Authors: Ignacio Ferrés; Gregorio Iraola
Related Software: Prokka; ape; phangorn; …
Main Fields:

PSiClone

Cited in 1 Document (2006)
Software Authors: Lang, Xianyu; Lu, Zhonghua; Chi, Xuebin
Related Software:
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

pywdpa

Cited in 0 Documents
Software Authors: Ghislain Vieilledent
Related Software: wdpa-statistics; global-protected-areas; rwdpa; …
Main Fields:

rFIA

Cited in 0 Documents
Software Authors: Hunter Stanke, Andrew Finley
Related Software: devtools; snow; R; …
Main Fields:

rpostgis

Cited in 0 Documents
Software Authors: Bucklin, David; Basille, Mathieu
Related Software: wkb; PostgreSQL; DBI; …
Main Fields:

rwdpa

Cited in 0 Documents
Software Authors: Chamberlain, S.
Related Software: wdpa-statistics; global-protected-areas; worldpa; …
Main Fields:

S-CBR

Cited in 1 Document (2008)
Software Authors: Peng, Zhaohui; Zhang, Jun; Wang, Shan
Related Software:
Main Fields: Computer science (68-XX)

Validator

Cited in 0 Documents
Software Authors: Hagen Radtke; Florian Börgel; Sandra-Esther Brunnabend; Anja Eggert; Madline Kniebusch; H. E. Markus Meier; Daniel Neumann; Thomas Neumann; Manja Placke
Related Software: RMariaDB; RCurl; plotrix; …
Main Fields:

wdpa-statistics

Cited in 0 Documents
Software Authors: Ed Lewis
Related Software: global-protected-areas; rwdpa; worldpa; …
Main Fields:

wdpar

Cited in 0 Documents
Software Authors: Jeffrey O Hanson
Related Software: wdpa-statistics; global-protected-areas; rwdpa; …
Main Fields:

WebDFEA

Cited in 1 Document (2011)
Software Authors: Weng, Wei-Chu
Related Software: Web-FEM; MANIP; OpenGL
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX)

worldpa

Cited in 0 Documents
Software Authors: Casajus, N.
Related Software: wdpa-statistics; global-protected-areas; rwdpa; …
Main Fields:

X-Fun

Cited in 0 Documents
Software Authors: Labath, Pavel; Niehren, Joachim
Related Software: QuiXProc; Calabash; QuiX; …
Main Fields: Computer science (68-XX)

ZeroDB

Cited in 1 Document (2022)
Software Authors: Michael Egorov, MacLane Wilkison
Related Software: NuFHE; CryptDB; RethinkDB; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

atsd

Cited in 0 Documents
Software Authors: Axibase Corporation
Related Software:
Main Fields:

BIEN

Cited in 0 Documents
Software Authors: Brian Maitner
Related Software:
Main Fields:

BlockchainDB

Cited in 0 Documents
Software Authors: Jiao, Tong; Shen, Derong; Nie, Tiezheng; Kou, Yue; Li, Xiaohua; Yu, Ge
Related Software:
Main Fields:

EFEU

Cited in 0 Documents
Software Authors: Erich Frühstück
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field