×

Found 1,828 Software Packages (Results 1–100)

a-tint

Cited in 12 Documents (2014–2022)
Software Authors: Hampe, Simon
Related Software: polymake; SINGULAR; Gfan; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Geometry (51-XX); …

ABC

Cited in 303 Documents (2007–2024)
Software Authors: Karaboga, Dervis; Basturk, Bahriye
Related Software: GSA; GWO; WOA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ABC4EFT

Cited in 14 Documents (2012–2023)
Software Authors: Li, Hao-Lin; Ren, Zhe; Xiao, Ming-Lei; Yu, Jiang-Hao; Zheng, Yu-Hui
Related Software: Z; REPSN; AIM@SHAPE; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX); …

abelfunctions

Cited in 3 Documents (2017–2022)
Software Authors: C. Swierczewski et al.
Related Software: GitHub; HomotopyContinuation; Polyhedral; …
Main Fields: Algebraic geometry (14-XX); Geometry (51-XX)

absfact.lib

Cited in 3 Documents (2007–2021)
Software Authors: Wolfram Decker, Gregoire Lecerf, Gerhard Pfister
Related Software: SINGULAR; Magma; CindyJS; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

ACE

Cited in 13 Documents (1997–2010)
Software Authors: Veigneau, S.
Related Software: Maple; SF; MACSYMA; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

ACL2

Cited in 290 Documents (1998–2024)
Software Authors: Matt Kaufmann, Strother Moore
Related Software: Coq; Isabelle/HOL; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …

AClib

Cited in 12 Documents (2002–2022)
Software Authors: Karel Dekimpe, Bettina Eick
Related Software: GAP; Polycyclic; Polenta; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX); …

Adam

Cited in 1,829 Documents (2016–2024)
Software Authors: Diederik P. Kingma, Jimmy Ba
Related Software: TensorFlow; PyTorch; ImageNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ADAM

Cited in 10 Documents (2011–2023)
Software Authors: Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A, Laubenbacher R
Related Software: Macaulay2; Ginsim; BoolNet; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); …

ADIFOR

Cited in 254 Documents (1992–2023)
Software Authors: Bischof, Christian; Carle, Alan; Corliss, George; Griewank, Andreas
Related Software: ADOL-C; ADIC; TAPENADE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Adinkras

Cited in 32 Documents (2005–2023)
Software Authors: Zhang, Yan X.
Related Software: HEPTHools; LieART; Adinkra.m; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

adjointideal.lib

Cited in 1 Document (2017)
Software Authors: J. Böhm, W. Decker, S. Laplagne, F. Seelisch
Related Software: normal.lib; paraplanecurves.lib; locnormal.lib; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

admcycles

Cited in 19 Documents (2019–2024)
Software Authors: Vincent Delecroix, Johannes Schmitt, Jason van Zelm
Related Software: SageMath; diffstrata; CoCalc; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Functions of a complex variable (30-XX); …

AETG

Cited in 68 Documents (1998–2024)
Software Authors: Cohen, D. M.; Dalal, S. R.; Fredman, M. L.; Patton, G. C.
Related Software: CAgen; ACTS; Tabu search; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Statistics (62-XX); …

AGADE

Cited in 1 Document (2023)
Software Authors: J.J. Mitteramskogler
Related Software: Maple
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

AGD

Cited in 12 Documents (1990–2011)
Software Authors: Gutwenger, Carsten; Jünger, Michael; Klau, Gunnar W.; Leipert, Sebastian; Mutzel, Petra; Weiskircher, René
Related Software: ABACUS; LEDA; ViSta; …
Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

Agda

Cited in 246 Documents (1999–2024)
Software Authors: Ulf Norell
Related Software: Coq; Haskell; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

AGL-Score

Cited in 3 Documents (2021–2022)
Software Authors: D. Nguyen; G.-W. Wei
Related Software: TopologyNet; CliqueTop; HERMES; …
Main Fields: Differential geometry (53-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); …

AI2

Cited in 27 Documents (2020–2024)
Software Authors: Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T.
Related Software: Reluplex; Marabou; ImageNet; …
Main Fields: Algebraic geometry (14-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …

AIDA

Cited in 51 Documents (2007–2014)
Software Authors: Evelyn Hubert
Related Software: DIFFALG; Maple; FGb; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX); …

