Symbolic is just another GUI for the immense powerful Reduce computer algebra system which is open source software created by many programmers during several decades. You may find lots of examples and tutorials about Reduce in the internet. This app is based on code provided by Ahmad M. Akra and Prof. Arthur C. Norman (Codemist Ltd.