ITP
2010
13 years 3 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
ITP
2010
13 years 3 months ago
2010
rder Abstract Syntax in Isabelle/HOL Douglas J. Howe Carleton University July 13, 2010 Douglas J. Howe (Carleton University) HOAS in Isabelle/HOL July 13, 2010 1 / 8
ITP
2010
13 years 3 months ago
2010
AMCS
2008
13 years 3 months ago
2008
CASC
2010
Springer
13 years 3 months ago
2010
Springer
CASC
2010
Springer
13 years 3 months ago
2010
Springer
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
CASC
2010
Springer
13 years 3 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
CASC
2010
Springer
13 years 3 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
AMCS
2008
13 years 4 months ago
2008
AMCS
2008
13 years 4 months ago
2008
