×

Found 99 Software Packages (Results 1–99)

Maple

Software Authors:   Waterloo Maple Inc.
Cited in: 5,260 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)

DLMF

Software Authors:   Lozier, Daniel W.
Cited in: 3,039 Publications (2000–2023)
Related Software: Mathematica; Matlab; OEIS; Chebfun; GitHub; Maple; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

Macaulay2

Software Authors:   Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David; http://www.math.uiuc.edu/Macaulay2/Contributors/
Cited in: 2,006 Publications (1988–2023)
Related Software: SINGULAR; CoCoA; SageMath; Bertini; Magma; Maple; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

REDUCE

Software Authors:   Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm
Cited in: 735 Publications (1970–2021)
Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CoCoA

Software Authors:   CoCoa-Team; Robbiano, Lorenzo
Cited in: 654 Publications (1989–2023)
Related Software: Macaulay2; SINGULAR; CoCoALib; Maple; Mathematica; Magma; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

CHEVIE

Software Authors:   Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz
Cited in: 241 Publications (1994–2022)
Related Software: GAP; Magma; Maple; SageMath; SINGULAR; Coxeter; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

GiNaC

Software Authors:   European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel
Cited in: 80 Publications (2002–2023)
Related Software: FORM; Reduze; LiteRed; HPL; Mathematica; FIRE; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-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)

PALP

Software Authors:   M. Kreuzer, H. Skarke
Cited in: 72 Publications (2003–2022)
Related Software: SageMath; TOPCOM; Calabi-Yau database; SINGULAR; cohomCalg; OEIS; …
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Differential geometry (53-XX)

DERIVE

Software Authors:   Kutzler, Bernhard; Wall, Bernhard; Winkler, Franz
Cited in: 49 Publications (1991–2019)
Related Software: Mathematica; Maple; MACSYMA; REDUCE; AXIOM; MuPAD; …
Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

FIRE5

Software Authors:   Smirnov, A.V.
Cited in: 53 Publications (2015–2022)
Related Software: FIRE; LiteRed; Reduze; Kira; FORM; FIESTA; …
Main Fields: Number theory (11-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX)

GRTensorII

Software Authors:   Musgrave, Peter; Pollney, Denis; Lake, Kayll
Cited in: 49 Publications (1996–2019)
Related Software: Maple; MathTensor; NP; REDUCE; ATENSOR; Ricci; …
Main Fields: Differential geometry (53-XX); Computer science (68-XX); Quantum theory (81-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Cited in: 48 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

MATAD

Software Authors:   Steinhauser, Matthias
Cited in: 48 Publications (2001–2022)
Related Software: FORM; Axodraw; Mincer; Fermat; HarmonicSums; LiteRed; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Approximations and expansions (41-XX)

Invar

Software Authors:   J.M. Martin-Garcia, R. Portugal, L.R.U. Manssur
Cited in: 36 Publications (1996–2022)
Related Software: xTensor; xPert; xPerm; xTras; xAct; Mathematica; …
Main Fields: Commutative algebra (13-XX); Differential geometry (53-XX); Quantum theory (81-XX)

SHEEP

Software Authors:   Frick, I
Cited in: 37 Publications (1977–2020)
Related Software: Maple; REDUCE; MACSYMA; MapleTensor; NP; Mathematica; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

xPerm

Software Authors:   José M. Martín-García
Cited in: 32 Publications (2008–2022)
Related Software: xAct; Invar; xTras; xTensor; xPert; Cadabra; …
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX)

Homology

Software Authors:   Dumas, Jean-Guillaume; Heckenbach, Frank; Saunders, David; Welker, Volkmar
Cited in: 32 Publications (2001–2022)
Related Software: GAP; CAPD; CHomP; Chom; polymake; Macaulay2; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)

SIMATH

Software Authors:   Zimmer, Horst G.; Matsui, T.; Kobayashi, D.; Abe, M.; Nakamula, K.
Cited in: 31 Publications (1988–2010)
Related Software: KANT/KASH; PARI/GP; Magma; LiDIA; Maple; NZMATH; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

