馬鹿な議論を下手な英語で。以下眼に余るので添削。馬鹿猫は
論外。The neko appears to be unaware of English.　The same
is true of French.
　添削：
The theme is on existence proofs of solutions of linear
or nonlinear partial differential equations with the aid of
the functional analysis. We can also do the same with aid of
computer.

コンピューターで「証明」が出来るなんて初めて聞いた。