×

Found 7 Software Packages (Results 1–7)

Wolfram Functions Site

Software Authors:   Wolfram Research, Inc.
Referenced in: 35 Publications (2007–2022)
Related Software: DLMF; OEIS; Arb; SciPy; Mathematica; LAPACK; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX)

amsmath

Software Authors:   American Mathematical Society
Referenced in: 4 Publications (2000–2016)
Related Software: LaTeX; TeX; xcolor; verbatim; AMSFonts; babel; …
Main Fields: Computer science (68-XX)

amsthm

Software Authors:   American Mathematical Society
Referenced in: 2 Publications (1994–2007)
Related Software: TeX; LaTeX; AMSFonts; METAFONT; epstopdf; graphicx; …
Main Fields: Computer science (68-XX)

webLurch

Software Authors:   Carter, Nathan C.; Monks, Kenneth G.
Referenced in: 2 Publications (2017–2020)
Related Software: Markdown; Lean; CalcCheck; Coq; EPGY; Z; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

Naproche-SAD

Software Authors:   De Lon, Adrian; Koepke, Peter; Lorenzen, Anton
Referenced in: 1 Publication (2020)
Related Software: Naproche; Lean; ForTheL; Mizar; Isabelle/Isar
Main Fields: Computer science (68-XX)

CurExt

Software Authors:   Azzeddine Lazrek
Referenced in: 0 Publications
Related Software:
Main Fields:

sMArTH

Software Authors:   hritcu
Referenced in: 0 Publications
Related Software:
Main Fields: