×

Found 226 Software Packages (Results 1–100)

Mathematica

Software Authors:   Wolfram Research
Referenced in: 6,162 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.
Referenced in: 5,177 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)

Theorema

Software Authors:   Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Wolfgang Windsteiger, Theorema group at RISC institute at JKU Linz, Austria
Referenced in: 149 Publications (1997–2022)
Related Software: Coq; Mathematica; Mizar; PVS; Nuprl; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX)

CASA

Software Authors:   Gebauer, R.; Kalkbrener, M.; Wall, B.; Winkler, F.
Referenced in: 109 Publications (1991–2022)
Related Software: Maple; Mathematica; Magma; SINGULAR; Macaulay2; MultRoot; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)

GeM

Software Authors:   Alexei F. Cheviakov
Referenced 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); Computer science (68-XX)

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Referenced in: 95 Publications (2016–2022)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; AlexNet; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

RATH

Software Authors:   Z. Li, Y. Liu
Referenced 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)

GiNaC

Software Authors:   European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel
Referenced in: 71 Publications (2002–2022)
Related Software: FORM; Reduze; Mathematica; HPL; FIRE; LiteRed; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX)

na20

Software Authors:   Bini, Dario Andrea; Fiorentino, Giuseppe
Referenced in: 78 Publications (2000–2021)
Related Software: na10; ISOLATE; Eigensolve; mctoolbox; SqFreeEVAL; MultRoot; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Functions of a complex variable (30-XX)

SYMMGRP.MAX

Software Authors:   Champagne, B.; Hereman, W.; Winternitz, P.
Referenced 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)

PDESpecialSolutions

Software Authors:   Baldwin, D.; Göktaş, Ü.; Hereman, W.; Hong, L.; Martino, R.S.; Miller, J.C.
Referenced in: 64 Publications (2004–2022)
Related Software: ATFM; RATH; Maple; MACSYMA; RAEEM; PDERecursionOperator; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

DISCOVERER

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

FORMAC

Software Authors:   Sammet, J. E.; Bond, E. R.
Referenced in: 43 Publications (1964–1996)
Related Software: PL/I; REDUCE; MACSYMA; FORMINT; ALGOL 68; SPDE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Refal

Software Authors:   Valentin F. Turchin
Referenced in: 42 Publications (1969–2020)
Related Software: Haskell; COSTA; CiaoPP; Ciao; Maude; ECCE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

FAST

Software Authors:   Bardin, S., Leroux, J., Finkel, A., Petrucci, L.
Referenced in: 39 Publications (2005–2022)
Related Software: TREX; LASH; Aspic; ASTREE; HyTech; PPL; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

LANGAGE

Software Authors:   Caron, Pascal
Referenced in: 39 Publications (2000–2021)
Related Software: TESTAS; AG; Algorithm 97; Stamina; Euler; LANGAGEA; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

OMRS

Software Authors:   Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
Referenced in: 38 Publications (1995–2009)
Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

DDESpecialSolutions

Software Authors:   Baldwin, D.; Göktaş, Ü.; Hereman, W.
Referenced in: 35 Publications (2004–2018)
Related Software: Maple; RATH; JACOBI; PDESpecialSolutions; ATFM; AEFM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Difference and functional equations (39-XX)

ALTRAN

Software Authors:   W.S. Brown; Andrew D. Hall
Referenced in: 34 Publications (1971–2018)
Related Software: MACSYMA; REDUCE; gmp; Maple; TRIP; Magma; …
Main Fields: Group theory and generalizations (20-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Analytica

Software Authors:   Bauer, A., Clarke, E.M., Zhao
Referenced in: 33 Publications (1993–2022)
Related Software: Theorema; Nuprl; PVS; Coq; OMRS; AXIOM; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Computer science (68-XX)

Multilisp

Software Authors:   Halstead, Robert H.jun.
Referenced in: 29 Publications (1985–2019)
Related Software: Creol; Eiffel; Maude; ABS; Featherweight Java; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

LIEPDE

Software Authors:   Thomas Wolf
Referenced 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)

Odyssee

Software Authors:   Rostaing, N., Dalmas, S., Galligo, A
Referenced in: 32 Publications (1996–2016)
Related Software: ADIFOR; TAMC; ADOL-C; ADIC; TAF; MINPACK-2; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SymbolicC++

Software Authors:   Shi, Tan Kiat; Steeb, Willi-Hans; Hardy, Yorick
Referenced in: 31 Publications (1998–2018)
Related Software: Maxima; Maple; Mathematica; PSPCLink; REDUCE; Haskell; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

FracSym

Software Authors:   Jefferson, G.F.; Carminati, J.
Referenced in: 29 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)

MA48

Software Authors:   Duff, I.S.; Reid, J.K.
Referenced in: 26 Publications (1995–2022)
Related Software: HSL; SparseMatrix; BLAS; UMFPACK; Harwell-Boeing sparse matrix collection; LAPACK; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PDERecursionOperator

Software Authors:   Baldwin, D.; Hereman, W.; Sayers, J.
Referenced in: 27 Publications (2005–2021)
Related Software: PainleveTest; Maple; PDESpecialSolutions; ConservationLawsMD; Mathematica; GeM; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

FINGER

Software Authors:   Wang, Paul S.
Referenced 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)

ROSE

Software Authors:   Liberti, Leo; Cafieri, Sonia; Savourey, David
Referenced in: 24 Publications (2010–2022)
Related Software: AMPL; CPLEX; BARON; Bonmin; GAMS; FEASPUMP; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SYNAPS

Software Authors:   B. Mourrain, J.P. Pavone, Ph. Trebuchet, E. Tsigaridas
Referenced 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)

Grail

Software Authors:   Raymond, Darrell; Wood, Derick
Referenced in: 20 Publications (1994–2021)
Related Software: AUTOMATE; AMoRE; Walnut; GitHub; OEIS; Python; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

Neweul

Software Authors:   Markus Burkhardt; Andreas Hanselowski; Eberhard
Referenced in: 22 Publications (1992–2017)
Related Software: Matlab; SIMPACK; Simulink; NEWOPT/AIMS; CONTACT; NX; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

CONDENS

Software Authors:   Ü. Göktas; W. Hereman
Referenced in: 21 Publications (1997–2019)
Related Software: Mathematica; InvariantsSymmetries; Maple; CONSLAW; GeM; FDCD; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

MathTensor

Software Authors:   Christensen, Steven M.
Referenced 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)

SCOTS

Software Authors:   Rungger, Matthias; Zamani, Majid
Referenced in: 19 Publications (2016–2022)
Related Software: PESSOA; CoSyma; TuLiP; ROCS; Sostools; pFaces; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

NCSOStools

Software Authors:   Cafuta, Kristijan; Klep, Igor; Povh, Janez; Sabine Burgdorf.
Referenced in: 19 Publications (2010–2022)
Related Software: Matlab; NCAlgebra; SeDuMi; GloptiPoly; SDPT3; SDPA; …
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

WKPtest

Software Authors:   G.-Q. Xu, Z.-B. Li.
Referenced in: 18 Publications (2004–2022)
Related Software: Maple; PainleveTest; RATH; PDEPtest; CONSLAW; HIROTA.MAX; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

CLICAL

Software Authors:   Lounesto, P., Mikkola, R., Vierros, V.
Referenced in: 17 Publications (1992–2017)
Related Software: CLIFFORD; Maple; BIGEBRA; GABLE; Gaigen; LUCY; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

EAT

Software Authors:   Francis Sergeraert; Julio Rubio
Referenced in: 17 Publications (2001–2015)
Related Software: Kenzo; ACL2; Coq; Isabelle/HOL; LISP; Mizar; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

FOXBOX

Software Authors:   Díaz, Angel; Kaltofen, Erich
Referenced in: 17 Publications (1998–2022)
Related Software: Maple; SACLIB; ffmodstd; Dagwood; PVMaple; CASA; …
Main Fields: Commutative algebra (13-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-XX)

cisimplicial

Software Authors:   Bermejo, I., García-Marco, I
Referenced in: 15 Publications (2005–2021)
Related Software: SINGULAR; cimonom; numericalsgps; GAP; NumericalSemigroupsWithGenus; Macaulay2; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)

JAS

Software Authors:   Heinz Kredel
Referenced in: 13 Publications (2008–2020)
Related Software: SINGULAR; AXIOM; Plural; Orbital library; ALDOR; REDLOG; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

ASP

Software Authors:   Jefferson, G.F.; Carminati, J.
Referenced in: 13 Publications (2013–2021)
Related Software: DESOLVII; Maple; FracSym; REDUCE; SYMMGRP; GeM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)

PainleveTest

Software Authors:   Baldwin, D.; Hereman, W.; Sayers, J.
Referenced in: 13 Publications (2005–2022)
Related Software: PDERecursionOperator; WKPtest; Mathematica; ConservationLawsMD; Maple; PDESpecialSolutions; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

SCSCP

Software Authors:   S.Freundt, P.Horn, A.Konovalov, S.Linton, D.Roozemond
Referenced in: 12 Publications (2008–2017)
Related Software: GAP; SageMath; Maple; SINGULAR; Coq; OMDoc; …
Main Fields: Algebraic topology (55-XX); Computer science (68-XX)

