×

Found 290 Software Packages (Results 1–100)

Adam

Software Authors:   Diederik P. Kingma, Jimmy Ba
Cited in: 945 Publications (2016–2022)
Related Software: TensorFlow; ImageNet; PyTorch; AlexNet; GitHub; DGM; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

SIFT

Software Authors:   David Lowe
Cited in: 369 Publications (2006–2022)
Related Software: SURF; PCA-SIFT; PASCAL VOC; LIBSVM; ImageNet; Vlfeat; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

NewtonLib

Software Authors:   Deuflhard, Peter; Lutz Weimann
Cited in: 314 Publications (2001–2023)
Related Software: Matlab; PETSc; RODAS; KELLEY; ALCON; Ipopt; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

SURF

Software Authors:   Bay, Herbert; Tuytelaars, Tinne; Van Gool, Luc
Cited in: 130 Publications (2008–2022)
Related Software: SIFT; PCA-SIFT; BRISK; ASIFT; FREAK; PASCAL VOC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SnapPea

Software Authors:   Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R.
Cited in: 164 Publications (1992–2022)
Related Software: Snap; SnapPy; Regina; Magma; GAP; Knotscape; …
Main Fields: Group theory and generalizations (20-XX); Functions of a complex variable (30-XX); Differential geometry (53-XX)

AutoGraphiX

Software Authors:   Gilles Caporossi
Cited in: 144 Publications (1999–2022)
Related Software: GRAFFITI; GRAPH; nauty; INGRID; HR; GraPHedron; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GAIO

Software Authors:   djs2 GmbH; Dellnitz, Michael; Froyland, Gary; Junge, Oliver
Cited in: 95 Publications (2001–2022)
Related Software: Matlab; AUTO; ARPACK; CAPD; VAMPnets; EnKF; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

SsfPack

Software Authors:   Koopman, Siem Jan; Shephard, Neil; Doornik, Jurgen A.
Cited in: 61 Publications (1999–2022)
Related Software: Ox; STAMP; R; astsa; Stata; SAS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

benchmodred

Software Authors:   Chahlaoui, Younes; Van Dooren, Paul
Cited in: 66 Publications (2003–2022)
Related Software: Loewner; LYAPACK; mctoolbox; Algorithm 432; AAA; RKToolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX)

LOCBIF

Software Authors:   Khibnik, Alexander I.; Kuznetsov, Yuri A.; Levitin, Victor V.; Nikolaev, Eugene V.
Cited in: 65 Publications (1992–2019)
Related Software: AUTO; DSTool; AUTO-86; HomCont; PITCON; MATCONT; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

COCO

Software Authors:   Dankowicz, Harry; Schilder, Frank
Cited in: 62 Publications (2012–2022)
Related Software: AUTO; MATCONT; AUTO-07P; TC-HAT; Matlab; HomCont; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

DISCOVERER

Software Authors:   Xia B
Cited in: 57 Publications (1999–2022)
Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

emcee

Software Authors:   Daniel Foreman-Mackey, David W. Hogg, Dustin Lang, Jonathan Goodman
Cited in: 37 Publications (2017–2022)
Related Software: Python; SciPy; Matplotlib; NumPy; corner.py; CAMB; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

House of Graphs

Software Authors:   Brinkmann, Gunnar; Coolsaet, Kris; Goedgebeur, Jan; Mélot, Hadrien
Cited in: 58 Publications (2012–2022)
Related Software: nauty; snarkhunter; Traces; plantri; GENREG; OEIS; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Cited in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Gudhi

Software Authors:   INRIA; Clement Maria; Jean-Daniel Boissonnat; Marc Glisse; Mariette Yvinec
Cited in: 40 Publications (2014–2022)
Related Software: PHAT; Dionysus; javaPlex; Ripser; TDA; Perseus; …
Main Fields: Algebraic topology (55-XX); Statistics (62-XX); Numerical analysis (65-XX)

CIRR

Software Authors:   Sakurai, Tetsuya; Tadano, Hiroto
Cited in: 40 Publications (2007–2021)
Related Software: FEAST; ARPACK; SparseMatrix; JDQZ; LAPACK; EVSL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-XX)

