×

Found 11 Software Packages (Results 1–11)

Citations Alphabetically

Asymptote

Cited in 13 Documents (2007–2022)
Software Authors: Hammerlindl, Andy; Bowman, John; Prince, Tom
Related Software: GiNaC; Python; MetaPost; …
Main Fields: Combinatorics (05-XX); Functions of a complex variable (30-XX); Geometry (51-XX); …

TeXmacs

Cited in 16 Documents (2004–2021)
Software Authors: Van Der Hoeven, J.
Related Software: Isabelle/HOL; Coq; Isabelle; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Special functions (33-XX); …

ACIDE

Cited in 1 Document (2020)
Software Authors: Sáenz-Pérez, Fernando
Related Software: NP Datalog; XSB; SWI-Prolog; …
Main Fields: Computer science (68-XX)

FFES

Cited in 3 Documents (2000–2006)
Software Authors: Blostein, Dorothea; Smithies, Steve; Novins, Kevin; Zanibbi, Richard; Rose, Arlis; Tausky, David; Willan, Nick
Related Software: MathBrush; Maple
Main Fields: Computer science (68-XX)

ASCIIMathML

Cited in 1 Document (2014)
Software Authors: Jipsen, Peter
Related Software: WolframAlpha; wxMaxima; SageMath; …
Main Fields: Computer science (68-XX)

eq2png

Cited in 0 Documents
Software Authors: scohop
Related Software: –
Main Fields: –

Hilbert II

Cited in 0 Documents
Software Authors: Meyling, Michael
Related Software: –
Main Fields: –

LaTeX Service

Cited in 0 Documents
Software Authors: nicolasroard
Related Software: –
Main Fields: –

latexmath2png

Cited in 0 Documents
Software Authors: Kisiel, Kamil
Related Software: –
Main Fields: –

PMathGen

Cited in 0 Documents
Software Authors: kknowles
Related Software: –
Main Fields: –

sMArTH

Cited in 0 Documents
Software Authors: hritcu
Related Software: –
Main Fields: –

Filter Results by …

all top 5

Related Software

all top 3

Main Field