×

Found 15 Software Packages (Results 1–15)

Citations Alphabetically

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); …

RKWard

Cited in 2 Documents (2010–2012)
Software Authors: Rödiger, Stefan; Friedrichsmeier, Thomas; Kapat, Prasenjit; Michalke, Meik
Related Software: R; Deducer; Rcmdr; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

AutoAbacus

Cited in 0 Documents
Software Authors: Funk, Nathan
Related Software: –
Main Fields: –

Calcoo

Cited in 0 Documents
Software Authors: Kaminski, Alexei
Related Software: –
Main Fields: –

CCruncher

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

Draco

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

JOpt.SDK

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

LaTeX Service

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

MATNEM

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

Mavscript

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

MonteCarlito

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

PG Calculator

Cited in 0 Documents
Software Authors: Gridniew, Piotr
Related Software: –
Main Fields: –

PlanMaker

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

PPower4

Cited in 0 Documents
Software Authors: Guntermann, K; Spannagel, C
Related Software: –
Main Fields: –

trad4

Cited in 0 Documents
Software Authors: Evans, Steve
Related Software: –
Main Fields: –

Filter Results by …

all top 5

Related Software

all top 3

Main Field