CANONIK

Software Authors:   Rand, D.W.
Cited in: 24 Publications (1987–2018)
Related Software: SPLIT; SYMMGRP.MAX; diffgrob2; ELIAS; Maple; Galaxy; …
Main Fields: Nonassociative rings and algebras (17-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

ALLTYPES

Software Authors:   Schwarz, Fritz
Cited in: 18 Publications (1999–2017)
Related Software: REDUCE; Maple; SINGULAR; SDeval; NCPOLY; Plural; …
Main Fields: Field theory and polynomials (12-XX); Associative rings and algebras (16-XX); Ordinary differential equations (34-XX)

FIESTA 3

Software Authors:   Smirnov, A.V.
Cited in: 14 Publications (2014–2021)
Related Software: FIESTA; SecDec; LiteRed; Reduze; FIRE5; FIRE; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

Giac

Software Authors:   B. Parisse
Cited in: 15 Publications (2010–2021)
Related Software: GeoGebra; SINGULAR; Xcas; GEX; SageMath; GEOTHER 1.1; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Geometry (51-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)

Kranc

Software Authors:   Sascha Husa, Ian Hinder, Christiane Lechner
Cited in: 12 Publications (1990–2019)
Related Software: Einstein Toolkit; Cactus; Carpet; IllinoisGRMHD; Mathematica; GiRaFFE; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Relativity and gravitational theory (83-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)

CTADEL

Software Authors:   Van Engelen, Robert Alexander
Cited in: 12 Publications (1998–2020)
Related Software: Mathematica; FINGER; SciNapse; PDEQSOL; ALPAL; SCIRun; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

LERG-I

Software Authors:   Stuart, Robin G.
Cited in: 11 Publications (1991–2012)
Related Software: REDUCE; Mathematica; CutTools; DECUHR; FORM
Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-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)

PyCox

Software Authors:   Geck, Meinolf
Cited in: 11 Publications (2012–2020)
Related Software: CHEVIE; GAP; SageMath; Coxeter; Python
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)

TARCER

Software Authors:   R. Mertig, R. Scharf
Cited in: 12 Publications (1998–2021)
Related Software: Axodraw; LiteRed; EvaluateMultiSums; HarmonicSums; doubledouble; SOFTSUSY; …
Main Fields: Algebraic geometry (14-XX); Special functions (33-XX); Operator theory (47-XX)

Sollya

Software Authors:   Chevillard, Sylvain; Joldeş, Mioara; Lauter, Christoph
Cited in: 11 Publications (2010–2018)
Related Software: Coq; Flocq; CR-LIBM; ARPREC; MPFR; MACHAR; …
Main Fields: Real functions (26-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Xcas

Software Authors:   B. Parisse
Cited in: 10 Publications (2010–2018)
Related Software: Giac; SINGULAR; SageMath; GeoGebra; Magma; REDUCE; …
Main Fields: Number theory (11-XX); Geometry (51-XX); Numerical analysis (65-XX)

INTPAK

Software Authors:   Connell, Amanda E.; Corless, Robert M.
Cited in: 9 Publications (1993–2006)
Related Software: C-XSC 2.0; Maple; PNM; INTOPT_90; INTLAB; PROFIL/BIAS; …
Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Computer science (68-XX)

SPLIT

Software Authors:   Rand, D.W.; Winternitz, P.; Zassenhaus, Hans
Cited in: 9 Publications (1987–2012)
Related Software: CANONIK; RADICAL; diffgrob2; SYMMGRP.MAX; LEVI; Maple
Main Fields: Nonassociative rings and algebras (17-XX); Topological groups, Lie groups (22-XX); Partial differential equations (35-XX)

TUBULAR

Software Authors:   Dowbor, Piotr; Hübner, Thomas
Cited in: 9 Publications (1999–2022)
Related Software: Maple; CART_TUB; Python
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX)

Spinors

Software Authors:   Gómez-Lobo, Alfonso García-Parrado; Martín-García, José M.
Cited in: 7 Publications (2012–2020)
Related Software: xCore; Cadabra; xPert; xPerm; Invar; xAct; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

