×

Found 61 Software Packages (Results 1–61)

TensorFlow

Software Authors:   Google Brain team; M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin, et al
Referenced in: 508 Publications (2016–2022)
Related Software: Adam; PyTorch; Keras; Python; ImageNet; GitHub; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

MAXFLOW

Software Authors:   Y. Boykov; V. Kolmogorov
Referenced in: 104 Publications (2001–2022)
Related Software: GrabCut; BSDS; SIFT; VRP; PRMLT; CUDA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Referenced in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

DrScheme

Software Authors:   Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
Referenced in: 27 Publications (1997–2016)
Related Software: ACL2; Haskell; LISP; DrACuLa; Eiffel; MzScheme; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mathematics education (97-XX)

KaFFPa

Software Authors:   Peter Sanders, Christian Schulz
Referenced in: 24 Publications (2007–2022)
Related Software: KaHIP; DIMACS; DibaP; JOSTLE; Scotch; SparseMatrix; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Quantomatic

Software Authors:   Kissinger, Aleks
Referenced in: 22 Publications (2009–2022)
Related Software: PyZX; pytket; Jupyter; Matplotlib; NumPy; DisCoPy; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

OR-tools

Software Authors:   Google; Perron, L.; Furnon, V.
Referenced in: 20 Publications (2013–2022)
Related Software: CPLEX; SCIP; Gecode; MiniZinc; GitHub; Gurobi; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TGFF

Software Authors:   Dick RP, Rhodes DL, Wolf W.
Referenced in: 8 Publications (2008–2019)
Related Software: Simulink; CPLEX; Chameleon; ABC; OptorSim; Condor-G; …
Main Fields: Operator theory (47-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KaHIP

Software Authors:   Sanders, Peter; Schulz, Christian; Meyerhenke, Henning; Träff, Jesper Larsson
Referenced in: 11 Publications (2012–2020)
Related Software: KaFFPa; JOSTLE; DIMACS; Scotch; DibaP; SparseMatrix; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

DyC

Software Authors:   Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.J.
Referenced in: 11 Publications (2000–2010)
Related Software: VCODE; TALx86; ASM; LMS; Flask; BCEL; …
Main Fields: Computer science (68-XX)

HepMC

Software Authors:   Matt Dobbs, Jørgen Beck Hansen
Referenced in: 5 Publications (2001–2017)
Related Software: PYTHIA8; ROOT; DELPHES; Herwig++; StdHep; Rivet; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

IPSep-CoLa

Software Authors:   Dwyer, T., Koren, Y., Marriott, K.
Referenced in: 7 Publications (2007–2016)
Related Software: Dunnart; PyGtk; XGobi; Orca; Adaptagrams; rcola; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Sehwa

Software Authors:   N. Park; A.C. Parker
Referenced in: 4 Publications (1989–2002)
Related Software: MAHA; MIMOLA; TimberWolf; PipLib; Flamel
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

PAGAI

Software Authors:   Julien Henry , David Monniaux , Matthieu Moy
Referenced in: 8 Publications (2014–2020)
Related Software: Apron; PPL; HyTech; PHAVer; ASTREE; efmtool; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

cantata

Software Authors:   Young, M., Argiro, D., Kubica, S.
Referenced in: 4 Publications (2000–2008)
Related Software: Khoros; Forms/3; SuperCollider; LISP; OpenMusic; Marsyas; …
Main Fields: Computer science (68-XX)

DiscretizationNet

Software Authors:   Rishikesh Ranade, Chris Hill, Jay Pathak
Referenced in: 7 Publications (2021–2022)
Related Software: NSFnets; Adam; DeepXDE; VarNet; DiffSharp; L-BFGS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pandapower

Software Authors:   Leon Thurner, Alexander Scheidler, Florian Schäfer, Jan-Hendrik Menke, Julian Dollichon, Friederike Meier, Steffen Meinecke, Martin Braun
Referenced in: 0 Publications
Related Software: Pypsa; Python; MATPOWER; OpenAI Gym; Electron; yaml-cpp; …
Main Fields:

Merlin

Software Authors:   Livshits VB, Nori AV, Rajamani SK, Banerjee A
Referenced in: 5 Publications (2013–2017)
Related Software: Saner; TAJ; JavaScript; GitHub; Stranger; F*; …
Main Fields: Computer science (68-XX)

OSMOSE

Software Authors:   Bardin, S., Herrmann, P.
Referenced in: 3 Publications (2011–2017)
Related Software: CBMC; GATeL; z3; ASTREE; STP; BINSEC/SE; …
Main Fields: Computer science (68-XX)

GraFiDi

Software Authors:   Christophe Besse, Romain Duboscq, Stefan Le Coz
Referenced in: 3 Publications (2022)
Related Software: Python; Matplotlib; NumPy; SciPy; NetworkX
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

GraphRicciCurvature

Software Authors:   Ni, Chien-Chun; Lin, Yu-Yao; Gao, Jie; Gu, Xianfeng
Referenced in: 4 Publications (2018–2022)
Related Software: GitHub; NetworkX; VGAER; NormalizedRicciFlow; ECOS; Holes; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Jakstab

Software Authors:   Johannes Kinder, Helmut Veith
Referenced in: 3 Publications (2011–2018)
Related Software: SLAM; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; FrankenBit; …
Main Fields: Computer science (68-XX)

ROSE

Software Authors:   Dan Quinlan
Referenced in: 4 Publications (2003–2010)
Related Software: SUIF; GAMS; AMPL; STLlint; Sage++; ParaWise; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

tensorflow

Software Authors:   Allaire, J., Eddelbuettel, D., Golding, N., Tang, Y.
Referenced in: 2 Publications (2021–2022)
Related Software: R; TensorFlow; strucchange; lfda; lattice; dlm; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

GraphStream

Software Authors:   Dutot, A.; Guinand, F.; Olivier, D.; Pigné, Y.
Referenced in: 2 Publications (2012–2021)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX)