FSIM

Software Authors:   Zhang, L., Mou, X., Zhang, D.
Cited in: 38 Publications (2011–2022)
Related Software: TID2013; DnCNN; BM3D; PyTorch; MatConvNet; tproduct; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

EasyLocal++

Software Authors:   Di Gaspero, L., Schaerf, A
Cited in: 32 Publications (2001–2022)
Related Software: Localizer; COMET; Tabu search; CPLEX; ParaDisEO; DIMACS; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ASIFT

Software Authors:   Jean-Michel Morel, Guoshen Yu
Cited in: 33 Publications (2009–2022)
Related Software: SIFT; SURF; PCA-SIFT; BRISK; FREAK; Vlfeat; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

PicToSeek

Software Authors:   Gevers T, Smeulders A
Cited in: 26 Publications (2001–2010)
Related Software: VisualSEEk; NeTra; PicHunter; Chabot; SIMPLIcity; QBIC; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

GELDA

Software Authors:   Peter Kunkel, Volker Mehrmann, Werner Rath and Jörg Weickert
Cited in: 33 Publications (1996–2018)
Related Software: GENDA; RODAS; Modelica; DASSL; NewtonLib; MBSPACK; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Torcont

Software Authors:   F. Schilder
Cited in: 31 Publications (2005–2022)
Related Software: AUTO; HomCont; MATCONT; DDE-BIFTOOL; CL_MATCONT; CONTENT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

FracSym

Software Authors:   Jefferson, G.F.; Carminati, J.
Cited in: 30 Publications (2014–2021)
Related Software: DESOLVII; Maple; ASP; Matlab; SYMMGRP; Python; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Snap

Software Authors:   Oliver Goodman
Cited in: 30 Publications (1999–2019)
Related Software: SnapPea; SnapPy; Magma; GAP; Orb; PARI/GP; …
Main Fields: \(K\)-theory (19-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX)

SRRIT

Software Authors:   Bai, Z.; Stewart, G.W.
Cited in: 28 Publications (1980–2011)
Related Software: ARPACK; eigs; JDQZ; JDQR; LAPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

BinaryConnect

Software Authors:   Matthieu Courbariaux, Yoshua Bengio, Jean-Pierre David
Cited in: 24 Publications (2017–2021)
Related Software: ImageNet; XNOR-Net; AlexNet; BinaryNet; Adam; CIFAR; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

two loop amplitudes

Software Authors:   Bourjaily, Jacob L.; Trnka, Jaroslav
Cited in: 25 Publications (2015–2021)
Related Software: positroids; BlackHat; CutTools; SageMath; SAMURAI; HyperInt; …
Main Fields: Combinatorics (05-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX)

ICS

Software Authors:   Klaus Nordhausen, Hannu Oja, David E. Tyler
Cited in: 16 Publications (2009–2022)
Related Software: R; ICSNP; robustbase; REPPlab; JADE; BSSasymp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BIGEBRA

Software Authors:   Abłamowicz, Rafał; Fauser, Bertfried
Cited in: 21 Publications (1994–2022)
Related Software: CLIFFORD; Maple; CLICAL; Cliplus; Clifford Multivector Toolbox; Garamon; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)

SADE

Software Authors:   Rocha Filho, Tarcísio M.; Figueiredo, Annibal; Naz, Rehana; Khan, Mohammad Danish; Naeem, Imran
Cited in: 21 Publications (2011–2021)
Related Software: GeM; LieAlgebrasOfVectorFields; DESOLVII; Maple; LIE; PDEtools; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

ObservabilityTest

Software Authors:   Sedoglavic, Alexandre
Cited in: 20 Publications (2001–2020)
Related Software: DAISY; Maple; GenSSI; SIAN; COMBOS; BLAD; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

BRISK

Software Authors:   Stefan Leutenegger, Margarita Chli, Roland Siegwart
Cited in: 17 Publications (2013–2022)
Related Software: SURF; SIFT; FREAK; PCA-SIFT; ASIFT; KAZE Features; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SMCSolver