AIM@SHAPE

Cited in 17 Documents (2008–2020)
Software Authors:
Related Software: PcGets; ABC4EFT; CHOLMOD; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

ainvar.lib

Cited in 1 Document (2003)
Software Authors: Pfister, G., Greuel, G.-M.
Related Software: rinvar.lib; Magma; finvar.lib; …
Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

AIR

Cited in 33 Documents (2010–2021)
Software Authors: C. Anastasiou, A. Lazopoulos
Related Software: Reduze; FIRE; LiteRed; …
Main Fields: Algebraic geometry (14-XX); Algebraic topology (55-XX); Global analysis, analysis on manifolds (58-XX); …

AKIRA

Cited in 10 Documents (2005–2011)
Software Authors: Pezzulo, Giovanni; Calvi, Gianguglielmo
Related Software: CUMODP; CoCoA; DIANE; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX); …

alcove

Cited in 2 Documents (2023)
Software Authors: Leuner, M.
Related Software: GitHub; SINGULAR; Julia; …
Main Fields: Combinatorics (05-XX); Real functions (26-XX); Several complex variables and analytic spaces (32-XX); …

ALDOR

Cited in 26 Documents (1997–2014)
Software Authors: aldor.org; Bronstein, Manuel
Related Software: AXIOM; Maple; SageMath; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Category theory; homological algebra (18-XX); …

alexander

Cited in 1 Document (2008)
Software Authors: M. Barakat; D. Robertz
Related Software: Janet; SINGULAR; MatricesForHomalg; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX)

AlexNet

Cited in 790 Documents (2014–2024)
Software Authors: Alex Krizhevsky, Ilya Sutskever, Geoffrey E Hinton
Related Software: ImageNet; Adam; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

alfonso

Cited in 9 Documents (2022–2023)
Software Authors: Dávid Papp, Sercan Yıldız
Related Software: DDS; Mosek; ECOS; …
Main Fields: Algebraic geometry (14-XX); Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); …

algcurves

Cited in 18 Documents (2003–2023)
Software Authors: van Hoeij, M.; Bernard Deconinck; Matthew S. Patterson
Related Software: Maple; Matlab; SageMath; …
Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Several complex variables and analytic spaces (32-XX); …

Algebraic kernel

Cited in 1 Document (2013)
Software Authors: E. Berberich, M. Hemmer, S. Lazard, L. Peñaranda, M. Teillaud
Related Software: 2D Arrangement; Maple; ISOLATE; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)

AlgebraicGeometryTools

Cited in 1 Document (2014)
Software Authors: Parisa Alvandi, Marc Moreno Maza, Paul Vrbik et.al
Related Software: Wsolve; RegularChains; Epsilon
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

AlgebraicOptimization

Cited in 2 Documents (2020–2023)
Software Authors: Härkönen, Marc; Hollering, Benjamin; Kashani, Fatemeh Tarashi; Rodriguez, Jose Israel
Related Software: Macaulay2; Maple; crntwin; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Statistics (62-XX); …

AlgebraicSplines

Cited in 1 Document (2017)
Software Authors: Michael DiPasquale; Gwyn Whieldon; Eliana Duarte; Daniel Irving Bernstein
Related Software: Macaulay2
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Several complex variables and analytic spaces (32-XX)

AlgebraicSurface

Cited in 2 Documents (2006–2014)
Software Authors: Oliver Labs
Related Software: surfex; SINGULAR
Main Fields: Algebraic geometry (14-XX)

AlgebraicThomas

Cited in 6 Documents (2010–2021)
Software Authors: Thomas Bächler
Related Software: DifferentialThomas; RegularChains; Maple; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Ordinary differential equations (34-XX); …

ALGOL 68

Cited in 280 Documents (1969–2019)
Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G.
Related Software: ALGOL 60; Simula 67; Ada95; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

Algorithm 447

Cited in 188 Documents (1974–2024)
Software Authors: J. Hopcroft; R. Tarjan
Related Software: SCIP; R; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

Algorithm 457

Cited in 162 Documents (1973–2024)
Software Authors: Bron, Coen; Kerbosch, Joep
Related Software: DIMACS; CPLEX; MaxCliqueDyn; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Algorithm 628