Paje

Software Authors:   Chassin de Kergommeaux, J.; Stein, B.; Bernard, P.E.
Referenced in: 2 Publications (2000–2009)
Related Software: PARAVER; SIMGRID; Jumpshot; VAMPIR; KOJAK; NAS Parallel Benchmarks; …
Main Fields: Computer science (68-XX)

Camlflow

Software Authors:   Sérot, J
Referenced in: 2 Publications (2005–2010)
Related Software: GUM; Links; Hop; Eden; AoPA; SmallCheck; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Diablo

Software Authors:   Ghent University; Jonas Maebe; Bjorn De Sutter
Referenced in: 2 Publications (2016–2018)
Related Software: Inforence; PinPoint; HSFal; JavaPDG; Defects4J; Valgrind
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

FASAN

Software Authors:   Ebner, Ralf; Pfaffinger, Alexander
Referenced in: 2 Publications (1998–1999)
Related Software: Haskell
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

METANET

Software Authors:   Gomez, Claude; Goursat, Maurice
Referenced in: 2 Publications (1994–1996)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PFAST

Software Authors:   Irani, S.A.; Zhang, H.; Zhou, J.; Huang, H.; Udai, T.K.; Subramanian, S.
Referenced in: 2 Publications (2000–2005)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX)

Vandal

Software Authors:   Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, Bernhard Scholz
Referenced in: 2 Publications (2021)
Related Software: SmartCheck; GitHub; eThor
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Vipers

Software Authors:   Bernini, M., Mosconi, M.
Referenced in: 2 Publications (2000–2008)
Related Software: VisiQuest; Khoros; cantata; ITK; LabVIEW
Main Fields: Computer science (68-XX)

Algorithm 1002

Software Authors:   Kara, Gökçehan; Özturan, Can
Referenced in: 1 Publication (2019)
Related Software: KaHIP; DIMACS; CUDA
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Apposcopy

Software Authors:   Feng, Y., Anand, S., Dillig, I., Aiken, A.
Referenced in: 1 Publication (2015)
Related Software: Androguard; AppGuard; EviCheck; FlowDroid; TaintDroid
Main Fields: Computer science (68-XX)

BackFlow

Software Authors:   Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Referenced in: 1 Publication (2020)
Related Software: FlowDroid; Sails; Aletheia; MorphDroid; TAJ; Dytan; …
Main Fields: Computer science (68-XX)

Cadmos

Software Authors:   Popa, Vlad; Schwitzer, Wolfgang
Referenced in: 0 Publications
Related Software:
Main Fields:

CPPX

Software Authors:   University of Waterloo
Referenced in: 0 Publications
Related Software: PMLP
Main Fields:

fde.lsp

Software Authors:   Frederic Udina
Referenced in: 0 Publications
Related Software: LISP-STAT
Main Fields:

FedGL

Software Authors:   Chuan Chen, Weibo Hu, Ziyue Xu, Zibin Zheng
Referenced in: 0 Publications
Related Software: PySyft; PyVertical; Ditto; Hyperband; SCAFFOLD; FedML; …
Main Fields:

FLoWS

Software Authors:   Theobald D, Norman J, Peterson EE, Ferraz S, Wade A, Sherburne MR
Referenced in: 0 Publications
Related Software: R; GRASS GIS; ArcGIS Desktop; SSN; Arc Hydro; Python; …
Main Fields:

flows

