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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Software Authors:   Michael Kohlhase

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Software Authors:   Fujimoto, M., Suzuki, M.

Cited in:	0 Publications
Related Software:	Maxima on Android; Risa/Asir
Main Fields:	Computer science (68-XX)

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)

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)

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)

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)

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)

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)

Software Authors:   Deguchi Hiroaki

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Software Authors:   Fateman, Richard

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

Software Authors:   Mertens, Michael H.

Cited in:	1 Publication (2014)
Related Software:	CARAT; Magma
Main Fields:	Number theory (11-XX)

Software Authors:   Hans-Dieter Janetzko

Cited in:	0 Publications
Related Software:	Matlab
Main Fields:	–

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)

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)

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)