Mathematica Software Authors: Wolfram Research Cited in: 6,266 Publications (1986–2023) Related Software: Maple; Matlab; R; SageMath; MACSYMA; DLMF; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Maple Software Authors: Waterloo Maple Inc. Cited in: 5,250 Publications (1983–2023) Related Software: Mathematica; Matlab; MACSYMA; Magma; SINGULAR; REDUCE; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-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)
RATH Software Authors: Z. Li, Y. Liu Cited in: 89 Publications (2001–2022) Related Software: MACSYMA; ATFM; Maple; RAEEM; PDESpecialSolutions; DDESpecialSolutions; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-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)
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)
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)
SYNAPS Software Authors: B. Mourrain, J.P. Pavone, Ph. Trebuchet, E. Tsigaridas Cited in: 24 Publications (2002–2009) Related Software: ISOLATE; na10; SINGULAR; na20; Maple; Axel; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)
MathTensor Software Authors: Christensen, Steven M. Cited in: 21 Publications (1997–2021) Related Software: ATENSOR; Mathematica; Cadabra; Riegeom; Invar; Maple; … Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)
JAS Software Authors: Heinz Kredel Cited in: 15 Publications (2008–2023) Related Software: SINGULAR; AXIOM; Plural; SageMath; Orbital library; ALDOR; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)
MahonianStat Software Authors: Canfield, E.Rodney; Janson, Svante; Zeilberger, Doron Cited in: 12 Publications (2011–2020) Related Software: FindStat; SageMath; Quicksort; F12345; P123456; P12345; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-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)
PurityFiltration Software Authors: Quadrat, Alban Cited in: 10 Publications (1997–2019) Related Software: OreModules; homalg; SINGULAR; OreMorphisms; D-modules; Plural; … Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)
olga.lib Software Authors: Johannes Hoffmann, Viktor Levandovskyy Cited in: 7 Publications (2017–2023) Related Software: SINGULAR; Plural; JAS; HolonomicFunctions; OreTools; SageMath; … Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Partial differential equations (35-XX)
AUTOSIM Software Authors: Sayers, Michael W. Cited in: 7 Publications (1990–2010) Related Software: Matlab Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
CONSLAW Software Authors: Yao, Ruo-Xia; Li, Zhi-Bin Cited in: 7 Publications (2004–2016) Related Software: Maple; CONDENS; GeM; WKPtest; PSEUDO; JACOBI; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
HBFTrans2 Software Authors: Yang, Xu-Dong; Ruan, Hang-Yu Cited in: 7 Publications (2009–2018) Related Software: Maple; Bilinearization; HIROTA.MAX; MACSYMA; ATFM; HBFGen; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
JACOBI Software Authors: Yong, Xuelin; Zeng, Xin; Zhang, Zhiyong; Chen, Yufu Cited in: 7 Publications (2009–2015) Related Software: DDESpecialSolutions; Maple; PDESpecialSolutions; CONDENS; CLawDDEs; GeM; … Main Fields: Special functions (33-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
RealCertify Software Authors: Victor Magron, Mohab Safey El Din Cited in: 6 Publications (2018–2021) Related Software: SDPA; SeDuMi; multivsos; univsos; RAGlib; Maple; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX)
EDS Software Authors: D. Hartley Cited in: 6 Publications (1997–2010) Related Software: REDUCE; MuPAD; SINGULAR; EXCALC; DIMSYM Main Fields: Commutative algebra (13-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)
fKenzo Software Authors: Heras, J.; Pascual, V.; Rubio, J.; Sergeraert, F. Cited in: 6 Publications (2011–2018) Related Software: Kenzo; HAP; GAP; OpenMath; SCSCP; ACL2; … Main Fields: Algebraic topology (55-XX); Computer science (68-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)
LinMapTS Software Authors: Alves, P.R.L.; Duarte, L.G.S.; da Mota, L.A.C.P. Cited in: 6 Publications (2016–2022) Related Software: TIMES; Maple; TISEAN; ISLR; Matlab Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)
qFunctions Software Authors: Jakob Ablinger, Ali K. Uncu Cited in: 5 Publications (2020–2022) Related Software: qMultiSum; qGeneratingFunctions; RATE; HYP; qseries; SIGMA; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
RationalizeRoots Software Authors: Marco Besier, Pascal Wasser, Stefan Weinzierl Cited in: 5 Publications (2021–2022) Related Software: FiniteFlow; pySecDec; epsilon; Fuchsia; Mathematica; Maple; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Mechanics of particles and systems (70-XX)
RIVET Software Authors: Michael Lesnick, Matthew Wright Cited in: 4 Publications (2020–2022) Related Software: PHAT; Ripser; Eirene; Magma; Macaulay2; CoCoA; … Main Fields: Commutative algebra (13-XX); Algebraic topology (55-XX); Statistics (62-XX)
SENAC Software Authors: Broughan, Kevin A. Cited in: 6 Publications (1991–2008) Related Software: Uppaal; Kronos; MACSYMA; HyTech; NAG; GAMS; … Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
SInt Software Authors: Conceição, Ana C.; Kravchenko, Viktor G.; Pereira, José C. Cited in: 6 Publications (2013–2021) Related Software: Mathematica; ASpecPaired-Scalar; ASpecPaired-Matrix; DLMF Main Fields: Functions of a complex variable (30-XX); Approximations and expansions (41-XX); Integral equations (45-XX)
SusyMath Software Authors: Ferrari, A.F. Cited in: 6 Publications (2006–2019) Related Software: Nestedsums; Hypexp; FeynCalc; FormCalc; FeynArts; Mathematica; … Main Fields: Number theory (11-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)
Bilinearization Software Authors: Zhou, Zhen-Jiang; Fu, Jing-Zhi; Li, Zhi-Bin Cited in: 5 Publications (2006–2017) Related Software: Maple; HIROTA.MAX; HBFTrans2; MACSYMA; ATFM; HBHGen; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
BranchCuts Software Authors: England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David Cited in: 5 Publications (2013–2019) Related Software: MetiTarski; QEPCAD; Maple; ProjectionCAD; RegularChains; SDeval; … Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)
Lambda Software Authors: Ekstrand, Joel Cited in: 5 Publications (2011–2018) Related Software: Mathematica; MasterPVAmulti; WAlg; MasterPVA; MathGR; GAMMA; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Numerical analysis (65-XX)
MARS Software Authors: Wallack, Aaron; Emiris, Ioannis Z.; Manocha, Dinesh Cited in: 5 Publications (1998–2016) Related Software: Matlab; Maple; SADoRe; GePUP; AMRCFI; MARS; … Main Fields: Field theory and polynomials (12-XX); Real functions (26-XX); Numerical analysis (65-XX)
sage-drg Software Authors: Vidali, Janoš Cited in: 5 Publications (2018–2021) Related Software: SageMath; GLPK; Maxima; Python; Magma; Cbc; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Associative rings and algebras (16-XX)
disordR Software Authors: Robin K. S. Hankin Cited in: 0 Publications Related Software: spray; R; mvp; weyl; mpoly; STL; … Main Fields: –
FermiFab Software Authors: Christian B. Mendl Cited in: 3 Publications (2011–2016) Related Software: Matlab; Mathematica; QLib; QuTiP; MCTDH; WavePacket Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
MapleTensor Software Authors: Kavian, Masoud; McLenaghan, R.G.; Geddes, K.O. Cited in: 4 Publications (1996–2011) Related Software: MACSYMA; Maple; SHEEP; ITENSOR; Mathematica; Telescopers; … Main Fields: History and biography (01-XX); Differential geometry (53-XX); Numerical analysis (65-XX)
REACH Software Authors: Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Cited in: 4 Publications (2013–2018) Related Software: ISOLATE; QEPCAD; iscasMc; z3; REDLOG; MRMC; … Main Fields: Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
spray Software Authors: Robin K. S. Hankin Cited in: 0 Publications Related Software: R; disordR; mvp; CRAN; weyl; mpoly; … Main Fields: –
CDiffElim Software Authors: Wittkopf, Allan D.; Reid, Gregory J. Cited in: 3 Publications (2001–2014) Related Software: PHCpack; Janet; SADE; GeM; CRACKSTAR; Maple Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX)
FiOrDii Software Authors: Duarte, L.G.S.; da Mota, L.A.C.P.; Nunez, E. Cited in: 3 Publications (2007–2016) Related Software: FiOrDi; Maple; ODEtools Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
mvp Software Authors: Robin K. S. Hankin Cited in: 0 Publications Related Software: spray; disordR; R; weyl; CRAN; mpoly; … Main Fields: –
One Optimal System Software Authors: Zhang, Lin; Han, Zhong; Chen, Yong Cited in: 3 Publications (2017–2021) Related Software: ONEOptimal; LIE; BIGLIE; Maple Main Fields: Nonassociative rings and algebras (17-XX); Real functions (26-XX); Partial differential equations (35-XX)
PDEPtest Software Authors: Xu, Gui-qiong; Li, Zhi-bin Cited in: 3 Publications (2005–2009) Related Software: WKPtest; Maple; PainleveTest Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
TERMINATOR Software Authors: Xu, Ming; Li, Zhi-Bin Cited in: 3 Publications (2013–2016) Related Software: REACH; DISCOVERER Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Dynamical systems and ergodic theory (37-XX)
CLawDDEs Software Authors: Zhu, Jiaofeng; Liu, Yinping Cited in: 2 Publications (2010–2012) Related Software: Maple; JACOBI; CONDENS; DDESpecialSolutions; GeM; CONSLAW Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX)
KILLING Software Authors: E.S. Bernardes Cited in: 2 Publications (2000–2018) Related Software: LiE; Z; CHomP; Mod-p group cohomology; QuillenSuslin; REPSN; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)
mleur Software Authors: Zhang, Ying; Yu, Hao; McLeod, A.Ian Cited in: 1 Publication (2013) Related Software: urca; R; URT; uroot; pdR; plm; … Main Fields: Statistics (62-XX)
msolve Software Authors: Jérémy Berthomieu, Christian Eder, Mohab Safey El Din Cited in: 1 Publication (2022) Related Software: FLINT; tinygb; SLV; gmp; FGb; M4RI; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
MultivariatePowerSeries Software Authors: Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma Cited in: 1 Publication (2021) Related Software: SageMath; Maple; PowerSeries; RegularChains; Mathematica; SolveTools; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX)
NestedProducts Software Authors: Schneider, Carsten Cited in: 2 Publications (2020–2021) Related Software: SIGMA; RatDiff; RhoSum; hypergeometricsols; EvaluateMultiSums; Dependencies; … Main Fields: Field theory and polynomials (12-XX); Special functions (33-XX); Difference and functional equations (39-XX)
Rings Software Authors: Stanislav Poslavsky Cited in: 1 Publication (2019) Related Software: GiNaC; NTL; gmp; SymPy; FLINT; SINGULAR; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX)
weyl Software Authors: Robin K. S. Hankin Cited in: 0 Publications Related Software: spray; mvp; disordR; R; hyper2; CRAN; … Main Fields: –
Emathema Software Authors: Yang, Le; Liu, Yinping; Li, Zhibin Cited in: 1 Publication (2017) Related Software: Maple Main Fields: Computer science (68-XX)
Flows Software Authors: Auzinger, Winfried; Hofstätter, Harald; Koch, Othmar Cited in: 1 Publication (2016) Related Software: GitHub; Julia; OEIS Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
FunGrim Software Authors: Fredrik Johansson Cited in: 0 Publications Related Software: Wolfram Functions Site; SymPy; LMFDB; MatchPy; Arb; DLMF Main Fields: –
HBHGen Software Authors: Yang, Xu-dong; Ruan, Hang-yu Cited in: 1 Publication (2013) Related Software: Bilinearization; HIROTA.MAX; HBFTrans2; MACSYMA; Maple Main Fields: Partial differential equations (35-XX)
ICS Software Authors: Zhang, Shan-Qing; Zhang, Gui-Xu; Li, Zhi-Bin Cited in: 1 Publication (2005) Related Software: – Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)
LEVIN Software Authors: Grotendorst, J. Cited in: 1 Publication (1989) Related Software: Maple Main Fields: Numerical analysis (65-XX)
OGRe Software Authors: Barak Shoshany Cited in: 0 Publications Related Software: xAct; Mathematica Main Fields: –
PyACA Software Authors: Sayols, Narcís; Xambó-Descamps, Sebastià Cited in: 1 Publication (2020) Related Software: PyECC; Jupyter; McEliece Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
SymbMat Software Authors: Ciappina, M.F.; Kirchner, T. Cited in: 1 Publication (2012) Related Software: Mathematica Main Fields: Computer science (68-XX); Quantum theory (81-XX)
SymFields Software Authors: Nan Chu Cited in: 0 Publications Related Software: GeneralVectorAnalysis; SageMath; SymPy; Python Main Fields: –
SymPKF Software Authors: Olivier Pannekoucke, Philippe Arbogast Cited in: 0 Publications Related Software: PDE-NetGen; SymPy; Python Main Fields: –
Exact SCIP Software Authors: Eifler, L., Gleixner, A. Cited in: 0 Publications Related Software: – Main Fields: –
Miramath Software Authors: anonymous_cook Cited in: 0 Publications Related Software: – Main Fields: –
SymbolicGPT Software Authors: Mojtaba Valipour, Bowen You, Maysum Panju, Ali Ghodsi Cited in: 0 Publications Related Software: – Main Fields: –