Software Authors:   Giraud T, Beauguitte L, Guérois M
Referenced in: 1 Publication (2019)
Related Software: SGL; Stata
Main Fields: Statistical mechanics, structure of matter (82-XX); Operations research, mathematical programming (90-XX)

Gato

Software Authors:   Hochstättler, Winfried; Schliep, Alexander
Referenced in: 1 Publication (2010)
Related Software: CATBox
Main Fields: Operations research, mathematical programming (90-XX)

GraphAF

Software Authors:   Chence Shi, Minkai Xu, Zhaocheng Zhu, Weinan Zhang, Ming Zhang, Jian Tang
Referenced in: 0 Publications
Related Software: XGNN; GNNExplainer; MoleculeNet; InfoGraph; SchNetPack; TUDataset; …
Main Fields:

GraphCodeBERT

Software Authors:   Daya Guo, Shuo Ren, Shuai Lu, Zhangyin Feng, Duyu Tang, Shujie Liu, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin Clement, Dawn Drain, Neel Sundaresan, Jian Yin, Daxin Jiang, Ming Zhou
Referenced in: 0 Publications
Related Software: StaQC; CoCoSUM; Devign; MISIM; Bugram; GLUE; …
Main Fields:

GraphDF

Software Authors:   Youzhi Luo, Keqiang Yan, Shuiwang Ji
Referenced in: 0 Publications
Related Software: XGNN; GNNExplainer; MoleculeNet; InfoGraph; GraphAF; SchNetPack; …
Main Fields:

IncA

Software Authors:   Szabó, T., Erdweg, S., Voelter, M.
Referenced in: 1 Publication (2021)
Related Software: VeriMAP; Flix; RAHFT; Infer; Datalog; SeaHorn; …
Main Fields: Computer science (68-XX)

JavaPDG

Software Authors:   Shu G, Sun B, Henderson TA, Podgurski A
Referenced in: 1 Publication (2018)
Related Software: Inforence; PinPoint; Diablo; HSFal; Defects4J; Valgrind
Main Fields: Computer science (68-XX)

Judge

Software Authors:   M. Reif, F. Kübler, M. Eichberg, D. Helm, M. Mezini
Referenced in: 0 Publications
Related Software: ast; GATEKEEPER; Synode; WALA; Node.js; Soot; …
Main Fields:

MFMC_Countable

Software Authors:   Andreas Lochbihler
Referenced in: 1 Publication (2020)
Related Software: Game_Based_Crypto; Probabilistic_While; Archive Formal Proofs; CryptHOL; Zoo Probabilistic Systems; F*; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

MicroFract

Software Authors:   Veera Sundararaghavan; Siddhartha Srivastava
Referenced in: 0 Publications
Related Software: gco; Matlab
Main Fields:

NormalizedRicciFlow

Software Authors:   Lai, Xin; Bai, Shuliang; Lin, Yong
Referenced in: 1 Publication (2022)
Related Software: VGAER; GraphRicciCurvature; GitHub; ECOS
Main Fields: Statistical mechanics, structure of matter (82-XX)

ProGraML

Software Authors:   Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Hugh Leather
Referenced in: 0 Publications
Related Software: Adam; XLA; TensorFlow; LLVM; NeuroVectorizer; code2vec
Main Fields:

pyphant

Software Authors:   Zimmermann, K.; Quack, L.; Liehr, A. W.
Referenced in: 0 Publications
Related Software: ROOT; ANTLR
Main Fields:

SGL

Software Authors:   Miura H
Referenced in: 1 Publication (2019)
Related Software: flows; Stata
Main Fields: Statistical mechanics, structure of matter (82-XX); Operations research, mathematical programming (90-XX)

Slicing

Software Authors:   Daniel Wasserrab
Referenced in: 1 Publication (2008)
Related Software: Isabelle/Isar; Isabelle/HOL; Isabelle
Main Fields: Computer science (68-XX)

solgraph

Software Authors:   Raine Revere
Referenced in: 1 Publication (2021)
Related Software: EthVer; Manticore; Mythril; GitHub; WhyML; Why3; …
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

TFA

Software Authors:   Zhuo, Xilong; Zhang, Chenyi
Referenced in: 1 Publication (2020)
Related Software: SPECjvm2008; Featherweight Java; Soot
Main Fields: Computer science (68-XX)

mcl-edge

Software Authors:   Stijn van Dongen
Referenced in: 0 Publications
Related Software:
Main Fields:

Sharpchecker

Software Authors:   Koshelev, V. K.; Ignatiev, V. N.; Borzilov, A. I.; Belevantsev, A. A.
Referenced in: 0 Publications
Related Software:
Main Fields:

trad4

Software Authors:   schevans
Referenced in: 0 Publications
Related Software:
Main Fields: