Found 9 Software Packages (Results 1–9)

Algorithm 431

Software Authors:   Arunachalam Ravindran
Cited in: 24 Publications (1977–2005)
Related Software: CONTACT; IMSL Numerical Libraries; LINPACK
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Hampton, Marshall; Moeckel, Richard
Cited in: 20 Publications (2007–2022)
Related Software: SageMath; SINGULAR; MixedVol; DEMiCs; PHCpack; Mathematica; …
Main Fields: Commutative algebra (13-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)


Software Authors:   Hillar, Christopher J.; Del Campo, Abraham Martín
Cited in: 8 Publications (2013–2020)
Related Software: symmChainGens; 4ti2; PieriMaps; Letterplace; LDA; Janet; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)


Software Authors:   Frédéric Chyzak
Cited in: 8 Publications (1998–2018)
Related Software: Macaulay2; SINGULAR; Maple; 4ti2; Gfan; Risa/Asir; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)


Software Authors:   Bogley, William A.; Parker, Forrest W.
Cited in: 5 Publications (2018–2022)
Related Software: GAP; kbmag; Magma
Main Fields: Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX)


Software Authors:   A. Williams
Cited in: 4 Publications (2011–2021)
Related Software: kbmag; Magma; GAP; SnapPy
Main Fields: Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX); Computer science (68-XX)


Software Authors:   Hancilar, U.; Tuzun, C.; Yenidogan, C.; Erdik, M.
Cited in: 1 Publication (2018)
Related Software: OpenStreetMap; Optimization Toolbox
Main Fields: Operations research, mathematical programming (90-XX)


Software Authors:   Microsoft Corporation, Inria
Cited in: 1 Publication (2016)
Related Software: MathComp.tuple; Fiat; OCaml; Why3; Isabelle/HOL; Coq
Main Fields: Computer science (68-XX)


Software Authors:   Stefan Kohl
Cited in: 0 Publications
Related Software:
Main Fields: