The mentioned program that reads a valid statement in the conditional language from the input and provides a proof for it in the Hilbert machine. This program is written in c++ language and to run it, you just need to build it
Read More
The impact of laws on the production of domestic cars with the lessons of strategic games. Strategic games can be used as a powerful tool in all areas of life, and through it, most everyday problems can be converted into a mathematical
Read More
Problem Description: In the context of my coursework for the Non-linear Programming course at university, I tackled various non-linear optimization problems using MATLAB. This project serves as a collection of my solutions to these problems, demonstrating my proficiency in non-linear programming and
Read More
Image Compression Process In this project, I have designed the jpeg compression and extraction process. For this purpose, I have used cosine transform methods in the Jupiter environment. You can see the project code along with the work report on GitHub. Matrix
Read More