ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (3)
  • computer  (3)
  • 2005-2009
  • 1965-1969  (3)
  • Mathematics  (3)
Collection
  • Articles  (3)
Publisher
Years
Year
Topic
  • Mathematics  (3)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    BIT 6 (1966), S. 310-316 
    ISSN: 1572-9125
    Keywords: Algorithm ; proof ; computer ; programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract A constructive approach to the question of proofs of algorithms is to consider proofs that an object resulting from the execution of an algorithm possesses certain static characteristics. It is shown by an elementary example how this possibility may be used to prove the correctness of an algorithm written in ALGOL 60. The stepping stone of the approach is what is called General Snapshots, i.e. expressions of static conditions existing whenever the execution of the algorithm reaches particular points. General Snapshots are further shown to be useful for constructing algorithms.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    BIT 7 (1967), S. 39-64 
    ISSN: 1572-9125
    Keywords: Cartography ; computer ; polygon
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The official statistics and census reports give figures only for administrative units. The boundaries of these units are often changed and hence it is very difficult to compare statistics from two different periods. However, an administrative unit can always be approximated by a polygon. Real estate data are assigned to a central point for which the coordinates are known. A computer can determine whether a point belongs to a polygon or not by means of a special program. Data for all real estate central points belonging to the actual polygon are added. In this way it will be possible to compute data for arbitrary polygons, for instance administrative units which do not exist any longer, by assigning real estate data to the central points.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    BIT 7 (1967), S. 156-162 
    ISSN: 1572-9125
    Keywords: Algebraic ; equations ; Runge-Kutta ; computer ; derivation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The derivation of algebraic non-linear equations associated with Runge-Kutta formulas increases in complexity as the order of these formulas increases. To overcome this difficulty various operational methods have been devised. But these methods are quite involved and there also exists the possibility of human errors which may be difficult to detect. The aim of this paper is the derivation of these algebraic equations through a digital computer, the IBM 7094, using Fortran IV. The technique employed is based upon a mathematical method established by the first author. With the advent of the space age there arose a continuous need for Runge-Kutta formulas of higher and higher orders. It seems that the computer offers the best, if not the only, hope in keeping up with these needs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...