Software Authors:   D. A. Bini, B. Meini, S. Steffe, B. Van Houdt
Cited in: 18 Publications (2008–2021)
Related Software: Q-MAM; na12; MCQueue; Cilk; KAAPI; YALMIP; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

Openpipeflow

Software Authors:   Ashley P.Willis
Cited in: 15 Publications (2017–2022)
Related Software: channelflow; OpenMPI; FFTW; nsCouette
Main Fields: Dynamical systems and ergodic theory (37-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

Polygraph

Software Authors:   Newsome, J., Karp, B., Song, D.
Cited in: 4 Publications (2010–2018)
Related Software: Autograph; Hamsa; Snort; KEA; Panorama; FIRMA; …
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)

Algorithm 854

Software Authors:   Peter Benner; Daniel Kressner
Cited in: 16 Publications (2000–2018)
Related Software: mctoolbox; Matlab; Algorithm 800; LAPACK; CAREX; JDQZ; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

FunArray

Software Authors:   Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco
Cited in: 16 Publications (2011–2021)
Related Software: ASTREE; z3; Booster; Apron; Mcmt; Princess; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

InvGen

Software Authors:   Ashutosh Gupta; Andrey Rybalchenko
Cited in: 14 Publications (2010–2021)
Related Software: z3; PPL; VAMPIRE; ASTREE; LLVM; BLAST; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

qpDUNES

Software Authors:   Janick Frasch; Hans Joachim Ferreau; Moritz Diehl; Milan Vukov
Cited in: 16 Publications (2015–2022)
Related Software: qpOASES; ACADO; CVXGEN; Ipopt; LiftOpt; VIATOC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Split Step Explorer

Software Authors:   C. Cedzich, F. A. Grünbaum, C. Stahl, L. Velázquez, A. H. Werner, R. F. Werner
Cited in: 16 Publications (2016–2022)
Related Software: Mathematica
Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Probability theory and stochastic processes (60-XX)

GENDA

Software Authors:   Peter Kunkel, Volker Mehrmann, Ingo Seufer
Cited in: 15 Publications (2004–2019)
Related Software: GELDA; Matlab; NewtonLib; DASSL; RODAS; GPOPS; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

AIFS

Software Authors:   Koci\'c, Ljubi\v{s}a M.
Cited in: 14 Publications (2001–2011)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX)

OPTCON

Software Authors:   Matulka, Josef; Neck, Reinhard
Cited in: 14 Publications (1992–2014)
Related Software: GAUSS; Optgame
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FREAK

Software Authors:   A. Alahi, R. Ortiz, P. Vandergheynst
Cited in: 12 Publications (2013–2021)
Related Software: SIFT; BRISK; SURF; PCA-SIFT; ASIFT; SIFER; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Poincare_Series

Software Authors:   Bedratyuk, L.P.
Cited in: 12 Publications (2010–2022)
Related Software: Macaulay2; Maple; noether.lib; Normaliz; SL_2_Inv_Ker; Mathematica; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

SYMBA

Software Authors:   Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
Cited in: 13 Publications (2014–2021)
Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

ODEtools

Software Authors:   Cheb-Terrab, E.S.; Duarte, L.G.S.; Da Mota, L.A.C.P.
Cited in: 12 Publications (1997–2021)
Related Software: Maple; PDEtools; deal.ii; RKC; MuPAD; Lsolver; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

C2e2

Software Authors:   P. Duggirala, S. Mitra, M. Viswanathan, M. Potok
Cited in: 11 Publications (2016–2021)
Related Software: SpaceEx; Flow*; Breach; S-TaLiRo; CORA; HYST; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Aligator

Software Authors:   Kovács, Laura
Cited in: 10 Publications (2008–2018)
Related Software: Mathematica; fastZeil; hyper; Dependencies; z3; TPTP; …
Main Fields: Combinatorics (05-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

FRONTIER

Software Authors:   Coelli TJ
Cited in: 9 Publications (2005–2014)
Related Software: LIMDEP; frontier; R; QUADPACK; gnuplot; gretl; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Lattice Builder

Software Authors:   L’Ecuyer, P., Munger, D.
Cited in: 10 Publications (2015–2022)
Related Software: SSJ; sobol.cc; Algorithm 955; ContactCenters; KernSmooth; MRG32k3a; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

MatContM

Software Authors:   Kuznetsov, Yuri A.; Meijer, Hil G. E.
Cited in: 10 Publications (2018–2022)
Related Software: Matlab; MatcotM; MATCONT
Main Fields: Dynamical systems and ergodic theory (37-XX); Difference and functional equations (39-XX); Numerical analysis (65-XX)

UnQL

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu
Cited 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)

CANDYS/QA

Software Authors:   Feudel, Ulrike; Jansen, Wolfgang
Cited in: 9 Publications (1992–2005)
Related Software: HomCont; Matlab; MATCONT; CONTENT; Dynamics; DSTool; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Mod-p group cohomology

Software Authors:   Simon King, David Green
Cited in: 9 Publications (2010–2022)
Related Software: GAP; SageMath; SINGULAR; ModIsomExt; SmallGrp; UnitLib; …
Main Fields: General and overarching topics; collections (00-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)

SchNet

Software Authors:   Schütt, K.; Kindermans, P-J; Felix, H. E S.; Chmiela, S.; Tkatchenko, A.; Müller, K-R
Cited in: 8 Publications (2019–2022)
Related Software: Adam; SchNetPack; DiffSharp; JAX; GitHub; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SYMMAN

Software Authors:   Vorob'ev, E. M.
Cited in: 9 Publications (1996–2018)
Related Software: diffgrob2; SYMMGRP; Mathematica; SADE; GeM
Main Fields: General and overarching topics; collections (00-XX); Topological groups, Lie groups (22-XX); Partial differential equations (35-XX)

ABC

Software Authors:   Blanc, Régis; Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura
Cited in: 6 Publications (2010–2021)
Related Software: SPEED; Aspic; FLATA; KITTeL; AProVE; LLVM; …
Main Fields: Computer science (68-XX)

dse

Software Authors:   Paul Gilbert
Cited in: 3 Publications (2008–2022)
Related Software: R; KFAS; dlm; forecast; FKF; Stem; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FourTiTwo

Software Authors:   Hillar, Christopher J.; Del Campo, Abraham Martín
Cited in: 8 Publications (2013–2020)
Related Software: symmChainGens; 4ti2; PieriMaps; Letterplace; LDA; Janet; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Goblint

Software Authors:   Vojdani, V.; Vene, V.
Cited in: 8 Publications (2009–2021)
Related Software: LOCKSMITH; RELAY; ASTREE; DDVerify; RacerX; Ciao; …
Main Fields: Computer science (68-XX)

GrassmannOptim

Software Authors:   Kofi Placid Adragni; Seongho Wu
Cited in: 5 Publications (2017–2022)
Related Software: R; Matlab; sg_min; Manopt; ROPTLIB; ManifoldOptim; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

HMC

Software Authors:   Jhala, R., Majumdar, R., Rybalchenko, A.
Cited in: 7 Publications (2014–2021)
Related Software: z3; Spacer; SeaHorn; Princess; Boogie; JayHorn; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NSIKE

Software Authors:   Medic, G., Mohammadi, B.
Cited in: 8 Publications (2002–2018)
Related Software: FEATFLOW; SLICOT; Matlab; Triangle; ANSYS-CFX; OpenFOAM; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ProjectionCAD

Software Authors:   England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H.
Cited in: 8 Publications (2014–2020)
Related Software: RegularChains; QEPCAD; MetiTarski; Maple; BranchCuts; Theoryguru; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

symmChainGens

Software Authors:   Hillar, Christopher J.; Del Campo, Abraham Martín
Cited in: 8 Publications (2013–2020)
Related Software: FourTiTwo; 4ti2; PieriMaps; Letterplace; LDA; Janet; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

DEFT

Software Authors:   Ben Gripaios, Dave Sutherland
Cited in: 4 Publications (2019–2021)
Related Software: MatchingTools; CoDEx; STrEAM; Wilson; DsixTools; Mathematica; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

dnner

Software Authors:   Marylou Gabrié, Andre Manoel, Clément Luneau, Jean Barbier, Nicolas Macris, Florent Krzakala, Lenka Zdeborová
Cited in: 7 Publications (2019–2021)
Related Software: lsd; TheCommitteeMachine; AlexNet; GNMT; ImageNet; Adam; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

EFTofPNG

Software Authors:   Michele Levi, Jan Steinhoff
Cited in: 6 Publications (2019–2021)
Related Software: xAct; xTensor; LORENE; Axodraw; JaxoDraw; TikZ-Feynman
Main Fields: Topological groups, Lie groups (22-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

EinSum

Software Authors:   Åhlander, K.
Cited in: 6 Publications (2002–2018)
Related Software: POOMA; SPHINX; CuPy; Jmol; Psi4NumPy; NumPy; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Gplag

Software Authors:   Liu, C.; Chen, C.; Han, J.; Yu, P. S.
Cited in: 4 Publications (2009–2018)
Related Software: CCFinder; TALE; Pregel; MapReduce; Winnowing; CP-miner; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

INVAR

Software Authors:   G.Kemper
Cited in: 7 Publications (1996–2008)
Related Software: Macaulay2; GAP; Groebner; Maple; SINGULAR; Magma; …
Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX)

MPL

Software Authors:   Bogner, Christian
Cited in: 7 Publications (2016–2021)
Related Software: HyperInt; FORM; SumProduction; Forcer; Maple; HarmonicSums; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX)

PKind

Software Authors:   Kahsai T, Tinelli C
Cited in: 7 Publications (2013–2020)
Related Software: GitHub; SeaHorn; CPAchecker; CTIGAR; Esterel; StateFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

signature-invariants

Software Authors:   Diehl, Joscha; Reizenstein, Jeremy
Cited in: 7 Publications (2019–2022)
Related Software: SageMath; polymake; Normaliz; GitHub; Tensorlab; Manopt; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX)

Sycraft

Software Authors:   B. Bonakdarpour, S. Kulkarni
Cited in: 6 Publications (2009–2015)
Related Software: CUDD; Vertaf; MR4UM; Uppaal; SPIN; NuSMV; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

AVIO

Software Authors:   Lu S, Tucek J, Qin F, Zhou Y
Cited in: 5 Publications (2009–2018)
Related Software: Eraser; FastTrack; jPredictor; CHESS; Velodrome; Atomizer; …
Main Fields: Computer science (68-XX)

c2i

Software Authors:   Sharma, Rahul; Aiken, Alex
Cited in: 5 Publications (2016–2020)
Related Software: z3; Houdini; Spacer; Eldarica; Princess; FLATA; …
Main Fields: Computer science (68-XX)

Catfact

Software Authors:   R. G. Cowell; F. J. Wright
Cited in: 6 Publications (1989–2005)
Related Software: SINGULAR; Macaulay2; Transversal; Maple; moregroebner; symmetry; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Global analysis, analysis on manifolds (58-XX)

ckn_kernel

Software Authors:   Bietti, Alberto; Mairal, Julien
Cited in: 6 Publications (2019–2022)
Related Software: Adam; MNIST; DeepONet; PDE-Net; DeepXDE; PyTorch; …
Main Fields: Functional analysis (46-XX); Statistics (62-XX); Numerical analysis (65-XX)

DirectDM

Software Authors:   F. Bishara, J. Brod, B. Grinstein, J. Zupan
Cited in: 3 Publications (2018–2020)
Related Software: FeynRules; MatchingTools; Wilson; SMEFTsim; DsixTools; Mathematica; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)

DSJM

Software Authors:   Hasan, M., Hossain, S., Steihaug, T.
Cited in: 6 Publications (2013–2018)
Related Software: ColPack; ADOL-C; Harwell-Boeing sparse matrix collection; CsegGraph; SparseMatrix; AMPL; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

FoamHo

Software Authors:   Lewark, Lukas
Cited in: 6 Publications (2013–2020)
Related Software: Knotscape; khoca; knotkit; Khoho
Main Fields: Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX)

Kind 2

