SMF

Supports acycliques et algorithmique

Supports acycliques et algorithmique

Julio RUBIO, Francis SERGERAERT
Supports acycliques et algorithmique
  • Année : 1990
  • Tome : 192
  • Format : Papier, Électronique
  • Langue de l'ouvrage :
    Français
  • Pages : 35-55
  • DOI : 10.24033/ast.64

The acyclic carrier method is examined. On one hand it is slightly generalized so that its scope is significantly enlarged. On the other hand the problem of implementing this method on a computer is studied. The answer is quite positive : the acyclic carrier method can be programmed in a way which is very close to the methematical formulation. In particular the various categories and functors needed in the framework can be constructed and easily handled on a machine. The relationship between the constructions and the logical foundations of mathematics are discussed too. Some examples of actual computations are described.

Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...