×

Found 249 Software Packages (Results 1–100)

SnapPea

Software Authors:   Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R.
Cited in: 165 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)

SYMMGRP

Software Authors:   Hereman, Willy; B. Champagne; P. Winternitz
Cited in: 120 Publications (1993–2022)
Related Software: Maple; SYMMGRP.MAX; LIE; diffgrob2; DIMSYM; Mathematica; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

LiteRed

Software Authors:   R. Lee
Cited in: 103 Publications (2013–2023)
Related Software: FIRE; Reduze; FIRE5; FORM; Kira; FIESTA; …
Main Fields: Number theory (11-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX)

GeM

Software Authors:   Alexei F. Cheviakov
Cited in: 101 Publications (1990–2022)
Related Software: Maple; CRACK; LIEPDE; ConLaw; SYMMGRP; SADE; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of deformable solids (74-XX)

Gecode

Software Authors:   Christian Schulte, KTH Royal Institute of Technology
Cited in: 81 Publications (2007–2023)
Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SOFTSUSY

Software Authors:   B.C. Allanach
Cited in: 78 Publications (2001–2022)
Related Software: Spheno; SuSpect; micrOMEGAs; NMHDECAY; MicrOMEGAs 2.0; FeynHiggs; …
Main Fields: Statistics (62-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

DIMSYM

Software Authors:   James Sherring; Geoff Prince; Michael Jerie
Cited in: 74 Publications (1993–2021)
Related Software: LIE; REDUCE; SYMMGRP; SPDE; CRACK; LIEPDE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

micrOMEGAs

Software Authors:   Geneviève Bélanger, Fawzi Boudjema, Alexander Pukhov and Andrei Semenov
Cited in: 69 Publications (2002–2022)
Related Software: MicrOMEGAs 2.0; CalcHEP; SOFTSUSY; Spheno; DarkSUSY; NMHDECAY; …
Main Fields: Partial differential equations (35-XX); Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX)

SYMMGRP.MAX

Software Authors:   Champagne, B.; Hereman, W.; Winternitz, P.
Cited in: 72 Publications (1991–2019)
Related Software: SYMMGRP; diffgrob2; LIE; Maple; SPDE; CRACK; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

TRLan

Software Authors:   Kesheng Wu; Horst Simon
Cited in: 70 Publications (1999–2022)
Related Software: IRAM; JDQZ; ARPACK; JDQR; eigs; a-TRLan; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

SYM

Software Authors:   S. Dimas; D. Tsoubelis
Cited in: 69 Publications (2008–2022)
Related Software: LIE; Mathematica; SYMMGRP; REDUCE; GeM; SYMMGRP.MAX; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

TOPCOM

Software Authors:   Rambau, Jörg
Cited in: 69 Publications (2000–2023)
Related Software: polymake; PALP; Gfan; SageMath; Macaulay2; cdd; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

Symmetry in Chaos

Software Authors:   roever
Cited in: 40 Publications (1992–2023)
Related Software: K2; J; Geomview; Algorithm 786; KELLEY; moregroebner; …
Main Fields: General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Cited in: 33 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SPDE

Software Authors:   Fritz Schwarz
Cited in: 39 Publications (1985–2017)
Related Software: REDUCE; SYMMGRP.MAX; LIE; LIE0; SYMMGRP; DIMSYM; …
Main Fields: Topological groups, Lie groups (22-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

xTensor

Software Authors:   José M. Martín-García
Cited in: 33 Publications (2007–2022)
Related Software: Invar; xPert; xPerm; xTras; xAct; Mathematica; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX)

ordinal

Software Authors:   Rune Haubo Bojesen Christensen
Cited in: 23 Publications (2013–2022)
Related Software: R; VGAM; lme4; Mlogit; rms; nnet; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LIEPDE

Software Authors:   Thomas Wolf
Cited in: 32 Publications (1993–2019)
Related Software: CRACK; SYMMGRP; ApplySym; GeM; ConLaw; LIE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

