×

Found 121 Software Packages (Results 1–100)

DLMF

Software Authors:   Lozier, Daniel W.
Cited in: 3,037 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)

CHEVIE

Software Authors:   Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz
Cited in: 239 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)

Maxima

Software Authors:   William Schelter
Cited in: 161 Publications (1998–2022)
Related Software: Mathematica; SageMath; Maple; R; GAP; GeoGebra; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

LiE

Software Authors:   A.M. Cohen, B. Lisser, M.A.A. van Leeuwen
Cited in: 163 Publications (1993–2022)
Related Software: Magma; Mathematica; Macaulay2; GAP; Maple; SageMath; …
Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)

Mathcad

Software Authors:   Parametric Technology Corporation
Cited in: 137 Publications (1991–2022)
Related Software: Mathematica; Maple; Matlab; Excel; Visual Basic; OEIS; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Kronecker

Software Authors:   M. Giusti, G. Lecerf and B. Salvy; Eric Schost, Lutz Lehmann, Xavier Suraud
Cited in: 121 Publications (2000–2023)
Related Software: ISOLATE; RAGlib; FGb; SINGULAR; Magma; Projective Noether; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

SYMMGRP

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

Bio-PEPA

Software Authors:   Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios
Cited in: 91 Publications (2008–2022)
Related Software: PEPA; PRISM; BIOCHAM; BioNetGen; BlenX; LBS; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

GiNaC

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

CRACK

Software Authors:   Wolf, Thomas
Cited in: 57 Publications (1993–2021)
Related Software: REDUCE; LIEPDE; Maple; SYMMGRP; GeM; ConLaw; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-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)

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)

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; Python; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

cheney-kincaid

Software Authors:   Cheney, Ward; Kincaid, David
Cited in: 23 Publications (1985–2012)
Related Software: MACSYMA; Matlab; Mathematica; Maple; SimGen; PLTMG; …
Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)

SACLIB

Software Authors:   David G. Richardson: Werner Krandick
Cited in: 23 Publications (1993–2009)
Related Software: QEPCAD; Maple; FOXBOX; REDUCE; REDLOG; ELIMINO; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

DESOLVII

Software Authors:   Vu, K.T.; Jefferson, G.F.; Carminati, J.
Cited in: 23 Publications (2012–2021)
Related Software: ASP; GeM; Maple; SADE; SYMMGRP; FracSym; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Quantomatic

Software Authors:   Kissinger, Aleks
Cited in: 23 Publications (2009–2022)
Related Software: PyZX; Globular; pytket; Jupyter; Matplotlib; NumPy; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

CAS/PI

Software Authors:   Kajler, Norbert
Cited in: 21 Publications (1992–2018)
Related Software: Mathematica; Maple; AXIOM; MACSYMA; OMRS; Isabelle; …
Main Fields: Real functions (26-XX); Computer science (68-XX)

hgm R

Software Authors:   Nakayama, Hiromasa; Nishiyama, Kenta; Noro, Masayuki; Ohara, Katsuyoshi; Sei, Tomonari; Takayama, Nobuki; Takemura, Akimichi
Cited in: 21 Publications (2011–2022)
Related Software: Risa/Asir; R; HolonomicFunctions; DLMF; Kan; Macaulay2; …
Main Fields: Associative rings and algebras (16-XX); Several complex variables and analytic spaces (32-XX); Special functions (33-XX)

Azurite

Software Authors:   Alessandro Georgoudis, Kasper J. Larsen, Yang Zhang
Cited in: 20 Publications (2017–2021)
Related Software: Reduze; LiteRed; FIRE; FIRE5; Fuchsia; Kira; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-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)

Maria

Software Authors:   M"akel"a, Marko
Cited in: 19 Publications (2000–2021)
Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

LATIN

Software Authors:   Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
Cited in: 16 Publications (2011–2021)
Related Software: MMT; OMDoc; Isabelle; QMT; Mizar; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Riegeom

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

TeXmacs

Software Authors:   Van Der Hoeven, J.
Cited in: 15 Publications (2004–2021)
Related Software: Coq; Isabelle/HOL; Isabelle; GAP; OMDoc; Automath; …
Main Fields: Field theory and polynomials (12-XX); Special functions (33-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)

MathCheck

