×

Found 8 Software Packages (Results 1–8)

DLMF

Software Authors:   Lozier, Daniel W.
Referenced in: 2,885 Publications (2000–2022)
Related Software: Mathematica; Matlab; OEIS; Chebfun; GitHub; Maple; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

MMT

Software Authors:   Florian Rabe
Referenced in: 51 Publications (2009–2022)
Related Software: OMDoc; QMT; Coq; Isabelle; Mizar; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

QMT

Software Authors:   Rabe, Florian
Referenced in: 22 Publications (2012–2022)
Related Software: MMT; Mizar; Isabelle; Coq; HOL Light; LATIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

sTeX

Software Authors:   Michael Kohlhase
Referenced in: 10 Publications (2008–2021)
Related Software: OMDoc; LaTeX; CTAN; LaTeXML; MMT; ActiveMath; …
Main Fields: Special functions (33-XX); Computer science (68-XX)

STEXIDE

Software Authors:   Jucovschi, Constantin; Kohlhase, Michael
Referenced in: 5 Publications (2010–2013)
Related Software: TNTBase; MMT; Mizar; LaTeXML; MathML; Hets; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

VMEXT

Software Authors:   Schubotz, Moritz; Meuschke, Norman; Hepp, Thomas; Cohl, Howard S.; Gipp, Bela
Referenced in: 6 Publications (2017–2022)
Related Software: DLMF; CitePlag; LaTeXML; Maple; LaTeX; BERT; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Computer science (68-XX)

DynGenPar

Software Authors:   Kofler, Kevin; Neumaier, Arnold
Referenced in: 1 Publication (2012)
Related Software:
Main Fields: Computer science (68-XX)

DSProlog

Software Authors:   Sebastian Hübner
Referenced in: 0 Publications
Related Software:
Main Fields: