BerkMin Software Authors: Goldberg, Eugene; Novikov, Yakov Cited in: 148 Publications (2002–2021) Related Software: Chaff; MiniSat; SATO; Siege; Velev SAT Benchmarks; PicoSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
House of Graphs Software Authors: Brinkmann, Gunnar; Coolsaet, Kris; Goedgebeur, Jan; Mélot, Hadrien Cited in: 61 Publications (2012–2023) Related Software: nauty; snarkhunter; Traces; plantri; GENREG; OEIS; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
EFD Software Authors: Daniel J. Bernstein; Tanja Lange Cited in: 54 Publications (2007–2022) Related Software: Curve25519; mpFq; SageMath; eBACS; eBASH; gmp; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)
Python Web Graph Generator Software Authors: Saket Sathe Cited in: 39 Publications (2013–2022) Related Software: invGauss; SNAP; Pajek Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistical mechanics, structure of matter (82-XX)
TANE Software Authors: Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu Cited in: 30 Publications (1999–2021) Related Software: FastFDs; UCI-ml; MS SQL Server; LCM; Trio; DB2; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)
MoMM Software Authors: Josef Urban Cited in: 33 Publications (2004–2021) Related Software: Mizar; MML; HOL Light; MPTP 0.2; E Theorem Prover; MPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)
ToscanaJ Software Authors: Becker, Peter; Correia, Joachim Hereth Cited 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)
YYY Software Authors: Laine, Harri Cited in: 19 Publications (1990–2007) Related Software: – Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Computer science (68-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)
SPMF Software Authors: Fournier-Viger, Philippe; Gomariz, Antonio; Gueniche, Ted; Soltani, Azadeh; Wu, Cheng-Wei; Tseng, Vincent S. Cited in: 16 Publications (2013–2022) Related Software: PrefixSpan; SPADE; CloSpan; Scikit; LCM; Minebench; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
eXist Software Authors: Meier, Wolfgang Cited in: 7 Publications (2003–2017) Related Software: XPath; XQuery; Globus Toolkit; TIMBER; EMBOSS; UniProt; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)
SEMINT Software Authors: Li, W.-S.; Clifton, C. Cited in: 9 Publications (2000–2009) Related Software: WordNet; Etuner; AdaBoost.MH; JGraphT; Anchor-PROMPT; PROMPT; … Main Fields: General algebraic systems (08-XX); Computer science (68-XX)
IAM Software Authors: Marti, U.-V.; Bunke, H. Cited in: 7 Publications (2002–2013) Related Software: ESMERALDA; PSoL; IAM-OnDB; LIBSVM; Octave; Matlab; … Main Fields: Computer science (68-XX)
PicoDBMS Software Authors: Pucheral, Philippe; Bouganim, Luc; Valduriez, Patrick; Bobineau, Christophe Cited in: 7 Publications (2001–2003) Related Software: POTENTIAL; OrientXA; Volcano Main Fields: Computer science (68-XX)
AiiDA Software Authors: Giovanni Pizzi, Andrea Cepellotti, Riccardo Sabatini, Nicola Marzari, Boris Kozinsky Cited in: 1 Publication (2022) Related Software: FireWorks; Python; pymatgen; AFLOW; Atomate; Slurm; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
PetriNets Software Authors: C.A. Petri Cited in: 8 Publications (2006–2014) Related Software: Uppaal; Kronos; TAPAAL; TINA; CMC; IF-2.0; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Computer science (68-XX)
LPFORM Software Authors: Ma, Pai-chun; Murphy, Frederic H.; Stohr, Edward A. Cited in: 7 Publications (1996–2009) Related Software: AMPL; LINDO; AIMMS; SLP-IOR; MSLiP; GAMS; … Main Fields: Operations research, mathematical programming (90-XX)
RSDS Software Authors: Suraj, Zbigniew; Grochowalski, Piotr Cited in: 5 Publications (2004–2008) Related Software: – Main Fields: Computer science (68-XX)
DiscreteZOO Software Authors: Berčič, Katja; Vidali, Janoš Cited in: 5 Publications (2018–2020) Related Software: OEIS; SageMath; bliss; FindStat; LMFDB; GitHub; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
LOGIDATA+ Software Authors: Paolo Atzeni Cited in: 5 Publications (1993–1998) Related Software: Datalog Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Opengeo Software Authors: Wang, Dongming; Chen, Xiaoyu; An, Wenya; Jiang, Lei; Song, Dan Cited in: 5 Publications (2014–2022) Related Software: TGTP; Intergeo; GeoGebra; GATP; JGEX; GEX; … Main Fields: Geometry (51-XX); Statistics (62-XX); Computer science (68-XX)
ProGen Software Authors: Zhang, Xiao; Wang, Shan; Lian, Na Cited in: 5 Publications (2008–2009) Related Software: PSPLIB; Tabu search Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Computer science (68-XX)
polyDB Software Authors: S. Horn, A. Paffenholz Cited in: 4 Publications (2017–2021) Related Software: GAP; Calabi-Yau database; Magma; Macaulay2; GitHub; polymake; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
ToTo Software Authors: van Wersch, Rim; Kelk, Steven Cited in: 4 Publications (2017–2022) Related Software: Jdrasil; dynASP; Regina; House of Graphs; LibTW; ComputeTW; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
FactSage Software Authors: Bale, C.W., Chartrand, P., Degterov, S.A., Eriksson, G., Hack, K., Ben Mahfoud, R., Melancon, J., Pelton, A.D., Petersen, S. Cited in: 3 Publications (2013–2017) Related Software: OrthoMADS; NOMAD; GeoSysBRNS; GEMS3K; GEMSelektor; MINEQL; … Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)
LWB Software Authors: Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain Cited in: 3 Publications (1996–2009) Related Software: MSPASS; TPTP; VAMPIRE; MiniSat Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MHTrajectoryR Software Authors: Marbac, Matthieu; Tubert-Bitter, Pascale; Sedki, Mohammed Cited in: 2 Publications (2016–2017) Related Software: R; glmtree; binomlogit; RcppArmadillo; Rcpp; VGAM; … Main Fields: Statistics (62-XX)
NeuroML 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. Cited in: 2 Publications (2002–2019) Related Software: NEURON; NEST; SpineML; NineML; Simbrain; neuroConstruct; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
NPARC Software Authors: Gopalaswamy, N.; Akay, H.U.; Ecer, A.; Chien, Y.P. Cited in: 3 Publications (1997–2000) Related Software: – Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
rPref Software Authors: Patrick Roocks Cited in: 2 Publications (2015) Related Software: dplyr; lazyeval; TunePareto; ggplot2; mco; Preference SQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Apophenia Software Authors: Ben Klemens Cited in: 2 Publications (2009–2012) Related Software: IsaMorph Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)
BerlinMOD Software Authors: D"untgen, Christian; Behr, Thomas; G"uting, Ralf Hartmut Cited in: 0 Publications Related Software: SUMO; DynaMark Main Fields: –
Brain-Graph-Tools Software Authors: Csaba Kerepesi, Balazs Szalkai, Balint Varga, Vince Grolmusz Cited in: 0 Publications Related Software: GraphML; MRtrix; FreeSurfer; Connectome Mapper Main Fields: –
CRoaring Software Authors: Daniel Lemire, Owen Kaser, Nathan Kurz, Luca Deri, Chris O'Hara, François Saint-Jacques, Gregory Ssi-Yan-Kai Cited in: 1 Publication (2022) Related Software: polymake; Normaliz Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX)
DMtools Software Authors: Nielsen, Ole M.; Christen, Peter; Hegland, Markus; Semenova, Tatiana; Hancock, Timothy Cited in: 2 Publications (2001–2002) Related Software: MySQL; Python Main Fields: Computer science (68-XX)
ElAM Software Authors: Marmier, Arnaud; Lethbridge, Zoe A.D.; Walton, Richard I.; Smith, Christopher W.; Parker, Stephen C.; Evans, Kenneth E. Cited in: 2 Publications (2010–2018) Related Software: Matlab; ELATE Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
Flowtracks Software Authors: Meller, Y.; Liberzon, A. Cited in: 1 Publication (2021) Related Software: Jupyter; Mayavi; Matplotlib; NumPy; SciPy; Python; … Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)
GeMDA Software Authors: Lo, Yu-Lung; Hua, Kien A.; Young, Honesty C. Cited in: 2 Publications (2001–2003) Related Software: – Main Fields: Computer science (68-XX)
GIS-EEDB Software Authors: Kalinnikov, I.I.; Mikheeva, A.V. Cited in: 2 Publications (2013–2015) Related Software: – Main Fields: Computer science (68-XX); Geophysics (86-XX)
GRAQULA Software Authors: Sockut, Gary H.; Burns, Luanne M.; Malhotra, Ashok; Whang, Kyu-Young Cited in: 1 Publication (1993) Related Software: – Main Fields: Computer science (68-XX)
HPRD Software Authors: Liu, Baolin; Hu, Bo Cited in: 1 Publication (2010) Related Software: Jena; Oracle; DBpedia; SPARQ2L; SPARQL Main Fields: Computer science (68-XX)
J3DV Software Authors: Fang, Xiang; Miller, John A.; Arnold, Jonathan Cited in: 2 Publications (2002–2009) Related Software: Virtual Cell; JigCell; YSMP; MEG; STOCKS; MetaModel; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
MDSM Software Authors: Chen, Yi-Ping Phoebe; Promparmote, Supawan; Maire, Frederic Cited in: 1 Publication (2006) Related Software: Algorithm 97; Simulink Main Fields: Computer science (68-XX)
MOODD Software Authors: Silva, Mauricio J.V.; Carlson, C.Robert Cited in: 2 Publications (1995–2001) Related Software: Oracle Main Fields: Computer science (68-XX)
POTENTIAL Software Authors: Wen, Jirong; Chen, Hong; Wang, Shan Cited in: 1 Publication (2000) Related Software: Volcano; OrientXA; PicoDBMS Main Fields: Computer science (68-XX)
psort Software Authors: Bertasi, Paolo; Bressan, Marco; Peserico, Enoch Cited in: 0 Publications Related Software: GPUTeraSort; Nsort; STXXL Main Fields: –
RethinkDB Software Authors: – Cited in: 2 Publications (2016–2022) Related Software: CryptDB; NuFHE; ZeroDB; StealthDB; GitHub; etcd; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TFBSTools Software Authors: Tan, Ge; Lenhard, Boris Cited in: 1 Publication (2021) Related Software: Bioconductor; R; plot2DO; Travis CI; VplotR; PePr; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
TXTDM Software Authors: Ratner, Bruce Cited in: 2 Publications (2012–2017) Related Software: SAS Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
AQuES Software Authors: Stillger, Michael Cited in: 1 Publication (2000) Related Software: – Main Fields: Computer science (68-XX)
arcospy Software Authors: Steven Rich, Andrew Ba Tran, Aaron Williams, Jason Holt, Jeffery Sauer, Taylor M. Oshan Cited in: 0 Publications Related Software: urltools; Python; R; arcos Main Fields: –
arealDB Software Authors: Steffen Ehrmann, Ralf Seppelt, Carsten Meyer Cited in: 0 Publications Related Software: httr; checkmate; tidyverse; R Main Fields: –
Brain2Mesh Software Authors: Anh Phong Tran, Qianqian Fang Cited in: 0 Publications Related Software: BrainSuite; FreeSurfer; Cork Main Fields: –
BugSwarm Software Authors: Naji Dmeiri, David A. Tomassi, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar Devanbu, Bogdan Vasilescu, Cindy Rubio-González Cited in: 0 Publications Related Software: Maven; TestNG; Gradle; Cobertura; Ant; TravisTorrent; … Main Fields: –
DeepMedic Software Authors: Kamnitsas, K., Ferrante, E., Parisot, S., Ledig, C., Nori, A. V., Criminisi, A., Rueckert, D., Glocker, B. Cited in: 1 Publication (2022) Related Software: PointNet; MNIST; CamNet; MVSNet; Fashion-MNIST; SynSin; … Main Fields: Computer science (68-XX)
DNAtools Software Authors: Torben Tvedebrink, James Curran, Mikkel Meyer Andersen Cited in: 0 Publications Related Software: R; CRAN Main Fields: –
dolt Software Authors: Zach Musgrave; Ross, N; et al. Cited in: 0 Publications Related Software: RDataTracker; dtrackr; Graphviz; survival; targets; tidyverse; … Main Fields: –
DQSEGDB Software Authors: Ryan P. Fisher, Gary Hemming, Marie-Anne Bizouard, Duncan A. Brown, Peter F. Couvares, Florent Robinet, Didier Verkindt Cited in: 0 Publications Related Software: GWSumm; PHP; MariaDB; Python Main Fields: –
DrillProject Software Authors: Awrejcewicz, J.; Lind, Yu.B.; Kabirova, A.R.; Nurislamova, L.F.; Mulyukov, R.A. Cited in: 1 Publication (2013) Related Software: – Main Fields: Computer science (68-XX); Geophysics (86-XX)
EDNF Software Authors: Khan, Ali A.; Al-A'Ali, Mansoor; Alam, Nigat R. Cited in: 1 Publication (1994) Related Software: – Main Fields: Computer science (68-XX)
EDSL Software Authors: Bain, Alex; Mitchell, John; Sharma, Rahul; Stefan, Deian; Zimmerman, Joe Cited in: 1 Publication (2011) Related Software: Sharemind; Haskell Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
EES Software Authors: F-Chart Software Cited in: 1 Publication (2012) Related Software: – Main Fields: Classical thermodynamics, heat transfer (80-XX); Statistical mechanics, structure of matter (82-XX)
ERZoom Software Authors: Wang, Xiong Cited in: 1 Publication (2009) Related Software: – Main Fields: Computer science (68-XX)
FSDB Software Authors: Sanghoon Moon, Yanga Byun, Kyungsook Han Cited in: 1 Publication (2007) Related Software: ARFA; PseudoViewer3 Main Fields: Biology and other natural sciences (92-XX)
global-protected-areas Software Authors: Jeff Hanson Cited in: 0 Publications Related Software: wdpar; wdpa-statistics; rwdpa; worldpa; pywdpa; sf; … Main Fields: –
GMTM Software Authors: Safaei, Ali A.; Haghjoo, Mostafa S.; Ghalambor, Mohammad Cited in: 1 Publication (2008) Related Software: – Main Fields: Computer science (68-XX)
GTOPX Software Authors: Martin Schlueter, Mehdi Neshat, Mohamed Wahib, Masaharu Munetomo, Markus Wagner Cited in: 0 Publications Related Software: GTOP; MIDACO; Python; Matlab Main Fields: –
hex-db Software Authors: Benda, Jakub; Houfek, Karel Cited in: 1 Publication (2014) Related Software: SQLite; RMATRX1; RADWEQ; HDF; GSL Main Fields: Quantum theory (81-XX)
HiPER Software Authors: Highland, F. D.; Iwaskiw, C. T. Cited in: 1 Publication (1989) Related Software: PL/I Main Fields: Computer science (68-XX)
Hmmpfam Software Authors: Sean Eddy Cited in: 1 Publication (2004) Related Software: PVM Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
HyperDB Software Authors: Kim, Tae-Kyung; Jung, Seung-Hyun; Kim, Kyoung-Ran; Yoo, Jae-Soo; Cho, Wan-Sup Cited in: 1 Publication (2007) Related Software: – Main Fields: Computer science (68-XX)
LINUS Software Authors: Lavrac, Nada; Dzeroski, Saso Cited in: 1 Publication (1994) Related Software: – Main Fields: Computer science (68-XX)
LocalThicknessMap Software Authors: Nguyen, T.-N.-T., Höfter, A., Leonardic, K., Rosenhain, S., Kiessling, F., Sae-Tang, W., Naumann, U., Gremse, F. Cited in: 0 Publications Related Software: Imalytics Preclinical; BoneJ; Code Ocean Main Fields: –
MODULEWRITER Software Authors: Zheng, Christina L.; Fana, Fariba; Udupi, Poornaprajna V.; Gribskov, Michael Cited in: 1 Publication (2003) Related Software: MySQL; DataBind; sql2java; JGrinder; Jaxor; Hibernate; … Main Fields: Computer science (68-XX)
MonetDBLite Software Authors: Hannes Muehleisen, Anthony Damico, Mark Raasveldt, Thomas Lumley, MonetDB Development Team Cited in: 1 Publication (2019) Related Software: SQLite; RSQLite; dplyr; DBI; biglm; R Main Fields: Statistics (62-XX)
Ontograte Software Authors: Dou, Dejing; Qin, Han; Lependu, Paea Cited in: 1 Publication (2010) Related Software: MAFRA; WordNet Main Fields: Computer science (68-XX)
Phylen Software Authors: Ignacio Ferrés; Gregorio Iraola Cited in: 0 Publications Related Software: Prokka; ape; phangorn; HMMER; MAFFT; eggNOG; … Main Fields: –
PSiClone Software Authors: Lang, Xianyu; Lu, Zhonghua; Chi, Xuebin Cited in: 1 Publication (2006) Related Software: – Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
pywdpa Software Authors: Ghislain Vieilledent Cited in: 0 Publications Related Software: wdpar; wdpa-statistics; global-protected-areas; rwdpa; worldpa; sf; … Main Fields: –
rFIA Software Authors: Hunter Stanke, Andrew Finley Cited in: 0 Publications Related Software: dplyr; sf; devtools; snow; R Main Fields: –
rpostgisLT Software Authors: Balázs Dukai, Mathieu Basille, David Bucklin, Clément Calenge Cited in: 0 Publications Related Software: kftrack; ukfsst; kfsst; trackit; acc; pawacc; … Main Fields: –
rwdpa Software Authors: Chamberlain, S. Cited in: 0 Publications Related Software: wdpar; wdpa-statistics; global-protected-areas; worldpa; pywdpa; sf; … Main Fields: –
S-CBR Software Authors: Peng, Zhaohui; Zhang, Jun; Wang, Shan Cited in: 1 Publication (2008) Related Software: – Main Fields: Computer science (68-XX)
Validator Software Authors: Hagen Radtke; Florian Börgel; Sandra-Esther Brunnabend; Anja Eggert; Madline Kniebusch; H. E. Markus Meier; Daniel Neumann; Thomas Neumann; Manja Placke Cited in: 0 Publications Related Software: Docker; shiny; RMariaDB; RCurl; plotrix; RNetCDF; … Main Fields: –
wdpa-statistics Software Authors: Ed Lewis Cited in: 0 Publications Related Software: wdpar; global-protected-areas; rwdpa; worldpa; pywdpa; sf; … Main Fields: –
wdpar Software Authors: Jeffrey O Hanson Cited in: 0 Publications Related Software: wdpa-statistics; global-protected-areas; rwdpa; worldpa; pywdpa; sf; … Main Fields: –
WebDFEA Software Authors: Weng, Wei-Chu Cited in: 1 Publication (2011) Related Software: Web-FEM; MANIP; OpenGL Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX)
worldpa Software Authors: Casajus, N. Cited in: 0 Publications Related Software: wdpar; wdpa-statistics; global-protected-areas; rwdpa; pywdpa; sf; … Main Fields: –
X-Fun Software Authors: Labath, Pavel; Niehren, Joachim Cited in: 0 Publications Related Software: QuiXProc; Calabash; QuiX; XQuery Main Fields: Computer science (68-XX)
ZeroDB Software Authors: Michael Egorov, MacLane Wilkison Cited in: 1 Publication (2022) Related Software: CryptDB; NuFHE; RethinkDB; StealthDB Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
atsd Software Authors: Axibase Corporation Cited in: 0 Publications Related Software: – Main Fields: –
biomartr Software Authors: Hajk-Georg Drost Cited in: 0 Publications Related Software: – Main Fields: –
BlockchainDB Software Authors: Jiao, Tong; Shen, Derong; Nie, Tiezheng; Kou, Yue; Li, Xiaohua; Yu, Ge Cited in: 0 Publications Related Software: – Main Fields: –
g2f Software Authors: Kelly Botero, Daniel Osorio, Janneth Gonzalez, Andres Pinzon Cited in: 0 Publications Related Software: – Main Fields: –
HMDHFDplus Software Authors: Tim Riffe, Carl Boe, Josh Goldstein Cited in: 0 Publications Related Software: – Main Fields: –
KGDB Software Authors: Liu, Baozhu; Wang, Xin; Liu, Pengkai; Li, Sizhuo; Zhang, Xiaowang; Yang, Yajun Cited in: 0 Publications Related Software: – Main Fields: –