TENSOR

Software Authors:   G.Maenchen, S.Sack
Cited in: 32 Publications (1971–2021)
Related Software: DYNA2D; LS-DYNA; DYNA3D; Nike2D; Hondo; CAVEAT; …
Main Fields: Difference and functional equations (39-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Cited in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PDDE-CONT

Software Authors:   Roose, Dirk; Szalai, Robert
Cited in: 31 Publications (1997–2022)
Related Software: DDE-BIFTOOL; Knut; dde23; pchip; UNCMND; ARPACK; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

DifferentialGeometry

Software Authors:   Anderson, I.M.; Torre, C.G.
Cited in: 30 Publications (2001–2022)
Related Software: Maple; GeM; LieAlgebrasOfVectorFields; SADE; Rif; Vessiot; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-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: Topological groups, Lie groups (22-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

Kodkod

Software Authors:   Torlak, Emina; Jackson, Daniel
Cited in: 21 Publications (2007–2022)
Related Software: Isabelle/HOL; Nitpick; z3; Mace4; Coq; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FINGER

Software Authors:   Wang, Paul S.
Cited in: 26 Publications (1986–2021)
Related Software: Mathematica; REDUCE; MACSYMA; GENTRAN; ELLPACK; SMS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

SuSpect

Software Authors:   Djouadi, Abdelhak; Kneur, Jean-Loïc; Moultaka, Gilbert
Cited in: 22 Publications (2006–2018)
Related Software: SOFTSUSY; Spheno; micrOMEGAs; FeynHiggs; ISAJet; MicrOMEGAs 2.0; …
Main Fields: General and overarching topics; collections (00-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-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)

Split Step Explorer

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

Superiso

Software Authors:   F. Mahmoudi
Cited in: 17 Publications (2008–2021)
Related Software: SuperIso Relic; SOFTSUSY; FeynRules; micrOMEGAs; PYTHIA8; FormCalc; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

SymmSpin

Software Authors:   Bošnački, Dragan Author Profile; Dams, Dennis; Holenderski, Leszek
Cited in: 15 Publications (2000–2010)
Related Software: SPIN; TopSpin; Bogor; Uppaal; dSPIN; Bandera; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

VAC

Software Authors:   –
Cited in: 21 Publications (1997–2022)
Related Software: LASY; ZEUS; IRMHD; ALEGRA; HLLE; Aztec; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

OPECgen

Software Authors:   Jiang, Houyuan; Ralph, Daniel
Cited in: 20 Publications (1999–2019)
Related Software: MacMPEC; SDPT3; Matlab; SeDuMi; OR-Library; AMPL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

ShapeNet

Software Authors:   Angel X. Chang, Thomas Funkhouser, Leonidas Guibas, Pat Hanrahan, Qixing Huang, Zimo Li, Silvio Savarese, Manolis Savva, Shuran Song, Hao Su, Jianxiong Xiao, Li Yi, Fisher Yu
Cited in: 13 Publications (2018–2022)
Related Software: PointNet; 3D-R2N2; Pixel2Mesh; Adam; MeshLab; ImageNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Algorithm 854

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

Riegeom

Software Authors:   R. Portugal
Cited in: 15 Publications (1994–2021)
Related Software: ATENSOR; MathTensor; Invar; xTensor; Maple; xAct; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

struc2vec

Software Authors:   Leonardo F. R. Ribeiro, Pedro H. P. Savarese, Daniel R. Figueiredo
Cited in: 14 Publications (2020–2021)
Related Software: DeepWalk; node2vec; LINE; word2vec; GraRep; PyTorch; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-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)

GAPS

Software Authors:   Bandyopadhyay, Sanghamitra; Saha, Sriparna
Cited in: 9 Publications (2007–2018)
Related Software: UCI-ml; ANN; clusfind; Silhouettes; GAKREM; MOCK; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Sturmian

Software Authors:   Avery, James; Avery, John
Cited in: 14 Publications (2000–2018)
Related Software: cross2D; molsturm; CRYSCOR; SIMPL; reszeta.lib; PDEtools; …
Main Fields: General and overarching topics; collections (00-XX); Special functions (33-XX); Ordinary differential equations (34-XX)

Bilbao Crystallography Server

Software Authors:   Aroyo, Mois I.; Kirov, Asen; Capillas, Cesar; Perez-Mato, J.M.; Wondratschek, Hans
Cited in: 12 Publications (2004–2022)
Related Software: ISOTROPY; OEIS; VASP; ABINIT; Quantum Espresso; WIEN2k; …
Main Fields: Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX)