CoSyma

Software Authors:   Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor
Referenced in: 12 Publications (2015–2022)
Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

MahonianStat

Software Authors:   Canfield, E.Rodney; Janson, Svante; Zeilberger, Doron
Referenced in: 12 Publications (2011–2020)
Related Software: OEIS; FindStat; SageMath; Quicksort; F12345; P123456; …
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.
Referenced 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)

grobcov.lib

Software Authors:   Antonio Montes , Hans Schoenemann
Referenced in: 10 Publications (2011–2020)
Related Software: SINGULAR; GeoGebra; Magma; dpgb; parametric GCD; REDLOG; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

IdentityFinder

Software Authors:   Kanade, Shashank; Russell, Matthew C.
Referenced in: 9 Publications (2015–2021)
Related Software: qseries; RRtools; Maple; RATE; HYP; Guess.m; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Nonassociative rings and algebras (17-XX)

MathScheme

Software Authors:   Carette, Jacques; Farmer, William M.; O’Connor, Russell
Referenced in: 9 Publications (2011–2021)
Related Software: Coq; Agda; HOL Light; Theorema; Isabelle; Idris; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

PurityFiltration

Software Authors:   Quadrat, Alban
Referenced 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)

GAVS

Software Authors:   Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois
Referenced in: 7 Publications (2005–2022)
Related Software: GIST; PRISM-games; PRISM; EAGLE; PRALINE; MOCHA; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

SCAT

Software Authors:   Borwein, J.M., Hamilton, C.H.
Referenced in: 9 Publications (2006–2019)
Related Software: fenchel; na13; na24; Maple; CCA; Scilab; …
Main Fields: Real functions (26-XX); Operator theory (47-XX); Numerical analysis (65-XX)

SYMMAN

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

ABC

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

ConservationLawsMD

Software Authors:   L.D. Poole; W. Hereman
Referenced in: 8 Publications (2011–2022)
Related Software: PDERecursionOperator; PainleveTest; Mathematica; CRACK; REDUCE; Vessiot; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

ELIAS

Software Authors:   Cohen, A.M.; de Graaf, W.A.
Referenced in: 8 Publications (1996–2010)
Related Software: GAP; LiE; Magma; CANONIK; CHEVIE; TOPCOM; …
Main Fields: Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)

fenchel

Software Authors:   Bauschke, Heinz H.; v. Mohrenschildt, Martin
Referenced in: 8 Publications (2006–2019)
Related Software: SCAT; na13; na24; Maple; CCA; Scilab; …
Main Fields: Real functions (26-XX); Operator theory (47-XX); Numerical analysis (65-XX)

ROBOTRAN

Software Authors:   N. Docquier, A. Poncelet, P. Fisette
Referenced in: 7 Publications (1993–2020)
Related Software: Chrono; Pasimodo; SYMORO+; MuJoCo; OpenSYMORO; Bullet; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mechanics of particles and systems (70-XX)

ACTLW

Software Authors:   –
Referenced in: 6 Publications (2008–2016)
Related Software: SPIN; COWS; mCRL; wRebeca; AODV; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AUTOSIM

Software Authors:   Sayers, Michael W.
Referenced 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)

CAMAC

Software Authors:   Jeffrey S. Leon, Vera Pless
Referenced in: 7 Publications (1978–2020)
Related Software: REDUCE; MACSYMA; ALTRAN; Cayley; FORMAC; CAMAL; …
Main Fields: History and biography (01-XX); Field theory and polynomials (12-XX); Group theory and generalizations (20-XX)

CONSLAW

Software Authors:   Yao, Ruo-Xia; Li, Zhi-Bin
Referenced 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
Referenced 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
Referenced 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)

olga.lib

Software Authors:   Johannes Hoffmann, Viktor Levandovskyy
Referenced in: 6 Publications (2017–2021)
Related Software: SINGULAR; Plural; HolonomicFunctions; OreTools; JAS; Bertini; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Partial differential equations (35-XX)

RealCertify

Software Authors:   Victor Magron, Mohab Safey El Din
Referenced 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)

Snugglebug

Software Authors:   Chandra, S., Fink, S.J., Sridharan, M.
Referenced in: 6 Publications (2010–2021)
Related Software: DART; YOGI; STP; KLEE; VCC; ABS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ADMP

Software Authors:   Lin, Yezhi; Liu, Yinping; Li, Zhibin
Referenced in: 6 Publications (2013–2019)
Related Software: Maple; ADMP; DFOC; sysdfod; Mathematica; FracSym; …
Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

