This book constitutes the refereed proceedings of the 15th International Conference on Intelligen...

This book constitutes the proceedings of the 8th International Conference on Mathematical Softwar...

This collection of survey and research articles brings together topics at the forefront of the th...