Here is what it looks like when you launch the application. It defaults to the 3D plotter, you can switch between the 3D and 2D plotter with the button on the top left corner. Here is an example with ...
This book is a comprehensive introduction to the application of continuous symmetries and their Lie algebras to ordinary and partial differential equations. It is suitable for students and research ...
The development of a symbolic computer algebra toolbox for the computation of two dimensional (2D) Fourier transforms in polar coordinates is presented. Multidimensional Fourier transforms are widely ...
This repository contains materials used for machine-assisted proofs of Kariya's theorem, described in the following paper: Ayane Ito, Takefumi Kasai, and Akira Terui. Computer-assisted proofs of ...