The advent of mathematical software has been one of the most important events in mathematics. Mat...

This book reports recent major advances in automated reasoning in geometry. The authors have deve...

This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathemat...