HolonomicFunctions Software Authors: Christoph Koutschan Cited in: 56 Publications (2009–2022) Related Software: Mathematica; SINGULAR; gfun; Plural; OEIS; DLMF; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
CHyQMOM Software Authors: Fox, Rodney O.; Laurent, Frédérique; Vié, Aymeric Cited in: 12 Publications (2018–2023) Related Software: QBMMlib; OPQ; LAPACK; OpenQBMM; Fluidity; MFC; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
ore_algebra Software Authors: Kauers, Manuel; Jaroschek, Maximilian; Johansson, Fredrik Cited in: 13 Publications (2015–2021) Related Software: SageMath; DLMF; gfun; GeneratingFunctions; HolonomicFunctions; NumGfun; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Special functions (33-XX)
Myhill-Nerode Software Authors: Wu, Chunhan; Zhang, Xingyuan; Urban, Christian Cited in: 11 Publications (2011–2020) Related Software: Archive Formal Proofs; Regular Sets; Presburger Automata; Coq; Isabelle/HOL; MSO_Regex_Equivalence; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
UnQL Software Authors: Peter Buneman, Mary Fernandez, Dan Suciu Cited in: 10 Publications (2006–2018) Related Software: XPath; XQuery; XDuce; CDuce; Quilt; GRoundTram; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Mgfun 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)
IntegerSequences Software Authors: Rowland, Eric Cited in: 5 Publications (2018–2022) Related Software: SageMath; Mathematica; OEIS; Magma; SINGULAR; 3BA; … Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Group theory and generalizations (20-XX)
Jphase Software Authors: Pérez, J. F.; Riaño, G. Cited in: 4 Publications (2012–2020) Related Software: HyperStar; Butools; PhFit; MARCA; mdp; PRISM; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
VPAlib Software Authors: Nguyen H. Cited in: 5 Publications (2004–2021) Related Software: Bebop; OpenNWA; GitHub; Java-MOP; SPIN; BLAST; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OpenNWA Software Authors: Evan Driscoll; Aditya Thakur; Thomas Reps Cited in: 3 Publications (2015–2021) Related Software: VPAlib; GitHub; Java-MOP; Bebop; SPIN; BLAST; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Cliplus Software Authors: Rafal Ablamowicz; Bertfried Fauser Cited in: 3 Publications (2005–2022) Related Software: CLIFFORD; BIGEBRA; SymGroupAlgebra; Octonion; SchurFkt; GfG; … Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
DReX Software Authors: Alur, Rajeev; D'Antoni, Loris; Raghothaman, Mukund Cited in: 3 Publications (2015–2022) Related Software: – Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Tree Automata Software Authors: Peter Lammich Cited in: 3 Publications (2012–2019) Related Software: Archive Formal Proofs; Isabelle/HOL; Light-weight Containers; CeTA; Isabelle; Real_Impl; … Main Fields: Computer science (68-XX)
ALG.txt Software Authors: Kauers, Manuel; Zeilberger, Doron Cited in: 1 Publication (2018) Related Software: – Main Fields: Difference and functional equations (39-XX); Sequences, series, summability (40-XX); Computer science (68-XX)
JSNice Software Authors: Raychev, Veselin; Vechev, Martin; Krause, Andreas Cited in: 1 Publication (2015) Related Software: Merlin; TypeScript; JavaScript Main Fields: Computer science (68-XX)
PANORMUS-SPH Software Authors: Napoli, Enrico; De Marchis, Mauro; Vitanza, Enrico Cited in: 1 Publication (2015) Related Software: – Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)