Font Size:
a
A
A
Keyword [Mathematical Mechanization]
Result: 1 - 13 | Page: 1 of 1
1.
Nonlinear Waves, Geometrical Integrability And Group Classifications
2.
Exact Solutions, Classification Of Group And Group-Invariant Solutions For Differential Equations
3.
Some Investigation On Solving Nonlinear Evolution Equations Under The Model Of AC=BD
4.
Researches On Solving And Integrability Of Nonlinear Differential Equations And Ultra-discrete Equations
5.
Constructive Methods In Solving Nonlinear Differential Equations And Symbolic Computation
6.
The Construction And Classification Of The Conservation Laws Of A Class Of Differential Equations
7.
Solutions Of Nonlinear Partial Differential Equations By Homotopy Analysis Method
8.
Conditions And Interpolation Of Multivariate Spline Space Singularity Posedness
9.
Some Triangulation Spline Function Space Singularity And Interpolation Posedness
10.
Exact Solutions Of Some Nonlinear Partial Differential Equations And Applications Of Moving Frames
11.
Researches On Exact Solutions And Construction Of Soliton Equations
12.
Some Methods For Analytic Solutions Of Nonlinear Differential Equations And Integrable Systems
13.
Machine Proof Of Prime Infinite Theorem Based On Interactive Theorem Proving Tool Coq
<<First
<Prev Next>
Last>>
Jump to
