Maple Cited in 5,488 Documents (1983–2024) Software Authors: Waterloo Maple Inc. Related Software: Mathematica; Matlab; Magma; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
DLMF Cited in 4,031 Documents (2000–2025) Software Authors: Lozier, Daniel W. Related Software: Mathematica; Matlab; OEIS; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …
Macaulay2 Cited in 2,363 Documents (1988–2024) Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David Related Software: SINGULAR; CoCoA; SageMath; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
REDUCE Cited in 746 Documents (1970–2024) Software Authors: Hearn, Anthony C.; Rayna, Gerhard; Schöpf, Rainer; Sturm, Thomas Related Software: Maple; Mathematica; MACSYMA; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
CoCoA Cited in 688 Documents (1989–2024) Software Authors: CoCoa-Team; Robbiano, Lorenzo Related Software: Macaulay2; SINGULAR; CoCoALib; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
CHEVIE Cited in 269 Documents (1994–2024) Software Authors: Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz Related Software: GAP; Magma; SageMath; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …
GiNaC Cited in 96 Documents (2002–2024) Software Authors: Bauer, C. W.; Frink, A.; Kreckel, R. Related Software: FORM; FIRE; Reduze; … Main Fields: Special functions (33-XX); Geometry (51-XX); Numerical analysis (65-XX); …
RATH Cited in 89 Documents (2001–2022) Software Authors: Li, Z.; Liu, Y. Related Software: MACSYMA; ATFM; Maple; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
PALP Cited in 76 Documents (2003–2024) Software Authors: Kreuzer, M.; Skarke, H. Related Software: SageMath; Calabi-Yau database; TOPCOM; … Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Computer science (68-XX); …
DERIVE Cited in 51 Documents (1991–2023) Software Authors: Kutzler, Bernhard; Wall, Bernhard; Winkler, Franz Related Software: Mathematica; Maple; MACSYMA; … Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
FIRE5 Cited in 64 Documents (2015–2024) Software Authors: Smirnov, A.V. Related Software: FIRE; LiteRed; Reduze; … Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …
KeYmaera Cited in 63 Documents (2008–2024) Software Authors: Platzer, André; Quesel, Jan-David Related Software: KeYmaera X; SpaceEx; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
MATAD Cited in 51 Documents (2001–2024) Software Authors: Steinhauser, Matthias Related Software: FORM; Mincer; Axodraw; … Main Fields: Number theory (11-XX); Special functions (33-XX); Approximations and expansions (41-XX); …
GRTensorII Cited in 49 Documents (1996–2019) Software Authors: Musgrave, Peter; Pollney, Denis; Lake, Kayll Related Software: Maple; MathTensor; NP; … Main Fields: Differential geometry (53-XX); Computer science (68-XX); Quantum theory (81-XX); …
Invar Cited in 39 Documents (1996–2023) Software Authors: Martin-Garcia, J. M.; Portugal, R.; Manssur, L. R. U. Related Software: xTensor; xPert; xPerm; … Main Fields: Commutative algebra (13-XX); Differential geometry (53-XX); Quantum theory (81-XX); …
xPerm Cited in 37 Documents (2008–2023) Software Authors: eacute, Jos; iacute, M. Mart; iacute, n-Garc; a Related Software: xAct; xTras; Invar; … Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); …
SHEEP Cited in 37 Documents (1977–2020) Software Authors: Frick, I Related Software: Maple; REDUCE; MapleTensor; … Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Homology Cited in 34 Documents (2001–2024) Software Authors: Dumas, Jean-Guillaume; Heckenbach, Frank; Saunders, David; Welker, Volkmar Related Software: GAP; CHomP; CAPD; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Algebraic topology (55-XX); …
SIMATH Cited in 31 Documents (1988–2010) Software Authors: Zimmer, Horst G.; Matsui, T.; Kobayashi, D.; Abe, M.; Nakamula, K. Related Software: KANT/KASH; PARI/GP; Magma; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
OSCAR Cited in 21 Documents (2020–2024) Software Authors: Decker, Wolfram; Fieker, Claus; Horn, Max; Joswig, Michael; et al. Related Software: Julia; SINGULAR; SageMath; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …
CANONIK Cited in 24 Documents (1987–2018) Software Authors: Rand, D.W. Related Software: SPLIT; SYMMGRP.MAX; diffgrob2; … Main Fields: Nonassociative rings and algebras (17-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
FIESTA 3 Cited in 22 Documents (2014–2024) Software Authors: Smirnov, A.V. Related Software: FIESTA; SecDec; LiteRed; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …
ALLTYPES Cited in 19 Documents (1999–2017) Software Authors: Schwarz, Fritz Related Software: REDUCE; Maple; SINGULAR; … Main Fields: Field theory and polynomials (12-XX); Associative rings and algebras (16-XX); Ordinary differential equations (34-XX); …
Giac Cited in 19 Documents (2010–2024) Software Authors: Parisse, B. Related Software: GeoGebra; SINGULAR; Xcas; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Geometry (51-XX); …
Riegeom Cited in 15 Documents (1994–2021) Software Authors: Portugal, R. Related Software: ATENSOR; MathTensor; xTensor; … Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GRjunction Cited in 15 Documents (1996–2024) Software Authors: Musgrave, Peter; Lake, Kayll Related Software: Mathematica; CESAM Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Mechanics of deformable solids (74-XX); …
Kranc Cited in 13 Documents (1990–2023) Software Authors: Husa, Sascha; Hinder, Ian; Lechner, Christiane Related Software: Einstein Toolkit; Cactus; Carpet; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Relativity and gravitational theory (83-XX); …
FeynGKZ Cited in 13 Documents (2023–2024) Software Authors: Ananthanarayan, B.; Banik, Sumit; Bera, Souvik; Datta, Sudeepan Related Software: Olsson.wl; FiniteFlow; FIESTA; … Main Fields: Algebraic geometry (14-XX); Special functions (33-XX); Computer science (68-XX); …
Sollya Cited in 14 Documents (2010–2023) Software Authors: Chevillard, Sylvain; Joldeş, Mioara; Lauter, Christoph Related Software: MPFR; Gappa; Coq; … Main Fields: Real functions (26-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …
TARCER Cited in 14 Documents (1998–2024) Software Authors: Mertig, R.; Scharf, R. Related Software: FeynArts; FeynRules; TSIL; … Main Fields: Special functions (33-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
ATENSOR Cited in 12 Documents (1996–2021) Software Authors: Ilyin, V. A.; Kryukov, A. P. Related Software: MathTensor; Riegeom; Invar; … Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX); …
CTADEL Cited in 12 Documents (1998–2020) Software Authors: Engelen, Van; Alexander, Robert Related Software: Mathematica; FINGER; SciNapse; … Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
LERG-I Cited in 11 Documents (1991–2012) Software Authors: Stuart, Robin G. Related Software: REDUCE; Mathematica; CutTools; … Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ODEtools Cited in 12 Documents (1997–2021) Software Authors: Cheb-Terrab, E.S.; Duarte, L.G.S.; Da Mota, L.A.C.P. Related Software: Maple; PDEtools; deal.ii; … Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
PyCox Cited in 11 Documents (2012–2020) Software Authors: Geck, Meinolf Related Software: CHEVIE; GAP; SageMath; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …
msolve Cited in 8 Documents (2022–2024) Software Authors: Berthomieu, Jérémy; Eder, Christian; Din, Mohab Safey El Related Software: SINGULAR; Magma; OSCAR; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); …
SymEngine Cited in 9 Documents (2019–2024) Software Authors: Čertík, Ondřej Related Software: Intel TBB; PETSc; deal.ii; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Xcas Cited in 10 Documents (2010–2018) Software Authors: Parisse, B. Related Software: Giac; SINGULAR; SageMath; … Main Fields: Number theory (11-XX); Geometry (51-XX); Numerical analysis (65-XX); …
INTPAK Cited in 9 Documents (1993–2006) Software Authors: Connell, Amanda E.; Corless, Robert M. Related Software: C-XSC 2.0; Maple; PNM; … Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SPLIT Cited in 9 Documents (1987–2012) Software Authors: Rand, D.W.; Winternitz, P.; Zassenhaus, Hans Related Software: CANONIK; RADICAL; diffgrob2; … Main Fields: Nonassociative rings and algebras (17-XX); Topological groups, Lie groups (22-XX); Partial differential equations (35-XX); …
TUBULAR Cited in 9 Documents (1999–2022) Software Authors: Dowbor, Piotr; Hübner, Thomas Related Software: Maple; CART_TUB; Python Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …
ComCH Cited in 8 Documents (2021–2024) Software Authors: Medina-Mardones, Anibal M. Related Software: giotto-tda; Ripser; Gudhi; … Main Fields: Category theory; homological algebra (18-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); …
Spinors Cited in 7 Documents (2012–2020) Software Authors: Gómez-Lobo, Alfonso García-Parrado; Martín-García, José M. Related Software: xCore; Cadabra; xPert; … Main Fields: Global analysis, analysis on manifolds (58-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
AS 135 Cited in 7 Documents (1979–2019) Software Authors: Armstrong, Ronald D.; Kung, David S. Related Software: AS 202; AS 165; AS 166; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SusyMath Cited in 7 Documents (2006–2023) Software Authors: Ferrari, A.F. Related Software: FeynArts; FormCalc; FeynCalc; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
EDS Cited in 6 Documents (1997–2010) Software Authors: Hartley, D. Related Software: REDUCE; MuPAD; SINGULAR; … Main Fields: Commutative algebra (13-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); …
FieldsX Cited in 5 Documents (2021–2024) Software Authors: Fröb, Markus B. Related Software: xAct; xTras; xPert; … Main Fields: Partial differential equations (35-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)
GLie Cited in 6 Documents (1992–2006) Software Authors: Ayari, M. A.; Hussin, V. 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); …
LINA01 Cited in 6 Documents (2005–2006) Software Authors: Ukolov, Yu. A.; Chekanov, N. A.; Gusev, A. A.; Rostovtsev, V. A.; Vinitsky, S. I.; Uwano, Y. Related Software: GITA; Maple; pchip; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Polynome Cited in 6 Documents (2010–2017) Software Authors: Dimitrova, Elena; García-Puente, Luis David; Hinkelmann, Franziska; Jarrah, Abdul S.; Laubenbacher, Reinhard; Stigler, Brandilyn; Stillman, Michael; Vera-Licona, Paola Related Software: ADAM; Macaulay2; SageMath; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SUPERCALC Cited in 3 Documents (1991–1998) Software Authors: Seiler, W. M. Related Software: Mathematica; Dill; REDUCE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Canon Cited in 5 Documents (2004–2018) Software Authors: Manssur, L. R. U.; Portugal, R. Related Software: MathTensor; Invar; xTensor; … Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Differential geometry (53-XX); …
CREP Cited in 5 Documents (1998–2003) Software Authors: Dräxler, P.; Nörenberg, R. Related Software: – Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); …
Dill Cited in 4 Documents (1995–2007) Software Authors: Lucic, V. Related Software: SUPERCALC; Mathematica; SUPERGRAV; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GUARDIAN Cited in 5 Documents (1997–2021) Software Authors: Dolzmann, Andreas; Sturm, Thomas Related Software: REDLOG; QEPCAD; TDDS; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); …
haggies Cited in 5 Documents (2010–2015) Software Authors: Reiter, T. Related Software: FORM; Golem95; SecDec; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)
LieSymm Cited in 5 Documents (2007–2022) Software Authors: Pulov, Vladimir; Uzunov, Ivan; Chacarov, Edy Related Software: Mathematica Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GeneralVectorAnalysis Cited in 3 Documents (1999–2020) Software Authors: Qin, H.; Tang, W. M.; Rewoldt, G. Related Software: Mathematica; VEST; Maple; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Fluid mechanics (76-XX)
AEFM Cited in 3 Documents (2012–2014) Software Authors: Zhao, Lei; Huang, Dingjiang; Zhou, Shuigeng Related Software: ATFM; DDESpecialSolutions; RATH; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
ELISE Cited in 3 Documents (1992–1999) Software Authors: Dietrich, Volker Related Software: Maple; DESIR Main Fields: Functions of a complex variable (30-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
FiOrDi Cited in 3 Documents (2014–2019) Software Authors: Avellar, J.; Duarte, L.G.S.; da Mota, L.A.C.P. Related Software: FiOrDii; Maple; InSyDE Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
NODES Cited in 3 Documents (1992–1997) Software Authors: Codutti, M. Related Software: Groebner; ODEPAINLEVE; MACSYMA; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
NPTOOLS Cited in 3 Documents (1998–2002) Software Authors: Cyganowski, S.; Carminati, J. Related Software: Maple; GRTensorII Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX); …
POLSym Cited in 3 Documents (2022–2023) Software Authors: Nikolić, Božidar; Milošević, Ivanka; Vuković, Tatjana; Lazić, Nataša; Dmitrović, Saša; Popović, Zoran; Damnjanović, Milan Related Software: Bilbao Crystallography Server; KVEC Main Fields: Group theory and generalizations (20-XX); Mechanics of deformable solids (74-XX); Quantum theory (81-XX); …
RADICAL Cited in 3 Documents (1986–1987) Software Authors: Rand, D.W. Related Software: SPLIT; CANONIK; LEVI Main Fields: Nonassociative rings and algebras (17-XX)
SFOPDES Cited in 3 Documents (2019–2023) Software Authors: Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodríguez-Cielos, Pedro; Padilla-Domínguez, Yolanda; Galán-García, María Ángeles Related Software: DERIVE; Maple; Python; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mathematics education (97-XX)
ALG.txt Cited in 2 Documents (2018–2023) Software Authors: Kauers, Manuel; Zeilberger, Doron Related Software: Cfinite; Dependencies Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Sequences, series, summability (40-XX); …
caracas Cited in 0 Documents Software Authors: Andersen, Mikkel Meyer; Højsgaard, Søren Related Software: reticulate; Yacas; SymPy; … Main Fields: –
KILLING Cited in 2 Documents (2000–2018) Software Authors: Bernardes, E. S. Related Software: LiE; Z; CHomP; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …
Logics' Explorer Cited in 2 Documents (2011–2014) Software Authors: Roanes-Lozano, Eugenio; Alonso, Jos'e Antonio; Hernando, Antonio; Laita, Luis M.; Roanes-Mac'{i}as, Eugenio Related Software: Maple; MUltlog; MACSYMA Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MathBlackBoard Cited in 1 Document (2006) Software Authors: Hiroaki, Deguchi Related Software: – Main Fields: General and overarching topics; collections (00-XX); Mathematics education (97-XX)
MILONGA Cited in 2 Documents (2002–2008) Software Authors: Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Related Software: Projective Noether; Kronecker; ISOLATE; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)
NEWEUL Cited in 2 Documents (1989–1990) Software Authors: Hirschberg, Wolfgang; Schramm, Dieter Related Software: LIE0; DEtools; Alkahest III; … Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Differential geometry (53-XX); …
ORACLS Cited in 2 Documents (1980–1985) Software Authors: Armstrong, Ernest S. Related Software: – Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
RICCIR Cited in 2 Documents (1996–2000) Software Authors: Kadlecsik, József Related Software: NP; Riegeom; Maple; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Differential geometry (53-XX); Numerical analysis (65-XX); …
SimplifySum Cited in 2 Documents (2014–2015) Software Authors: Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D. Related Software: DLMF; ARPREC; GitHub; … Main Fields: Number theory (11-XX); Computer science (68-XX)
SYMCD Cited in 2 Documents (1994–1999) Software Authors: Ito, M. Related Software: CONDENS; InvariantsSymmetries; SYMMGRP; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
VEST Cited in 2 Documents (2014–2020) Software Authors: Squire, J.; Burby, J.; Qin, H. Related Software: GeneralVectorAnalysis; Mathematica; MathGR; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Fluid mechanics (76-XX)
Cadabra Cited in 1 Document (2023) Software Authors: Castillo-Felisola, Oscar; Price, Dominic T.; Scomparin, Mattia Related Software: Python; hybrid-latex; Cadabra Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); …
CONVODE Cited in 1 Document (1993) Software Authors: Moussiaux, A. Related Software: REDUCE Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
dirac Cited in 1 Document (2024) Software Authors: Kutnii, Sergii Related Software: – Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX)
Estaciones Cited in 1 Document (2021) Software Authors: Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel Related Software: GraphTheory; Maple Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
FABULA Cited in 1 Document (1999) Software Authors: Kalinina, N. A.; Khegaj, Zh. E. Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FiniteFieldSolve Cited in 1 Document (2024) Software Authors: Mangan, James Related Software: Ratracer; FiniteFlow; Kira; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
GENJAC Cited in 1 Document (1992) Software Authors: Berger, F.C.; Goldman, V.V.; van Heerwaarden, M.C.; van Hulzen, J.A. Related Software: SCOPE 1.5; GENTRAN; REDUCE Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
gfsage Cited in 1 Document (2012) Software Authors: Saludes, Jordi; Xambó, Sebastian Related Software: GF; SageMath Main Fields: Computer science (68-XX)
Iscalc Cited in 1 Document (2023) Software Authors: Zhan, Bohua; Fan, Yuheng; Xiong, Weiqiang; Xu, Runqing Related Software: HolPy; Lean; Analytica; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KAM Cited in 1 Document (1998) Software Authors: Nisheva-Pavlova, Maria M. Related Software: – Main Fields: Computer science (68-XX)
Kontsevich-graph-series Cited in 1 Document (2022) Software Authors: Buring, R. Related Software: – Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Differential geometry (53-XX); …
LEVI Cited in 1 Document (1987) Software Authors: Rand, D.W. Related Software: CANONIK; RADICAL; SPLIT Main Fields: Nonassociative rings and algebras (17-XX)
Math-XPress Cited in 1 Document (2019) Software Authors: Slobodsky, Philip; Ocheretovy, Alexander; Roiz, Eugine; Shtarkman, Anatoly Related Software: GeoGebra Main Fields: Measure and integration (28-XX)
MatrixExp Cited in 1 Document (2005) Software Authors: Poghosyan, V.A. Related Software: TRACER; Mathematica; Maple Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Quantum theory (81-XX)
Mr.CAS Cited in 0 Documents Software Authors: Ragni, Matteo Related Software: SymPy; Python; SymEngine; … Main Fields: –
petBoss Cited in 1 Document (2018) Software Authors: Yu, Cunxi; Yasin, Atif; Su, Tiankai; Mishchenko, Alan; Ciesielski, Maciej Related Software: ABC; STABLE; SINGULAR Main Fields: Computer science (68-XX)
RGIsearch Cited in 1 Document (2016) Software Authors: Verheyen, Rob Related Software: – Main Fields: Quantum theory (81-XX)
SFA Cited in 1 Document (2000) Software Authors: Prosper, Vincent Related Software: ACE; SF; MACSYMA; … Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX)
SMIS Cited in 1 Document (2023) Software Authors: Galán-García, J.L.; Rodríguez-Cielos, P.; Padilla-Domínguez, Y.; Á., Galán-García M.; Atencia, I.; Rodríguez-Padilla, P.; Aguilera-Venegas, G. Related Software: ATISBAT; Maxima; Maple; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
SODES Cited in 1 Document (2023) Software Authors: Galán-García, José Luis; Rodríguez-Cielos, Pedro; Galán-García, María Ángeles; le Goff, Morgan; Padilla-Domínguez, Yolanda; Rodríguez-Padilla, Pablo; Atencia, Iván; Aguilera-Venegas, Gabriel Related Software: ATISBAT; Maxima; Maple; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
STABILITY Cited in 1 Document (2000) Software Authors: Banshchikov, Andrey; Bourlakova, Larissa Related Software: Mathematica Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)
STRAMS Cited in 1 Document (1999) Software Authors: Nisheva-Pavlova, Maria M. Related Software: – Main Fields: Computer science (68-XX)