scientific article; zbMATH DE number 1782448

zbMath0999.03009MaRDI QIDQ4545702

Xiao-Shan Gao

Publication date: 3 December 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoningconstructive mathematicsalgebraic geometry

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Mechanization of proofs and logical operations (03B35) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Other constructive mathematics (03F65)

Related Items (6)

Symbolic computation and observable effect for the (2 + 1)-dimensional symmetric regularized-long-wave equation from strongly magnetized cold-electron plasmas. ⋮ 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 ⋮ Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation ⋮ Algorithm and mechanization to Cauchy problem of parabolic equation ⋮ Some two-dimensional and non-travelling-wave observable effects of the shallow-water waves

This page was built for publication: