×

Found 15 Software Packages (Results 1–15)

Citations Alphabetically

TeXmacs

Cited in 15 Documents (2004–2021)
Software Authors: Van Der Hoeven, J.
Related Software: Coq; Isabelle/HOL; 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: Stefan Rödiger, Thomas Friedrichsmeier, Prasenjit Kapat, Meik Michalke
Related Software: R; Rcmdr; Deducer; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

AutoAbacus

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

Calcoo

Cited in 0 Documents
Software Authors: kamin005
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
Related Software: –
Main Fields: –

PlanMaker

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

PPower4

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

trad4

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

Filter Results by …

all top 5

Related Software

all top 3

Main Field