Software Authors:   Cesare Tinelli, Adrien Champion
Cited in: 5 Publications (2016–2021)
Related Software: z3; nuXmv; SPIN; MathSAT5; NuSMV; ABC; …
Main Fields: Computer science (68-XX)

mtclust

Software Authors:   Dotto, Francesco; Farcomeni, Alessio
Cited in: 6 Publications (2019–2022)
Related Software: TCLUST; R; ContaminatedMixt; otrimle; mclust; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Optgame

Software Authors:   Hager, Manfred; Neck, Reinhard; Behrens, Doris A.
Cited in: 6 Publications (2001–2014)
Related Software: Matlab; OPTCON; GAUSS
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PnPMPC

Software Authors:   Riverso, S., Battocchio, A., amp; Ferrari-Trecate, G.
Cited in: 6 Publications (2014–2022)
Related Software: ALADIN; VIATOC; DISROPT; GRAMPC; pybind11; acados; …
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

SIFER

Software Authors:   Mainali, Pradip; Lafruit, Gauthier; Yang, Qiong; Geelen, Bert; Van Gool, Luc; Lauwereins, Rudy
Cited in: 6 Publications (2013–2021)
Related Software: SURF; SIFT; BRISK; PCA-SIFT; KAZE Features; FREAK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

VeriFlow

Software Authors:   A. Khurshid, X. Zou, W. Zhou, M. Caesar, P. B. Godfrey
Cited in: 6 Publications (2016–2021)
Related Software: NetKAT; Anteater; VeriCon; CESAR; Frenetic; Kuai; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Vessiot

Software Authors:   Anderson, I.M.
Cited in: 6 Publications (2001–2011)
Related Software: DifferentialGeometry; Mathematica; Maple; GeM; Rif; InvariantsSymmetries; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Bellerophon

Software Authors:   Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André
Cited in: 5 Publications (2017–2022)
Related Software: KeYmaera X; KeYmaera; SpaceEx; Isabelle/HOL; ModelPlex; dReach; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

colcor

Software Authors:   Muralidharan, Omkar
Cited in: 5 Publications (2010–2018)
Related Software: glasso; Knorm; spcov; Flury; boost; ScreenClean; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

CyCADA

Software Authors:   Judy Hoffman, Eric Tzeng, Taesung Park, Jun-Yan Zhu, Phillip Isola, Kate Saenko, Alexei A. Efros, Trevor Darrell
Cited in: 4 Publications (2020–2021)
Related Software: CycleGAN; AlexNet; ImageNet; pix2pix; Adam; CIFAR; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Hamsa

Software Authors:   Li, Z., Sanghi, M., Chen, Y., Kao, M.Y., Chavez, B.
Cited in: 2 Publications (2010–2018)
Related Software: Polygraph; Autograph; Snort; KEA; Panorama; FIRMA; …
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)

HyComp

Software Authors:   A. Cimatti, A. Griggio, S. Mover, S. Tonetta
Cited in: 5 Publications (2017–2022)
Related Software: nuXmv; CTIGAR; z3; NuSMV; MathSAT5; Uppaal; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

ICSOutlier

Software Authors:   Aurore Archimbaud, Klaus Nordhausen, Anne Ruiz-Gazen
Cited in: 5 Publications (2018–2022)
Related Software: ICS; R; REPPlab; robustbase; robustX; CerioliOutlierDetection; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Information and communication theory, circuits (94-XX)

Invariant Set Toolbox

Software Authors:   Eric Kerrigan
Cited in: 5 Publications (2006–2018)
Related Software: MPT; YALMIP; SeDuMi Interface; SDPT3; SeDuMi; CPLEX; …
Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

irid_fod

Software Authors:   Chen, Y.Q.
Cited in: 5 Publications (2009–2017)
Related Software: Matlab; sysdfod; FSST; ma2dfc; DFOC; fourier; …
Main Fields: Ordinary differential equations (34-XX); Systems theory; control (93-XX)

kProbLog

Software Authors:   Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc
Cited in: 5 Publications (2016–2021)
Related Software: ProbLog; Dyna; BLOG; PRISM; kFOIL; FPsolve; …
Main Fields: Computer science (68-XX)