scientific article; zbMATH DE number 1782448
From MaRDI portal
Publication:4545702
zbMath0999.03009MaRDI QIDQ4545702
Publication date: 3 December 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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
