scientific article; zbMATH DE number 1782448
zbMATH Open0999.03009MaRDI QIDQ4545702FDOQ4545702
Authors: Xiao-Shan Gao 
Publication date: 3 December 2002
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 5629926
- scientific article; zbMATH DE number 1555236
- Mechanized Mathematics
- Mechanized mathematics
- Mathematics by machine
- Machine mathematics: problems and prospects
- Towards the automatic mathematician
- Mathematics and mechanical computation
- Mathematics for machine tools and factory automation
Learning and adaptive systems in artificial intelligence (68T05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Other constructive mathematics (03F65) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)
Cited In (16)
- A sequent calculus for automated reasoning in symbolic computation systems
- Title not available (Why is that?)
- Mathematics by machine
- Title not available (Why is that?)
- Mechanized mathematics
- Symbolic computation and observable effect for the (2 + 1)-dimensional symmetric regularized-long-wave equation from strongly magnetized cold-electron plasmas.
- Some two-dimensional and non-travelling-wave observable effects of the shallow-water waves
- A Short Survey of Automated Reasoning
- Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms
- A new algorithm for integral of trigonometric functions with mechanization
- Formalizing a reasoning strategy in symbolic approach to differential equations
- Title not available (Why is that?)
- Foreword to the special issue
- Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation
- Algorithm and mechanization to Cauchy problem of parabolic equation
- International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4545702)
