Computer assisted solution of systems of two variable linear functional equations
DOI10.1007/s00010-020-00736-zzbMath1444.39024OpenAlexW3042884323MaRDI QIDQ785649
Attila Gilányi, Gergő Gyula Borus
Publication date: 7 August 2020
Published in: Aequationes Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00010-020-00736-z
polynomialsmonomialscomputational mathematicslinear functional equationssystems of functional equationscomputer assisted methods
Functional equations for functions with more general domains and/or ranges (39B52) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Related Items (6)
Cites Work
- Solving invariance equations involving homogeneous means with the help of computer
- Computer aided solution of the invariance equation for two-variable Gini means
- Computer aided solution of the invariance equation for two-variable Stolarsky means
- Solving linear two variable functional equations with computer
- Testing regularity of functional equations with computer
- On a class of linear functional equations without range condition
- Alienation of two general linear functional equations
- Linear functional equations, differential operators and spectral synthesis
- Some methods for a Sutô-Aczél project. I
- On spectral analysis in varieties containing the solutions of inhomogeneous linear functional equations
- On spectral synthesis in varieties containing the solutions of inhomogeneous linear functional equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Computer assisted solution of systems of two variable linear functional equations