𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive approach to Noether's problem

✍ Scribed by Gregor Kemper

Book ID
110558746
Publisher
Springer
Year
1996
Tongue
English
Weight
908 KB
Volume
90
Category
Article
ISSN
0025-2611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Noether's problem for A5
Noether's problem for A5
✍ Takashi Maeda πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 512 KB
A constructive approach to the problem o
A constructive approach to the problem of program correctness
✍ E. W. Dijkstra πŸ“‚ Article πŸ“… 1968 πŸ› Springer Netherlands 🌐 English βš– 867 KB

As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This exa