PolyMesher Software Authors: Talischi, Cameron; Paulino, Glaucio H.; Pereira Anderson; Menezes, Ivan F.M. Cited in: 178 Publications (2012–2023) Related Software: PolyTop; Matlab; Triangle; DistMesh; MRST; iFEM; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Kenzo Software Authors: Rubio, Julio; Sergeraert, Francis; Yvon Siret; Xavier Dousson Cited in: 67 Publications (2000–2023) Related Software: EAT; ACL2; Coq; HAP; GAP; CHomP; … Main Fields: Commutative algebra (13-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX)
CHomP Software Authors: http://chomp.rutgers.edu/People.html Cited in: 53 Publications (2006–2023) Related Software: GAP; CAPD; Perseus; RedHom; Kenzo; Homology; … Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)
UMAP Software Authors: Leland McInnes, John Healy, James Melville Cited in: 36 Publications (2020–2022) Related Software: t-SNE; Scikit; word2vec; GitHub; PyTorch; ImageNet; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
insulate Software Authors: Seidel, Raimund; Wolpert, Nicola Cited in: 24 Publications (2005–2021) Related Software: ISOLATE; Maple; Lgp; CGAL; Axel; 2D Arrangement; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
Axel Software Authors: Julien Wintz; Bernard Mourrain; Anaïs Ducoffe; Meriadeg Perrinel; Angelos Mantzaflaris Cited in: 22 Publications (2005–2020) Related Software: insulate; SINGULAR; SYNAPS; Lgp; Mathematica; Maple; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)
VFC package Software Authors: Pardon, John Cited in: 21 Publications (2015–2022) Related Software: – Main Fields: Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); Differential geometry (53-XX)
EAT Software Authors: Francis Sergeraert; Julio Rubio Cited 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)
LearningAlgebraicVarieties Software Authors: Breiding, Paul; Kalisnik, Sara; Sturmfels, Bernd; Weinstein, Madeleine Cited in: 11 Publications (2018–2022) Related Software: Macaulay2; Bertini; PersistenceImages; IntDim; javaPlex; GitHub; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Algebraic topology (55-XX)
TituRel Software Authors: Gunther Schmidt Cited in: 8 Publications (2007–2015) Related Software: RelView; Haskell; Algorithm 97; Z; Ralf; Rath; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
fKenzo Software Authors: Heras, J.; Pascual, V.; Rubio, J.; Sergeraert, F. Cited in: 6 Publications (2011–2018) Related Software: Kenzo; HAP; GAP; OpenMath; SCSCP; ACL2; … Main Fields: Algebraic topology (55-XX); Computer science (68-XX)
RIVET Software Authors: Michael Lesnick, Matthew Wright Cited 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)
Flagser Software Authors: Daniel Luetgehetmann, Dejan Govc, Jason Smith, Ran Levi Cited in: 3 Publications (2020–2021) Related Software: Ripser; GitHub; Scikit; Persistence Landscape; Gudhi; PHAT; … Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)
Axl Software Authors: Christoforou, Emmanouil; Mantzaflaris, Angelos; Mourrain, Bernard; Wintz, Julien Cited in: 4 Publications (2018–2021) Related Software: Voronoi; Julia; G+Smo; dtk; VTK; 3BA; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
SARAG Software Authors: Caruso, Fabrizio Cited in: 3 Publications (2006–2008) Related Software: GAP; ISOLATE; gnuplot; Maxima; NZMATH; SgpViz; … Main Fields: General and overarching topics; collections (00-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)
Cubical Ripser Software Authors: Shizuo Kaji, Takeki Sudo, Kazushi Ahara Cited in: 0 Publications Related Software: Ripser++; Flagser; PersistenceDiagrams.jl; ComputationalHomology.jl; Sparips.jl; PersistentCohomology.jl; … Main Fields: –
Polytop Software Authors: Brake, Danielle A.; Hauenstein, Jonathan D.; Regan, Margaret H. Cited in: 2 Publications (2018) Related Software: Bertini_real; javaPlex; Bertini; 3BA; ATAME; Axl; … Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
LARLIB Software Authors: Francesco Furiani, Giulio Martella, Alberto Paoluzzi Cited in: 0 Publications Related Software: Algorithm 447; CGAL; TensorFlow; Julia Main Fields: –
Sheafhom 2.0 Software Authors: McConnell, Mark Cited in: 1 Publication (2007) Related Software: Sheafhom; Macaulay2 Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)
SimplicialVIEW Software Authors: Coutinho, Murilo G.; Jonckheere, Edmond A. Cited in: 1 Publication (1997) Related Software: – Main Fields: Numerical analysis (65-XX)
tangle-network-particle-filter Software Authors: Tslil, Or; Feiner, Tal; Carmi, Avishy Cited in: 1 Publication (2021) Related Software: GitHub Main Fields: Systems theory; control (93-XX)