Variational Inequalites, Chalmers Tekniska Högskola
Examensarbete i systemteknik utfört vid matematiska institutionen på
Henrik Rydgård, Civilingenjörsprogrammet För Datateknik, Chalmers Tekniska Högskola
Göteborg 2007 Rendering good-looking hair is regarded as a hard problem in realistic computer graphics. Turtle, a commercial renderer written and sold by Illuminate Labs, is a fast ray-tracer with...
Sergei Merkulov: O ˙ ˙ glerum eller (2008)
Red För Bra, Chalmers Tekniska Högskola
Information om seminarier och högre undervisning i matematiska ämnen i Stockholmsomra ◦ det KET Veckobladet fra ◦
IOS Press A Logical Framework with Dependently Typed Records ∗ (2008)
Thierry Coquand, Chalmers Tekniska Högskola, Makoto Takeyama, Randy Pollack
Our long term goal is a system to formally represent complex structured mathematical objects, and proofs and computation on such objects; e.g. a foundational computer algebra system. Our approach is...
Bo Bergman, Chalmers Tekniska Högskola, Vera Sandbergs Allé, Pär Åhlström, Vasa Hus, Hans Björnsson
Street address/P.O address
Brush Painting Algorithms (2008)
Erika Jansson, Civilingenjörsprogrammet För Datateknik, Chalmers Tekniska Högskola
inte reproduceras eller spridas i någon form utan medgivande av författaren.
Chalmers Tekniska Högskola, Mechatronics Laboratory, Mechatronics Laboratory, Henrik Thane, Henrik Thane, Henrik Thane, ...
Stockholm, framlägges till offentlig granskning för avläggande av teknologie
Chalmers Tekniska Högskola, Mechatronics Laboratory, Mechatronics Laboratory, Henrik Thane, Henrik Thane, Henrik Thane, ...
Stockholm, framlägges till offentlig granskning för avläggande av teknologie
de Recherche en Informatique Formalizing Categorical Models of Type Theory in Type Theory (2007)
Alexandre Buisse, Chalmers Tekniska Högskola, Göteborg Sverige
1 Fiche de synthèse 4 1.1 Le contexte général.......................... 4 1.2 Le problème étudié.......................... 4
A proof of strong normalisation using domain theory (2006)
Thierry Coquand, Chalmers Tekniska Högskola
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see also [9], replacing Tait’s introduction of infinite terms by the construction of a domain having...
Categorical Models of Dependent Type Theory (2006)
Alexandre Buisse, Chalmers Tekniska Högskola, Göteborg Sverige
Realtime Rendering of Water Caustics Using Programmable Graphics Hardware (2005)
Christoffer Sandberg, Tomas Falemo, Chalmers Tekniska Högskola, Christoffer S, Tomas Falemo
och får inte reproduceras eller spridas i någon form utan medgivande av författaren.
Directed by Thierry Coquand (2004)
Samuel Mimram, Chalmers Tekniska Högskola, Göteborg Sverige
1 Introduction to categories and categorical models.................................... 1 2 Definition of some related (or not) theories.......................................... 2 2.1 Generalized...
Chalmers Tekniska Högskola, Henrik Thane, Mechatronics Laboratory, Henrik Thane, Jan Wik, Hans Hansson, ...
Stockholm, framlägges till offentlig granskning för avläggande av teknologie