Software Authors:   Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof; Zulkoski, Edward
Cited in: 13 Publications (2015–2021)
Related Software: Lynx; Maple; FFTW; nsoks; Mathematica; SageMath; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-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)

MBSymba

Software Authors:   Lot, R.; Da Lio, M.
Cited in: 12 Publications (2004–2021)
Related Software: Maple; RODAS; SOCS; GEE; Python; CasADi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SDeval

Software Authors:   A. Heinle, V. Levandovskyy
Cited in: 11 Publications (2013–2020)
Related Software: SymbolicData; SINGULAR; Maple; SageMath; NCPOLY; ALLTYPES; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)

BPAS

Software Authors:   Changbo Chen, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Cited in: 7 Publications (2010–2023)
Related Software: FLINT; Magma; Cilk; modpn; Maple; gmp; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Cited in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MathDox

Software Authors:   A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro
Cited in: 10 Publications (2006–2014)
Related Software: ActiveMath; LeActiveMath; OMDoc; Electronic Geometry Textbook; STEX+; SPARQL; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Optics, electromagnetic theory (78-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)

VSDITLU

Software Authors:   Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U.
Cited in: 9 Publications (1999–2013)
Related Software: PVS; Automath; Maple; Analytica; OMRS; AXIOM; …
Main Fields: Group theory and generalizations (20-XX); Real functions (26-XX); Computer science (68-XX)

ADAM

Software Authors:   Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A, Laubenbacher R
Cited in: 8 Publications (2011–2020)
Related Software: Ginsim; Macaulay2; BoolNet; SNOOPY; Polynome; multistatepdscontrol; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Biology and other natural sciences (92-XX)

Cellerator

Software Authors:   Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D.
Cited in: 7 Publications (2005–2019)
Related Software: Mathematica; BIOCHAM; STOCHSIM; Matlab; Python; CplexA; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

FiniteFlow

Software Authors:   Tiziano Peraro
Cited in: 7 Publications (2020–2022)
Related Software: pySecDec; SecDec; Reduze; Kira; DiffExp; FIESTA; …
Main Fields: Combinatorics (05-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

Ginv

Software Authors:   Blinkov, Yu.A.; Gerdt, V.P.
Cited in: 8 Publications (2006–2014)
Related Software: Janet; Maple; AlgebraicThomas; DIFFALG; DifferentialThomas; RegularChains; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Partial differential equations (35-XX)

OpenDreamKit

Software Authors:   Michael Kohlhase
Cited in: 8 Publications (2016–2020)
Related Software: SageMath; MMT; GitHub; GAP; LMFDB; OEIS; …
Main Fields: Computer science (68-XX)

webDiscovery

Software Authors:   Botana, Francisco
Cited in: 7 Publications (2003–2015)
Related Software: CoCoA; Lugares; Cinderella; GEX; Geometer's Sketchpad; Mathematica; …
Main Fields: Commutative algebra (13-XX); Geometry (51-XX); Computer science (68-XX)

NLControl

Software Authors:   Belikov, J.,Kotta, Ü, Tõnso, M.
Cited in: 7 Publications (2016–2020)
Related Software: Mathematica; OreAlgebraicAnalysis; OreMorphisms; HolonomicFunctions; OreModules; Macaulay2; …
Main Fields: Real functions (26-XX); Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX)

PoCaB

Software Authors:   Samal, Satya Swarup; Errami, Hassan; Weber, Andreas
Cited in: 7 Publications (2012–2015)
Related Software: BioModels; polymake; z3; KEGG; REDLOG; SDeval; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

CHAMP

Software Authors:   Ulrich Thiel
Cited in: 6 Publications (2015–2022)
Related Software: Magma; GAP; CHEVIE; Nemo; Surfer; SINGULAR
Main Fields: Algebraic geometry (14-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-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)

ExaGeoStat

Software Authors:   Abdulah, S.; Ltaief, H.; Sun, Y.; Genton, M. G.; Keyes, D. E.
Cited in: 4 Publications (2018–2019)
Related Software: FRK; geoR; spBayes; R; G-LiHT; CRAN Task Views; …
Main Fields: Statistics (62-XX); Computer science (68-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)

LinModel

Software Authors:   Andrey V. Banshchikov
Cited in: 6 Publications (2009–2022)
Related Software: Mathematica
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Fluid mechanics (76-XX)

Phcmaple

