Octave: A Free, High-Level Language for Mathematics

Transform Methods and Image Compression

Linux Journal

Generating Data Analysis Programs from Statistical Models

SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation

Synthesizing Certified Code

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

AutoBayes: a system for generating data analysis programs from statistical models

Journal of Functional Programming

Making mathematical problem solving exploratory and social-synergizing computer algebra systems with semantic and web-2.0 technology

Proceedings of the Third Annual ACM Bangalore Conference

Formal testing for separation assurance

Annals of Mathematics and Artificial Intelligence