Cited in 6 Documents (1985–2009)
Software Authors: Winkler, F.; Buchberger, B.; Lichtenberger, F.; Rolletschek, H.
Related Software: SYMMGRP; FGb
Main Fields: History and biography (01-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

Algorithm 862

Cited in 90 Documents (2006–2024)
Software Authors: Brett W. Bader; Tamara G. Kolda
Related Software: TensorToolbox; Matlab; Tensorlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Algorithm 931

Cited in 12 Documents (2013–2024)
Software Authors: Hao, Wenrui; Sommese, Andrew J.; Zeng, Zhonggang
Related Software: Bertini; PHCpack; Matlab; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Algorithm 97

Cited in 297 Documents (1971–2024)
Software Authors: Robert W. Floyd
Related Software: CPLEX; OR-Library; Tabu search; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Algorithm 999

Cited in 14 Documents (2019–2023)
Software Authors: Speleers, Hendrik
Related Software: mctoolbox; lp_solve; ISOGAT; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Approximations and expansions (41-XX); …

AlgoRun

Cited in 2 Documents (2017–2019)
Software Authors: A. Hosny, P. Vera-Licona, R. Laubenbacher, T. Favre
Related Software: Docker; Metatool; Macaulay2
Main Fields: Commutative algebra (13-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

algstat

Cited in 2 Documents (2018–2019)
Software Authors: Kahle, D., Garcia-Puente, L., Yoshida, R.
Related Software: R; 4ti2; dplyr; …
Main Fields: Commutative algebra (13-XX); Statistics (62-XX)

Aligator

Cited in 12 Documents (2008–2023)
Software Authors: Kovács, Laura
Related Software: Mathematica; fastZeil; Dependencies; …
Main Fields: Combinatorics (05-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Aligator.jl

Cited in 7 Documents (2018–2023)
Software Authors: Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura
Related Software: Dependencies; Aligator; SymPy; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Computer science (68-XX)

ALLTYPES

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

alphaCertified

Cited in 68 Documents (2011–2024)
Software Authors: Jonathan D. Hauenstein; Frank Sottile
Related Software: Bertini; Macaulay2; PHCpack; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

ALTRAN

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

AMBRE

Cited in 36 Documents (2002–2023)
Software Authors: J. Gluza, K. Kajda, T. Riemann
Related Software: FIESTA; MBresolve; MBasymptotics; …
Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX); …

AMD

Cited in 65 Documents (2004–2023)
Software Authors: Amestoy, Patrick R.; Enseeith-Irit; Davis, Timothy A.; Duff, Iain S.
Related Software: SparseMatrix; CSparse; Matlab; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

AMDiS

Cited in 54 Documents (2006–2024)
Software Authors: Simon Praetorius
Related Software: UMFPACK; DUNE; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

Amoeba Generator

Cited in 3 Documents (2011–2023)
Software Authors: Leksell, Magnus; Komorowski, Wojciech
Related Software: Amoebas.ru; GitHub; PolynomialAmoebas.jl; …
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Computer science (68-XX)

Amoebas.ru

Cited in 2 Documents (2023)
Software Authors: Zhukov, T. A.; Sadykov, T. M.
Related Software: Amoeba Generator; GitHub; PolynomialAmoebas.jl; …
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Computer science (68-XX)

AMPL

Cited in 656 Documents (1989–2024)
Software Authors: Fourer, R., Gay, D.M., Kernighan, B.W.
Related Software: CPLEX; Ipopt; GAMS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

amplituhedronBoundaries

Cited in 8 Documents (2020–2023)
Software Authors: Łukowski, Tomasz; Moerman, Robert
Related Software: positroids; MaTeX; Mathematica; …
Main Fields: Combinatorics (05-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX); …

AMRCFI

Cited in 4 Documents (2011–2017)
Software Authors: Q. Zhang
Related Software: GePUP; SADoRe; MARS; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

ANewDsc

Cited in 15 Documents (2016–2023)
Software Authors: Kobel, Alexander; Rouillier, Fabrice; Sagraloff, Michael
Related Software: ISOLATE; Ccluster; Arb; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Functions of a complex variable (30-XX); …

ANICK

Cited in 11 Documents (1996–2022)
Software Authors: Podoplelov, Alexander
Related Software: BERGMAN; SINGULAR; NCGB; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); …

Antic

Cited in 2 Documents (2016–2017)
Software Authors: Hart, B.
Related Software: FLINT; SINGULAR; Julia; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

ANTIGONE

Cited in 128 Documents (2014–2023)
Software Authors: Misener, Ruth; Floudas, Christodoulos A.
Related Software: SCIP; BARON; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

antom

Cited in 5 Documents (2012–2021)
Software Authors: Sven Reimer, Tobias Schubert
Related Software: CryptoMiniSat; ApCoCoA; FGb; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); Computer science (68-XX); …