SymEngine

Software Authors:   Ondřej Čertík
Cited in: 7 Publications (2019–2023)
Related Software: ADOL-C; Intel TBB; Trilinos; PETSc; deal.ii; GitHub; …
Main Fields: General and overarching topics; collections (00-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

AS 135

Software Authors:   Armstrong, Ronald D.; Kung, David S.
Cited in: 7 Publications (1979–2019)
Related Software: AS 163; AS 191; AS 130; AS 155; AS 170; AS 124; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GRjunction

Software Authors:   Musgrave, Peter; Lake, Kayll
Cited in: 7 Publications (1996–2021)
Related Software: CESAM
Main Fields: Differential geometry (53-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

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)

LINA01

Software Authors:   Yu. A. Ukolov, N.A. Chekanov, A.A. Gusev, V.A. Rostovtsev, S.I. Vinitsky, Y. Uwano
Cited in: 6 Publications (2005–2006)
Related Software: GITA; Maple; pchip; UNCMND; REDUCE
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Polynome

Software Authors:   Dimitrova, Elena; García-Puente, Luis David; Hinkelmann, Franziska; Jarrah, Abdul S.; Laubenbacher, Reinhard; Stigler, Brandilyn; Stillman, Michael; Vera-Licona, Paola
Cited in: 6 Publications (2010–2017)
Related Software: ADAM; Macaulay2; Ginsim; SageMath; SNOOPY; TIGRESS
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SUPERCALC

Software Authors:   W.M. Seiler
Cited in: 3 Publications (1991–1998)
Related Software: REDUCE; Mathematica; Dill; GrassmannOps; SNEG; SUPERGRAV; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-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)

Canon

Software Authors:   L.R.U. Manssur, R. Portugal
Cited in: 5 Publications (2004–2018)
Related Software: MathTensor; Invar; xTensor; ATENSOR; Maple; Riegeom; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Differential geometry (53-XX)

CREP

Software Authors:   P. Dräxler, R. Nörenberg
Cited in: 5 Publications (1998–2003)
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

Software Authors:   V. Lucic
Cited in: 4 Publications (1995–2007)
Related Software: SUPERCALC; Mathematica; SUPERGRAV; PDEtools; MACSYMA; REDUCE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

GUARDIAN

Software Authors:   Dolzmann, Andreas; Sturm, Thomas
Cited in: 5 Publications (1997–2021)
Related Software: REDLOG; QEPCAD; TDDS; DifferentialThomas; Cambridge LCF; RDL; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Ordinary differential equations (34-XX)

haggies

Software Authors:   Reiter, T.
Cited in: 5 Publications (2010–2015)
Related Software: FORM; Golem95; CalcHEP; WHIZARD; BlackHat; MadDipole; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

GeneralVectorAnalysis

Software Authors:   Qin, H.; Tang, W. M.; Rewoldt, G.
Cited in: 3 Publications (1999–2020)
Related Software: Mathematica; VEST; Maple; SageMath; SymPy; Python; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Fluid mechanics (76-XX)

LieSymm

Software Authors:   Pulov, Vladimir; Uzunov, Ivan; Chacarov, Edy
Cited in: 4 Publications (2007–2014)
Related Software: Mathematica
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

AEFM

Software Authors:   Zhao, Lei; Huang, Dingjiang; Zhou, Shuigeng
Cited in: 3 Publications (2012–2014)
Related Software: ATFM; DDESpecialSolutions; RATH; RAEEM; Maple
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

ELISE

Software Authors:   Dietrich, Volker
Cited in: 3 Publications (1992–1999)
Related Software: Maple; DESIR
Main Fields: Functions of a complex variable (30-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

FiOrDi

Software Authors:   Avellar, J.; Duarte, L.G.S.; da Mota, L.A.C.P.
Cited in: 3 Publications (2014–2019)
Related Software: InSyDE; FiOrDii; Maple
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

NODES

Software Authors:   Codutti, M.
Cited in: 3 Publications (1992–1997)
Related Software: ODEPAINLEVE; Groebner; MACSYMA; REDUCE
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

NPTOOLS

Software Authors:   S. Cyganowski, J. Carminati
Cited in: 3 Publications (1998–2002)
Related Software: Maple; GRTensorII
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

RADICAL

Software Authors:   Rand, D.W.
Cited in: 3 Publications (1986–1987)
Related Software: SPLIT; CANONIK; LEVI
Main Fields: Nonassociative rings and algebras (17-XX)

caracas

Software Authors:   Mikkel Meyer Andersen; Søren Højsgaard
Cited in: 0 Publications
Related Software: reticulate; SymPy; Yacas; Ryacas; R; difNLR; …
Main Fields:

FeynGKZ

Software Authors:   Ananthanarayan, B.; Banik, Sumit; Bera, Souvik; Datta, Sudeepan
Cited in: 2 Publications (2023)
Related Software: pySecDec; HPL; polymake; Olsson.wl; FIESTA; TOPCOM; …
Main Fields: Special functions (33-XX); Ordinary differential equations (34-XX); Quantum theory (81-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)

Logics' Explorer

Software Authors:   Roanes-Lozano, Eugenio; Alonso, Jos'e Antonio; Hernando, Antonio; Laita, Luis M.; Roanes-Mac'{i}as, Eugenio
Cited in: 2 Publications (2011–2014)
Related Software: Maple; MUltlog; MACSYMA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MathBlackBoard

Software Authors:   Deguchi Hiroaki
Cited in: 1 Publication (2006)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Mathematics education (97-XX)

MILONGA

Software Authors:   Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R.
Cited in: 2 Publications (2002–2008)
Related Software: Projective Noether; Kronecker; ISOLATE; RAGlib; Epsilon; SINGULAR; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-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)

NEWEUL

Software Authors:   Hirschberg, Wolfgang; Schramm, Dieter
Cited in: 2 Publications (1989–1990)
Related Software: DEtools; Alkahest III; SPDE; LIE0; FINGER; MACSYMA; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Differential geometry (53-XX)

ORACLS

Software Authors:   Armstrong, Ernest S.
Cited in: 2 Publications (1980–1985)
Related Software:
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

RICCIR

Software Authors:   Kadlecsik, József
Cited in: 2 Publications (1996–2000)
Related Software: Riegeom; NP; Maple; EXCALC; MACSYMA; REDUCE; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Differential geometry (53-XX); Numerical analysis (65-XX)

SimplifySum

Software Authors:   Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D.
Cited in: 2 Publications (2014–2015)
Related Software: DLMF; ARPREC; GitHub; SumCracker; SageMath; REDUCE; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

SYMCD

Software Authors:   M. Ito
Cited in: 2 Publications (1994–1999)
Related Software: CONDENS; InvariantsSymmetries; SYMMGRP; Mathematica; REDUCE
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

VEST

Software Authors:   Squire, J.; Burby, J.; Qin, H.
Cited in: 2 Publications (2014–2020)
Related Software: GeneralVectorAnalysis; Mathematica; Tensorial; TContinuumMechanics; MathGR; ORTHOVEC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Fluid mechanics (76-XX)

ALG.txt

Software Authors:   Kauers, Manuel; Zeilberger, Doron
Cited in: 1 Publication (2018)
Related Software:
Main Fields: Difference and functional equations (39-XX); Sequences, series, summability (40-XX); Computer science (68-XX)

CONVODE

Software Authors:   Moussiaux, A.
Cited in: 1 Publication (1993)
Related Software: REDUCE
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Estaciones

Software Authors:   Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel
Cited in: 1 Publication (2021)
Related Software: GraphTheory; Maple
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FABULA

Software Authors:   Kalinina, N. A.; Khegaj, Zh. E.
Cited in: 1 Publication (1999)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FieldsX

Software Authors:   Markus B. Fröb
Cited in: 0 Publications
Related Software: Cadabra; xTras; xPand; Spinors; xPert; xPerm; …
Main Fields:

