Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successes, has been limited. This report reviews the relevant areas of program synthesis work for scientific computing, discusses successes to date, and outlines opportunities for future work. This report is the result of the Workshop on Program Synthesis for Scientific Computing was held virtually on August 4-5 2020 (https://prog-synth-science.github.io/2020/).

翻译：方案合成是学术界、国家实验室和工业界的一个积极研究领域,然而,直接适用于科学计算的工作虽然取得了一些令人印象深刻的成功,但还是有限,本报告回顾了科学计算方案合成工作的相关领域,讨论了迄今取得的成功,并概述了今后工作的机会。本报告是科学计算方案合成讲习班的成果,该讲习班于2020年8月4日至5日几乎举行(https://prog-synth-science.github.io/2020)。