ellipticcovers.lib

Software Authors:   Janko Böhm, Kathrin Bringmann, Arne Buchholz, Hannah Markwig
Cited in: 12 Publications (2015–2022)
Related Software: SINGULAR; GAP
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Functions of a complex variable (30-XX)

EMan

Software Authors:   Steven J. Ludtke; Philip R. Baldwin; Wah Chiu
Cited in: 11 Publications (2006–2022)
Related Software: RELION; FREALIGN; cryoSPARC; Chimera; DLMF; XMIPP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TopSpin

Software Authors:   Alastair Donaldson; Alice Miller
Cited in: 11 Publications (2007–2022)
Related Software: SPIN; SymmSpin; GAP; Uppaal; nauty; Spin-to-Grape; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

ATENSOR

Software Authors:   V.A. Ilyin, A.P. Kryukov
Cited in: 12 Publications (1996–2021)
Related Software: MathTensor; Riegeom; Invar; REDUCE; xTensor; GRTensorII; …
Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX)

DCUTRI

Software Authors:   Berntsen, Jarle; Espelid, Terje O.
Cited in: 12 Publications (1992–2016)
Related Software: adsimp; Algorithm 720; TRIEX; DCUHRE; IFPACK; STREAM benchmark; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-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)

FlexibleSUSY

Software Authors:   P. Athron, J.-H. Park, D. Stöckinger, A. Voigt
Cited in: 9 Publications (2015–2022)
Related Software: SARAH; Spheno; SOFTSUSY; SuSpect; micrOMEGAs; HiggsSignals; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

MathLie

Software Authors:   Baumann, Gerd
Cited in: 10 Publications (1997–2004)
Related Software: Mathematica; SYMMGRP; LIE; BIGLIE; CRACK; DIMSYM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)

Rebeca

Software Authors:   Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
Cited in: 8 Publications (2010–2022)
Related Software: Uppaal; Creol; Timed Rebeca; SPIN; Viptos; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CRACKSTAR

Software Authors:   Pohle, H.J.; Wolf, T.
Cited in: 9 Publications (1989–2001)
Related Software: SPDE; Maple; MACSYMA; DIMSYM; SYMMGRP; REDUCE; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

DOST

Software Authors:   Wang, Yanwei; Orchard, Jeff
Cited in: 9 Publications (2009–2021)
Related Software:
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Functional analysis (46-XX); Operator theory (47-XX)

GniCodes

Software Authors:   Hairer, Ernst; Hairer, Martin
Cited in: 9 Publications (2003–2022)
Related Software: Matlab; DASSL; DASPK 3.0; RODAS; RODES
Main Fields: Dynamical systems and ergodic theory (37-XX); Difference and functional equations (39-XX); Numerical analysis (65-XX)

Kaleido

