Home Last parution Authors Topics Keywords Parutions Videos Search Reading committee Contact Subscription Article submission   French version The issues from 1 to 148 are also available on line at NUMDAM and at Revues.org for the following issues

Results for criterions: Keyword: Computation Modify search criterions 2 matches Title Equations linéaires - 1e leçon : introduction au calcul matriciel Author GUILBAUD Georges-Théodule, assisté de VALETTE Edouard, (Réalisation Guilbaud Pierre) Keywords Computation, Equation, Linear algebra, Matrices Topics Calcul matriciel, Linear Algebra, Systèmes d'équations Abstract Cours filmé d'introduction à la résolution de systèmes d'équations linéaires par le calcul matriciel. Number 1183, Fall 2008, special issue: Video flashback Language   French Play or download video in low quality high quality format x264 : equation linéaire.avi(27.1M) equation linéaire.avi(54.5M) format xvid : - equation linéaire.avi(66.7M) Title Type theory and proof processing system Author DOWEK Gilles Keywords Computation, Deduction, Function, Mathematical language, Proof, Proof processing systems, Set theory, Type theory Topics Computer Sciences, Computing, Logic, Sets, Software Abstract Since the end of the sixties, several computer programs allowing to process mathematical knowledge, and in particular mathematical proofs, have been designed. Building such programs raises new questions, in particular that of the conception of logical frameworks where mathematics can be formalized in practice. This is a new direction for fundational studies, more interested, so far, in formalization of mathematics in principle, than in practice. Several reasons explain that the designers of such programs often chose type theory rather than set theory to formalize mathematics. Number 165, Spring 2004, special issue: Constructive type theory Language   French Read the article Users rights : The entire journal is licensed under a Creative Commons license