Dissertation > Excellent graduate degree dissertation topics show
## The Function Differential, Partial Differentiation, Grads, Divergence, and Curl in MizarAuthor: XieBingTutor: LiangXiQuan School: Qingdao University of Science and Technology Course: Applied Mathematics Keywords: mathematics mechanization Mizar language system formalized mathematics automated theorem proving CLC: TP399-C5 Type: Master's thesis Year: 2009 Downloads: 65 Quote: 1 Read: Download Dissertation ## Abstract
## Related Dissertations- Solutions of Nonlinear Partial Differential Equations by Homotopy Analysis Method,O241.82
- Study on Mathematical Software Virtualization in Cloud Environment,TP393.09
- Solving Nonlinear Partial Differential Equation and Integrable System,O175.29
- Darboux Transformations and Exact Solutions of (2+1) Dimensional Soliton Equations,O175.29
- The Existence and Mechanical Algorithm for Elementary Integration of Transcendental Functions,O1-0
- Computer Proving of Several Theorem in BCI-Algebra Ideals,TP391.7
- Solving Nonlinear Black-Scholes Equation,F224
- Nonlinear Waves, Symbolic Integration and Its Application,O241.8
- A class of nonlinear wave equations group classification,O245
- Some Problems of Nonlinear Dynamic on the Rotor System with Multi-Faults,TH113
- The Scale of the Solution Spaces of DEs,O175
- Spline function space singularity some triangulation and interpolation posedness,O174.42
- Some Problems in Nonlinear Partial Differential Equations’ Exact Solutions,O241.8
- AC = BD model and its exact solution of partial differential equations in the application,O241.8
- Set theory equation theorem proving systems research and development,TP181
- The Application of AC=BD Theory to Solving Differential Equations Mechanically,O241.8
- Some Problems in Fractional Differential Equations and Nonlinear Evolution Equations,O241.8
- A Constructive Method for Solving Exact Solutions of Some Nonlinear Evolution Equations,O175.29
- Symbolic Computation of solitary wave solutions of nonlinear coupled scalar field equations,O411.1
- AC = BD Backlund transformation and partial differential equations completeness,O241.8
CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer applications > In other aspects of the application © 2012 www.DissertationTopic.Net Mobile |