Software Authors:   Zvi Har'El; Roman Maeder
Cited in: 8 Publications (1993–2016)
Related Software: Mathematica; Tiamat
Main Fields: History and biography (01-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

lawstat

Software Authors:   Joseph L. Gastwirth; Yulia R. Gel; W. L. Wallace Hui; Weiwen Miao; Kimihiro Noguchi
Cited in: 7 Publications (2010–2023)
Related Software: R; mvtnorm; PoweR; QUADPACK; Rassoc; fBasics; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

navierstokes

Software Authors:   van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert
Cited in: 9 Publications (2019–2022)
Related Software: INTLAB; RODES; Ada95; Matlab; Bilbao Crystallography Server; FEniCS; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

rotasym

Software Authors:   Eduardo García-Portugués, Davy Paindaveine, Thomas Verdebout
Cited in: 9 Publications (2019–2022)
Related Software: R; CircStats; circular; rrcov; MNM; robustbase; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Astronomy and astrophysics (85-XX)

Shatter

Software Authors:   Aloul, F.A., Markov, I.L., Sakallah, K.A.
Cited in: 9 Publications (2009–2022)
Related Software: MiniSat; nauty; sharpSAT; bliss; SymChaff; Velev SAT Benchmarks; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-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)

bimEX

Software Authors:   Francesco Torsello
Cited in: 7 Publications (2019–2021)
Related Software: xAct; Mathematica; mftoolbox; SENR/NRPy+; Einstein Toolkit
Main Fields: Special functions (33-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX)

Completeness theorem

Software Authors:   James Margetson; Tom Ridge
Cited in: 8 Publications (2014–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; FOL Fitting; HOL; Sledgehammer; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FLEUR

Software Authors:   Forschungszentrum Jülich
Cited in: 8 Publications (2012–2020)
Related Software: WIEN2k; LAPACK; exciting; Elk; ScaLAPACK; Questaal; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

Saucy

Software Authors:   Paul T. Darga; Hadi Katebi; Mark Liffiton; Igor L. Markov; Karem Sakallah
Cited in: 8 Publications (2014–2019)
Related Software: bliss; nauty; MiniSat; conauto; Easychair; Traces; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

SymChaff

Software Authors:   Sabharwal, Ashish
Cited in: 8 Publications (2007–2022)
Related Software: MiniSat; bliss; Chaff; Traces; nauty; CDCLSym; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

CONSLAW

Software Authors:   Yao, Ruo-Xia; Li, Zhi-Bin
Cited in: 7 Publications (2004–2016)
Related Software: Maple; CONDENS; GeM; WKPtest; PSEUDO; CLawDDEs; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

CRASH

Software Authors:   B. van der Holst, G. Tóth, I. V. Sokolov, K. G. Powell, J. P. Holloway, E. S. Myra, Q. Stout, M. L. Adams, J. E. Morel, S. Karni
Cited in: 6 Publications (2014–2021)
Related Software: RAMSES; Pluto; NIRVANA; AMRCLAW; FLASH; AstroBEAR; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

3dprintmath

Software Authors:   Segerman, Henry
Cited in: 6 Publications (2016–2021)
Related Software: JavaView; GeoGebra
Main Fields: General and overarching topics; collections (00-XX); Group theory and generalizations (20-XX); Measure and integration (28-XX)

eHDECAY

Software Authors:   R. Contino, M. Ghezzi, C. Grojean, M.M. Muhlleitner, M. Spira
Cited in: 6 Publications (2013–2021)
Related Software: SMEFTsim; HDECAY; SusHi; HEPfit; BAT; TOPAZ0; …
Main Fields: 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)

LIE