Software Authors:   A. Leykin; J. Verschelde
Cited in: 6 Publications (2005–2016)
Related Software: PHCpack; RegularChains; Mathematica; HOM4PS; FGb; Fermat; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Numerical analysis (65-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; TIGRESS; SNOOPY
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ATISBAT

Software Authors:   Aguilera-Venegas, Gabriel; Galán-García, José L.; Mérida-Casermeiro, Enrique; Rodríguez-Cielos, Pedro
Cited in: 5 Publications (2014–2019)
Related Software: VRP
Main Fields: Functions of a complex variable (30-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: QEPCAD; MetiTarski; Maple; ProjectionCAD; RegularChains; SDeval; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-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)

FIDE

Software Authors:   R. Liska; L. Drsda
Cited in: 4 Publications (1989–2012)
Related Software: QEPCAD; REDUCE; REDLOG; SINGULAR
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)

MathATESAT

Software Authors:   Juan Félix San-Juan, Luis María López, Rosario López
Cited in: 3 Publications (2012–2014)
Related Software: TSA; tseries; ATESAT; Astrodynamics; RODAS; Forecast; …
Main Fields: Mechanics of particles and systems (70-XX)

CALYPSO

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

EinS

Software Authors:   Klioner, S.A
Cited in: 4 Publications (1998–2007)
Related Software: MathTensor; EXCALC; REDUCE; Mathematica; STL; FORM; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-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)

Affine.m

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

ASpecPaired-Matrix

Software Authors:   Ana C. Conceição , José C. Pereira
Cited in: 3 Publications (2014–2021)
Related Software: ASpecPaired-Scalar; Mathematica; SInt
Main Fields: Functions of a complex variable (30-XX); Integral equations (45-XX); Operator theory (47-XX)

ASpecPaired-Scalar

Software Authors:   Ana C. Conceição , José C. Pereira
Cited in: 3 Publications (2014–2021)
Related Software: ASpecPaired-Matrix; Mathematica; SInt
Main Fields: Functions of a complex variable (30-XX); Integral equations (45-XX); Operator theory (47-XX)

BIBasis

Software Authors:   Zinin, M.V.
Cited in: 3 Publications (2008–2012)
Related Software: FGb; Database of Polynomial Systems; PoSSo; SATLIB; REDUCE; Macaulay2; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); Computer science (68-XX)

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)

FDCD

Software Authors:   Gao, Min; Kato, Yasuyuki; Ito, Masaaki
Cited in: 3 Publications (2002–2009)
Related Software: CONDENS; InvariantsSymmetries; REDUCE; Maple; DifferentialGeometry; DDEDensityFlux; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Difference and functional equations (39-XX)

LPDO

Software Authors:   Shemyakova, Ekaterina
Cited in: 3 Publications (2013–2016)
Related Software: Maple; GraphTheory
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Integral transforms, operational calculus (44-XX)

MultivariateApart

Software Authors:   Matthias Heller, Andreas von Manteuffel
Cited in: 2 Publications (2021–2022)
Related Software: pySecDec; SecDec; FIESTA; Reduze; Kira; LiteRed; …
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-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)

OpenAxiom

Software Authors:   –
Cited in: 3 Publications (2009–2011)
Related Software: AXIOM; Poly/ML; ALDOR; Maple; Isabelle; FoCaL; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)

ProbRel

Software Authors:   Poloskov, Igor E.
Cited in: 3 Publications (2003–2020)
Related Software: MomCumConvert; Mathematica; R; Matlab
Main Fields: Statistics (62-XX); Computer science (68-XX)

XSSR

