Computability of Continuous Solutions of Higher-Type Equations.

Martín Hötzel Escardó

Published in: CiE (2009)

Keyphrases

polynomial equations
boundary value problem
closed form solutions
databases
case study
optimal solution
higher quality
linear systems