Software Authors:   Eliseev, V.P.; Fedorova, R.N.; Kornyak, V.V.
Cited in: 7 Publications (1985–2000)
Related Software: SPDE; LIE0; REDUCE; MACSYMA; SYMMGRP.MAX; CRACKSTAR; …
Main Fields: Topological groups, Lie groups (22-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

Matlab-RBF-Toolbox

Software Authors:   Sarra, S.A.
Cited in: 6 Publications (2017–2020)
Related Software: Matlab; rbf_qr; RBFT; GaussQR; advanpix; FELICITY; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Global analysis, analysis on manifolds (58-XX)

PANDA

Software Authors:   Stefan Lörwald, Gerhard Reinelt
Cited in: 7 Publications (2015–2022)
Related Software: PORTA; MOCHA; JBool; Gurobi; Mjollnir; cfme; …
Main Fields: Real functions (26-XX); Convex and discrete geometry (52-XX); Quantum theory (81-XX)

pAQFT

Software Authors:   Rejzner, Katarzyna
Cited in: 7 Publications (2015–2020)
Related Software: DLMF
Main Fields: Functional analysis (46-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX)

Polyhedral

Software Authors:   M. Dutour Sikirić
Cited in: 7 Publications (2009–2020)
Related Software: GAP; polymake; PORTA; Python; simpcomp; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Geometry (51-XX)

respol

Software Authors:   I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda
Cited in: 7 Publications (2013–2019)
Related Software: TOPCOM; Maple; triangulation; iB4e; simpl.mpl; implicitize; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Approximations and expansions (41-XX)

SCWRL4

Software Authors:   G. G. Krivov, M. V. Shapovalov, R. L. Dunbrack, Jr.
Cited in: 6 Publications (2010–2016)
Related Software: CHARMM; I-TASSER; iDNA-Methyl; 3DIGARS; iNitro-Tyr; iCTX-Type; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TACO

Software Authors:   Juan P. Galeotti; Nicolas Rosner; Carlos G. Lopez Pombo; Marcelo F. Frias
Cited in: 4 Publications (2013–2021)
Related Software: Java PathFinder; TestEra; Korat; GitHub; Kodkod; DynAlloy; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

gitfan.lib

Software Authors:   Böhm, J., Keicher, S., Ren, Y.
Cited in: 5 Publications (2016–2020)
Related Software: SINGULAR; Macaulay2; resolve.lib; homalg; parallel.lib; polymake.so; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX)

GLie

Software Authors:   M.A. Ayari, V. Hussin
Cited in: 6 Publications (1992–2006)
Related Software: SYMMGRP.MAX; Maple
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)

Spin-to-Grape

Software Authors:   Donaldson, Alastair; Miller, Alice; Calder, Muffy
Cited in: 6 Publications (2005–2010)
Related Software: SPIN; nauty; SymmSpin; TopSpin; GAP; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

STR

Software Authors:   Michelangelo Preti
Cited in: 5 Publications (2019–2021)
Related Software: WiLE; FIRE5; Mathematica
Main Fields: Statistics (62-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

SymPol

Software Authors:   Rehn, Thomas; Schürmann, Achill
Cited in: 6 Publications (2010–2018)
Related Software: PermLib; polymake; Normaliz; Valgrind; MPTOPCOM; Minksum; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

ABC4EFT

Software Authors:   Li, Hao-Lin; Ren, Zhe; Xiao, Ming-Lei; Yu, Jiang-Hao; Zheng, Yu-Hui
Cited in: 5 Publications (2012–2022)
Related Software: Z; REPSN; AIM@SHAPE; Mathematica; GeneRa; EvaluateMultiSums; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX)

Affine

Software Authors:   Anton Nazarov
Cited in: 4 Publications (2012–2019)
Related Software: Mathematica; LiE; Affine.m; LieART; GAP; Sym2Int; …
Main Fields: Nonassociative rings and algebras (17-XX); Computer science (68-XX); Quantum theory (81-XX)

AllDifferent

Software Authors:   Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Cited in: 4 Publications (2011–2022)
Related Software: Algorithm 457; ptsplib; AtMostNValue; Choco; SDPLR; CSDP; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

AUTODYN

Software Authors:   Birnbaum N, Cowler M, Itoh M, Katayama M, Obata H.
Cited in: 5 Publications (2002–2017)
Related Software: DYNA3D; LS-DYNA; Mfree2D; ANSYS; EPIC; MSC/DYTRAN; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Muntingh

Software Authors:   Muntingh, Georg
Cited in: 5 Publications (2014–2018)
Related Software: SageMath; FLINT; SINGULAR
Main Fields: Algebraic geometry (14-XX); Real functions (26-XX); Approximations and expansions (41-XX)

Planet-4D

Software Authors:   Baroin, Gilles
Cited in: 5 Publications (2011–2022)
Related Software: Tonnetz
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

RotatE

Software Authors:   Zhiqing Sun, Zhi-Hong Deng, Jian-Yun Nie, Jian Tang
Cited in: 3 Publications (2020–2022)
Related Software: node2vec; InfoGraph; GraRep; Pykg2vec; DGL; OpenKE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

SchNetPack

Software Authors:   K.T. Schütt, P. Kessel, M. Gastegger, K. Nicoli, A. Tkatchenko, K.-R. Müller
Cited in: 1 Publication (2022)
Related Software: Python; ASE; TensorFlow; SchNet; PyTorch; SciPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)

Smolpack

Software Authors:   K. Petras
Cited in: 5 Publications (2005–2015)
Related Software: HRMSYM; PATSYM; SPGL1; CVX; HLLE
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

streamsolve.red

Software Authors:   Wolf, T
Cited in: 4 Publications (2008–2020)
Related Software: LSSS; CRACK; LaxPairLattices; LaxPairPartialDifferenceEquations; Mathematica; REDUCE; …
Main Fields: Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); Difference and functional equations (39-XX)

SUSEFLAV

Software Authors:   D. Chowdhury, R. Garani, S. K. Vempati
Cited in: 2 Publications (2013)
Related Software: Spheno; micrOMEGAs; FeynArts; SuperLFV; FormCalc; SUSY_FLAVOR; …
Main Fields: Quantum theory (81-XX)

Systre

Software Authors:   O. Delgado-Friedrichs
Cited in: 5 Publications (2003–2021)
Related Software: CaGe; Gavrog; GRADPART; E-DRAGON; GENREG; GraPHedron; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

CheMPS2

Software Authors:   Wouters, Sebastian; Poelmans, Ward; Ayers, Paul W.; van Neck, Dimitri
Cited in: 4 Publications (2014–2021)
Related Software: Budapest QC-DMRG; ITensor; ALPS MPS; ALPS; LOBPCG; MCTDH; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Sequences, series, summability (40-XX)

DETools

Software Authors:   Belanger, Jay; Hausdorf, Marcus; Seiler, Werner M.
Cited in: 4 Publications (2001–2007)
Related Software: Maple; MuPAD; RATH; RAEEM; Matlab; SYMMGRP.MAX
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)

PatchDock

Software Authors:   Schneidman-Duhovny, D.; Inbar, Y.; Nussinov, R.; Wolfson, H. J.
Cited in: 2 Publications (2015–2019)
Related Software: PacthDock; YASARA; VADAR; DOCK; DFSA; DDFSA; …
Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

SWARM

Software Authors:   Bader, D. A.; Kanade, V.; Madduri, K.
Cited in: 4 Publications (2010–2016)
Related Software: OpenCL; Intel TBB; FastFlow; Wool; PLASMA; MAGMA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

vx_dbel

Software Authors:   Albert Vexler, Hovig Tanajian, Alan D. Hutson
Cited in: 4 Publications (2014–2022)
Related Software: dbEmpLikeNorm; Stata; dbEmpLikeGOF; tsc; R
Main Fields: Statistics (62-XX)

Affine.m

Software Authors:   Nazarov, Anton
Cited in: 3 Publications (2012–2019)
Related Software: Affine; Mathematica; LambdaTensor; SF; coxeter; LiE
Main Fields: Nonassociative rings and algebras (17-XX); Computer science (68-XX); Quantum theory (81-XX)

AFLOW-SYM

Software Authors:   Hicks, David; Oses, Corey; Gossett, Eric; Gomez, Geena; Taylor, Richard H.; Toher, Cormac; Mehl, Michael J.; Levy, Ohad; Curtarolo, Stefano
Cited in: 3 Publications (2018–2020)
Related Software: Spglib; PersistenceImages; PLATON; Phonopy; AFLUX; AFLOW; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)