Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces

DOI10.1007/BF01068365zbMath0649.68035OpenAlexW1971975205MaRDI QIDQ3795214

P. I. Balk

Publication date: 1986

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01068365

zbMATH Keywords

magnetic potentialsgravity potentialsnonstationary thermal conductionlinear mappings in finite-dimensional spaces. inverse problems of mathematical physics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Electromagnetic fields in general relativity and gravitational theory (83C50) Numerical quadrature and cubature formulas (65D32) Gravitational waves (83C35) Numerical linear algebra (65F99) Software, source code, etc. for problems pertaining to classical thermodynamics (80-04)

Cites Work

• Some problems in the theories of automata and artificial intelligence
• Unnamed Item

This page was built for publication: Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces