×

Found 16 Software Packages (Results 1–16)

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)

ore_algebra

Software Authors:   Kauers, Manuel; Jaroschek, Maximilian; Johansson, Fredrik
Cited in: 13 Publications (2015–2021)
Related Software: SageMath; gfun; DLMF; GeneratingFunctions; HolonomicFunctions; OreTools; …
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; MongoDB; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

CHyQMOM

Software Authors:   Fox, Rodney O.; Laurent, Frédérique; Vié, Aymeric
Cited in: 7 Publications (2018–2022)
Related Software: OPQ; OpenQBMM; Fluidity; MFC; Mathematica; QBMMlib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Mgfun

Software Authors:   Frédéric Chyzak
Cited in: 8 Publications (1998–2018)
Related Software: Macaulay2; SINGULAR; Maple; Gfan; 4ti2; 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; ATAME; …
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)