EDS

Software Authors:   D. Hartley
Referenced 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.
Referenced 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
Referenced 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)

IRIT

Software Authors:   G. Elber, Department of Computer Science, Technion, Haifa, Israel
Referenced in: 5 Publications (2004–2021)
Related Software: VTK; Armadillo; CMake; pugixml; googletest; ParaView; …
Main Fields: Partial differential equations (35-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

LinMapTS

Software Authors:   Alves, P.R.L.; Duarte, L.G.S.; da Mota, L.A.C.P.
Referenced in: 6 Publications (2016–2022)
Related Software: Maple; TIMES; ISLR; TISEAN; Matlab
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

na25

Software Authors:   Bini, Dario A.; Marco, Ana
Referenced in: 6 Publications (2006–2018)
Related Software: mctoolbox; rootsb; MultRoot; Matlab; Chebfun2; Bertini; …
Main Fields: Commutative algebra (13-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

QCD-PEGASUS

Software Authors:   A. Vogt
Referenced in: 5 Publications (2010–2018)
Related Software: HOPPET; QCDNUM16; APFEL; fastNLO; APFEL++; MadGraph5_aMC@NLO; …
Main Fields: Integral transforms, operational calculus (44-XX); Quantum theory (81-XX)

qFunctions

Software Authors:   Jakob Ablinger, Ali K. Uncu
Referenced 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
Referenced 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
Referenced 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.
Referenced 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.
Referenced 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)

SUPERCALC

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

SusyMath

Software Authors:   Ferrari, A.F.
Referenced 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
Referenced 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
Referenced in: 5 Publications (2013–2019)
Related Software: QEPCAD; MetiTarski; Maple; ProjectionCAD; RegularChains; SDeval; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)

EPGY

Software Authors:   Richard Sommer; Gregory Nuckols
Referenced in: 3 Publications (2001–2020)
Related Software: LPL software; REDUCE; OTTER; Isabelle/HOL; Markdown; webLurch; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

fastZeil

Software Authors:   Paule, Peter; Schorn, Markus
Referenced in: 5 Publications (1995–2010)
Related Software: Aligator; Mathematica; Dependencies; SumCracker; Theorema
Main Fields: Computer science (68-XX)

Lambda

Software Authors:   Ekstrand, Joel
Referenced in: 5 Publications (2011–2018)
Related Software: Mathematica; MasterPVAmulti; WAlg; MasterPVA; MathGR; ope.math; …
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
Referenced 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)

Mmxlib

Software Authors:   Joris van der Hoeven
Referenced in: 5 Publications (2006–2007)
Related Software: Mathemagix; iRRAM; MPFR; gmp; RealLib; MPFI; …
Main Fields: Commutative algebra (13-XX); Functions of a complex variable (30-XX); Ordinary differential equations (34-XX)

mpoly

Software Authors:   Kahle, D.
Referenced in: 1 Publication (2017)
Related Software: R; SymPy; disordR; STL; spray; testthat; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

sage-drg

Software Authors:   Vidali, Janoš
Referenced in: 5 Publications (2018–2021)
Related Software: SageMath; GLPK; Python; Maxima; Magma; Cbc; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Associative rings and algebras (16-XX)

Symgrid

Software Authors:   Hammond, K., Al Zain, A., Cooperman, G., Petcu, D., Trinder, P.W.
Referenced in: 4 Publications (2008–2016)
Related Software: Eden; Multilisp; GUM; Haskell; MapReduce; SageMath; …
Main Fields: Computer science (68-XX)

XSpeed

Software Authors:   Ray, Rajarshi; Gurung, Amit
Referenced in: 4 Publications (2017–2019)
Related Software: SpaceEx; Flow*; JuliaReach; Julia; Mosek; GLPK; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

ADMP

Software Authors:   Gupta, Sumit; Kumar, Devendra; Singh, Jagdev
Referenced in: 4 Publications (2019–2022)
Related Software: Maple; ADMP
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Operator theory (47-XX)

AG

Software Authors:   Caron, P.
Referenced in: 3 Publications (2000)
Related Software: LANGAGE; Maple; AMoRE; AUTOMATE
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)

BNCpack

Software Authors:   Kouya, Tomonori
Referenced in: 4 Publications (2004–2016)
Related Software: gmp; MPFR; LAPACK; ATLAS
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

CALYPSO

Software Authors:   Cesari, Giovanni
Referenced in: 4 Publications (1997–2009)
Related Software:
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

FermiFab

Software Authors:   Christian B. Mendl
Referenced 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)