Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation.

Rainer Bacher

Browse the full ISSAC paper archive.