Mathematics Mechanization - Globe Thesis

Keyword [Mathematics Mechanization] Result: 21 - 40 \| Page: 2 of 3
21.	AC=BD Theory And Solving Nonlinear Evolution Equations
22.	AC=BD Theory And Its Application To Exactly Solving Burgers Equation
23.	The Properties Of Generalized Circulant Matrix And The Realization Of Circulant Matrix In Mizar System
24.	The Explicit Solutions Of Two High-Dimensional Soliton Equations
25.	The Scale Of The Solution Spaces Of DEs
26.	Solving Nonlinear Partial Differential Equation And Integrable System
27.	Darboux Transformations And Exact Solutions Of (2+1) Dimensional Soliton Equations
28.	The Existence And Mechanical Algorithm For Elementary Integration Of Transcendental Functions
29.	Nonlinear Waves, Symbolic Integration And Its Application
30.	Group Classifications Of Nonlinear Wave Equations
31.	Ac = Bd In The Backlund Transformation And Partial Differential Equations Of Completeness,
32.	The Exact Solution Of Partial Differential Equations And Taylor Series Solution
33.	Wu's Method In Multiobjective Programming Problems
34.	Trial Equation Method Of Research, The Exact Solution Of Certain Types Of Equations
35.	Mechanization Of General Topology And Related Problems In Automatic Deduction Based On Isabelle
36.	Symmetry Reductions And Constructive Methods Of Nonlinear Evolution Equations
37.	Application Of Differential - Difference Feature Column Method In Accurately Solving Relativistic System
38.	Application Of Differential - Difference Characteristic Column Method To Solve The Exact Solutions Of A Kind Of Toda Lattice Equations
39.	The Application Of The Differential Feature Column Method In Differential Lie Symmetry
40.	Differential Lie Symmetry Analysis And Symbol Calculation Based On Characteristic Sequence Method
<<First <Prev Next> Last>> Jump to