GENJAC

Software Authors:   Berger, F.C.; Goldman, V.V.; van Heerwaarden, M.C.; van Hulzen, J.A.
Cited in: 1 Publication (1992)
Related Software: SCOPE 1.5; GENTRAN; REDUCE
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

gfsage

Software Authors:   Saludes, Jordi; Xambó, Sebastian
Cited in: 1 Publication (2012)
Related Software: GF; SageMath
Main Fields: Computer science (68-XX)

KAM

Software Authors:   Nisheva-Pavlova, Maria M.
Cited in: 1 Publication (1998)
Related Software:
Main Fields: Computer science (68-XX)

Kontsevich-graph-series

Software Authors:   Buring, R.
Cited in: 1 Publication (2022)
Related Software:
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Differential geometry (53-XX)

LEVI

Software Authors:   Rand, D.W.
Cited in: 1 Publication (1987)
Related Software: CANONIK; RADICAL; SPLIT
Main Fields: Nonassociative rings and algebras (17-XX)

Math-XPress

Software Authors:   Slobodsky, Philip; Ocheretovy, Alexander; Roiz, Eugine; Shtarkman, Anatoly
Cited in: 1 Publication (2019)
Related Software: GeoGebra
Main Fields: Measure and integration (28-XX)

MatrixExp

Software Authors:   Poghosyan, V.A.
Cited in: 1 Publication (2005)
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

Software Authors:   Matteo Ragni
Cited in: 0 Publications
Related Software: SymPy; Python; SymEngine; Symbolic; RuCas; Ipopt; …
Main Fields:

petBoss

Software Authors:   Yu, Cunxi; Yasin, Atif; Su, Tiankai; Mishchenko, Alan; Ciesielski, Maciej
Cited in: 1 Publication (2018)
Related Software: ABC; STABLE; SINGULAR
Main Fields: Computer science (68-XX)

RGIsearch

Software Authors:   Verheyen, Rob
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Quantum theory (81-XX)

SFA

Software Authors:   Prosper, Vincent
Cited in: 1 Publication (2000)
Related Software: ACE; SF; MACSYMA; SYMMETRICA; Maple
Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX)

SFOPDES

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
Cited in: 1 Publication (2019)
Related Software: Python; DERIVE; SymPy; SageMath; Maple
Main Fields: Numerical analysis (65-XX)

STABILITY

Software Authors:   Banshchikov, Andrey; Bourlakova, Larissa
Cited in: 1 Publication (2000)
Related Software: Mathematica
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)

STRAMS

Software Authors:   Nisheva-Pavlova, Maria M.
Cited in: 1 Publication (1999)
Related Software:
Main Fields: Computer science (68-XX)

sumit

Software Authors:   Bronstein, Manuel
Cited in: 1 Publication (2002)
Related Software: ALDOR; Maple
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

Symja

Software Authors:   Axel Kramer
Cited in: 1 Publication (2010)
Related Software: Python; OOLACA; GWT; Commons Math; WolframAlpha; Scala; …
Main Fields: Computer science (68-XX)

UALGEBRA

Software Authors:   Sobczyk, Garret
Cited in: 1 Publication (1996)
Related Software: Mathematica
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Ultde

Software Authors:   Gao, Min; Ito, Masaaki
Cited in: 1 Publication (2009)
Related Software: Maple
Main Fields: Partial differential equations (35-XX)

VECTOR33

Software Authors:   D. Harper
Cited in: 1 Publication (1989)
Related Software: REDUCE
Main Fields: Real functions (26-XX); Numerical analysis (65-XX); Computer science (68-XX)

GuessPolySequenceFormulas

Software Authors:   Maxie D. Schmidt
Cited in: 0 Publications
Related Software:
Main Fields:

SMath Studio

Software Authors:   A. Ivashov
Cited in: 0 Publications
Related Software:
Main Fields:

SyMAT

Software Authors:   Netsyms Technologies
Cited in: 0 Publications
Related Software:
Main Fields: