scientific article; zbMATH DE number 1782448
From MaRDI portal
Publication:4545702
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)
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
Cited in
(16)- scientific article; zbMATH DE number 176215 (Why is no real title available?)
- Formalizing a reasoning strategy in symbolic approach to differential equations
- Symbolic computation and observable effect for the (2 + 1)-dimensional symmetric regularized-long-wave equation from strongly magnetized cold-electron plasmas.
- Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation
- Algorithm and mechanization to Cauchy problem of parabolic equation
- scientific article; zbMATH DE number 194201 (Why is no real title available?)
- Mechanized mathematics
- A sequent calculus for automated reasoning in symbolic computation systems
- Some two-dimensional and non-travelling-wave observable effects of the shallow-water waves
- A new algorithm for integral of trigonometric functions with mechanization
- Mathematics by machine
- A Short Survey of Automated Reasoning
- Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms
- International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization
- Foreword to the special issue
- scientific article; zbMATH DE number 5629924 (Why is no real title available?)
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)