Software Authors:   Hofbauer, Dieter; Otto, Friedrich; Kögl, Christoph; Madlener, Klaus E.
Cited in: 3 Publications (2002–2003)
Related Software: CMPSm; TOPCOM; ALLTYPES; ALDOR; SNAP; SIMATH; …
Main Fields: General and overarching topics; collections (00-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

AsirPad

Software Authors:   Fujimoto, M., Suzuki, M.
Cited in: 0 Publications
Related Software: Maxima on Android; Risa/Asir
Main Fields: Computer science (68-XX)

3BA

Software Authors:   Horáček, Jan; Kreuzer, Martin
Cited in: 2 Publications (2018)
Related Software: ATAME; Axl; Francy; DiscreteZOO; libtropicon; Theoryguru; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

CABAL

Software Authors:   Norman, Arthur; Fitch, John
Cited in: 2 Publications (1997–2002)
Related Software: CS; gfun; COBALG
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

InequationPlot

Software Authors:   Ipanaqué, R.; Iglesias, A.
Cited in: 2 Publications (2004–2006)
Related Software: Maple; Mathematica
Main Fields: Real functions (26-XX); Computer science (68-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)

LSSS

Software Authors:   Wolf, Thomas; Schr"ufer, Eberhard; Webster, Kenneth
Cited in: 2 Publications (2012–2020)
Related Software: streamsolve.red; CRACK; REDUCE; Maple; LinBox
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

MASA

Software Authors:   Malaya, N., Estacio-Hiroms, K. C., Stogner, R. H., Schulz, K. W., Bauman, P. T., Carey, G. F.
Cited in: 2 Publications (2014–2015)
Related Software: Spalart-Allmaras; libMesh; PETSc; SENSEI; NUMERICA; Python; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

MathTOUCH

Software Authors:   Shirai, Shizuka; Fukui, Tetsuo; Yoshitomi, Kentaro; Kawazoe, Mitsuru; Nakahara, Takahiro; Nakamura, Yasuyuki; Kato, Katsuya; Taniguchi, Tetsuya
Cited in: 2 Publications (2018)
Related Software: MeLQS; Maxima; Mathematica; Maple
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

MMTTeX

Software Authors:   Rabe, Florian
Cited in: 2 Publications (2019)
Related Software: Isabelle; LaTeX; Plat-Omega; Mizar; Isabelle/PIDE; MMT; …
Main Fields: General and overarching topics; collections (00-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: tinygb; FLINT; 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)

OSCAR

Software Authors:   Wolfram Decker; Claus Fieker; Max Horn; Michael Joswig; et al.
Cited in: 2 Publications (2020)
Related Software: Letterplace; SageMath; SINGULAR; Ncpoly; NCGB; SDeval; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Pinocchio

Software Authors:   Carpentier, J., Saurel, G., Buondonno, G., Mirabel, J., Lamiraux, F., Stasse, O., Mansard, N.
Cited in: 2 Publications (2022)
Related Software: FORCES NLP; MATMPC; ParNMPC; VIATOC; GRAMPC; fast_mpc; …
Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

PowerSeries

Software Authors:   Alvandi, Parisa; Kazemi, Mahsa; Maza, Marc Moreno
Cited in: 1 Publication (2016)
Related Software: RegularChains; Mathematica; SageMath; SolveTools; BPAS; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Real functions (26-XX)

ratappr

Software Authors:   Popov, B., Laushnyk, O.
Cited in: 2 Publications (2003–2016)
Related Software: evalhf; numapprox; SLEEF; Maple
Main Fields: Real functions (26-XX); Approximations and expansions (41-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)

SRUMMA

Software Authors:   Manojkumar Krishnan, Jarek Nieplocha
Cited in: 2 Publications (2008–2010)
Related Software: ARMCI; MATLAB expm; mftoolbox; PUMMA; mctoolbox; SUMMA
Main Fields: Computer science (68-XX); Quantum theory (81-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)

WhyMP

Software Authors:   Melquiond, Guillaume; Rieu-Helft, Raphaël
Cited in: 2 Publications (2020–2023)
Related Software: HACL*; Why3; WhyML; Isabelle/HOL
Main Fields: Computer science (68-XX)

ADIL

Software Authors:   Fateman, Richard
Cited in: 1 Publication (2014)
Related Software: PMAD; Matlab; Maple
Main Fields: Computer science (68-XX)

AutHyp

Software Authors:   Mertens, Michael H.
Cited in: 1 Publication (2014)
Related Software: CARAT; Magma
Main Fields: Number theory (11-XX)

CATO

Software Authors:   Hans-Dieter Janetzko
Cited in: 0 Publications
Related Software: Matlab
Main Fields:

ConwayPol

Software Authors:   Lübeck, F
Cited in: 1 Publication (2011)
Related Software: Magma
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX)

DSR Open Lab

Software Authors:   Kolodnytsky, M.; Kovalchuk, A.; Kuryata, S.; Levitsky, V.
Cited in: 1 Publication (2000)
Related Software: Mathcad; Matlab; Mathematica; Maple
Main Fields: 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: Real functions (26-XX); Computer science (68-XX)