ApaTools

Cited in 16 Documents (2008–2020)
Software Authors: Zeng, Zhonggang
Related Software: MultRoot; PHCpack; Bertini; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

ApCoCoA

Cited in 29 Documents (2009–2024)
Software Authors: Kreuzer, Martin; Poulisse, Henk
Related Software: CoCoA; SageMath; GAP; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX); …

ape

Cited in 61 Documents (2004–2024)
Software Authors: Emmanuel Paradis, Ben Bolker, Julien Claude, Hoa Sien Cuong,Richard Desper, Benoit Durand, Julien Dutheil, Olivier Gascuel,Christoph Heibl, Daniel Lawson, Vincent Lefort, PierreLegendre, Jim Lemon, Yvonnick Noel, Johan Nylander, RainerOpgen-Rhein, Andrei-Alin Popescu, Klaus Schliep, KorbinianStrimmer, Damien de Vienne
Related Software: R; phytools; ggplot2; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

APECS

Cited in 14 Documents (1994–2011)
Software Authors: Ian Connell
Related Software: ecdata; PARI/GP; mwrank; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX)

Approxrl

Cited in 43 Documents (2011–2023)
Software Authors: Lucian Busoniu
Related Software: ElemStatLearn; GitHub; Scikit; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

APS

Cited in 27 Documents (1993–2023)
Software Authors: Letichevsky, A.A.; Kapitonova, J.V.; Konozenko, S.V.
Related Software: APS-1; hiCUDA; BSGP; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX); …

APS-1

Cited in 30 Documents (1992–2023)
Software Authors: Letichevskij, A.A.; Krivoj, S.L.
Related Software: APS; Archive Formal Proofs; cubicaltt; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX); …

AQCS

Cited in 15 Documents (2000–2023)
Software Authors: Ratschan, S
Related Software: QEPCAD; IbexOpt; Numerica; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Numerical analysis (65-XX); …

Arb

Cited in 81 Documents (2015–2024)
Software Authors: Fredrik Johansson
Related Software: DLMF; SageMath; Julia; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Partial differential equations (35-XX); …

Archive Formal Proofs

Cited in 279 Documents (1963–2024)
Software Authors: Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias
Related Software: Isabelle/HOL; Isabelle; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

ARIBAS

Cited in 9 Documents (1996–2018)
Software Authors: O. Forster
Related Software: PARI/GP; LiDIA
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Computer science (68-XX); …

arithmetic-geometric_mean

Cited in 1 Document (2019)
Software Authors: Sijsling, Jeroen
Related Software: endomorphisms; GitHub; LMFDB; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX)

ARPACK

Cited in 893 Documents (1995–2024)
Software Authors: Lehoucq; Sorensen; Yang
Related Software: eigs; JDQZ; JDQR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

arrangements

Cited in 6 Documents (2019–2022)
Software Authors: Palezzato, Elisa; Torielli, Michele
Related Software: CoCoALib; CoCoA
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX); …

assprimeszerodim.lib

Cited in 1 Document (2011)
Software Authors: N. Idrees; G. Pfister; A. Steenpass; S. Steidel
Related Software: modstd.lib; PoSSo; SymbolicData; …
Main Fields: Commutative algebra (13-XX); Numerical analysis (65-XX); Computer science (68-XX)

ASYS

Cited in 1 Document (1993)
Software Authors: Gerdt, V.P.; Khutornoj, N.V.; Zharkov, A.Yu.
Related Software: Felix; REDUCE
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

ATENSOR

Cited in 12 Documents (1996–2021)
Software Authors: V.A. Ilyin, A.P. Kryukov
Related Software: MathTensor; Riegeom; Invar; …
Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX); …

ATLANTIS

Cited in 2 Documents (2019–2021)
Software Authors: Shah, O. S.; Chaudhary, M. F.A.; Awan, H. A.; Fatima, F.; Arshad, Z.; Amina, B.; Ahmed, M.; Hameed, H.; Furqan, M.; Khalid, S.
Related Software: Ginsim; BoolNet; PyBoolNet; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Biology and other natural sciences (92-XX)

ATLAS

Cited in 187 Documents (1992–2023)
Software Authors: R. Clint Whaley
Related Software: LAPACK; BLAS; PHiPAC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ATLAS Group Representations

Cited in 240 Documents (1997–2024)
Software Authors: Abbott, R., Bray, J., Linton, S., Nickerson, S., Norton, S., Parker, R., Suleiman, I., Tripp, J., Walsh, P., Wilson, R.
Related Software: GAP; Magma; CTblLib; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Atlas of Lie Groups

Cited in 17 Documents (2008–2023)
Software Authors: Noël, Alfred G.
Related Software: Mathematica
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

Audi

Cited in 2 Documents (2012–2023)
Software Authors: Dario Izzo; Francesco Biscani
Related Software: gmp; ADOL-C; Eigen; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Numerical analysis (65-XX); …

autgradalg.lib

Cited in 2 Documents (2018–2022)
Software Authors: Simon Keicher
Related Software: MDSpackage; Gfan; SINGULAR
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX)

AUTO

Cited in 1,016 Documents (1981–2024)
Software Authors: Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Related Software: AUTO-07P; HomCont; AUTO-86; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

AUTO-86

Cited in 280 Documents (1987–2022)
Software Authors: Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Related Software: AUTO; PITCON; DSTool; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

AutoCAD

Cited in 38 Documents (1987–2021)
Software Authors: Autodesk Inc
Related Software: ANSYS; Revolution Studio; drmemory; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

AVIsogenies

Cited in 13 Documents (2013–2023)
Software Authors: G. Bisson, R. Cosset, D. Robert
Related Software: Magma; GitHub; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Axel

Cited in 23 Documents (2005–2023)
Software Authors: Julien Wintz; Bernard Mourrain; Anaïs Ducoffe; Meriadeg Perrinel; Angelos Mantzaflaris
Related Software: insulate; SINGULAR; SYNAPS; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX); …

AXIOM

Cited in 173 Documents (1992–2022)
Software Authors: Tim Daly, et al.; http://wiki.axiom-developer.org/axiom-website/community.html
Related Software: Maple; Mathematica; REDUCE; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Axl

Cited in 4 Documents (2018–2021)
Software Authors: Christoforou, Emmanouil; Mantzaflaris, Angelos; Mourrain, Bernard; Wintz, Julien
Related Software: Voronoi; Julia; G+Smo; …
Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Axodraw

Cited in 120 Documents (1994–2024)
Software Authors: Vermaseren, J. A. M.
Related Software: JaxoDraw; FORM; Reduze; …
Main Fields: Number theory (11-XX); Operator theory (47-XX); Mechanics of particles and systems (70-XX); …

BARON

Cited in 420 Documents (1996–2024)
Software Authors: Sahinidis, Nikolaos V.
Related Software: CPLEX; GAMS; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Barreto-Naehrig

Cited in 16 Documents (2010–2023)
Software Authors: Beuchat, Jean-Luc; Gonz'alez-D{'i}az, Jorge E.; Mitsunari, Shigeo; Okamoto, Eiji; Rodr{'i}guez-Henr{'i}quez, Francisco; Teruya, Tadanori
Related Software: GitHub; SNARKs for C; SPECK; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

BasisDet

Cited in 1 Document (2012)
Software Authors: Zhang, Yang
Related Software: NGluon; HELAC-1LOOP; SAMURAI; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Quantum theory (81-XX)

BayesDA

Cited in 1,643 Documents (1997–2024)
Software Authors: Kjetil Halvorsen
Related Software: R; WinBUGS; Stan; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field