The overall problem that formed the basis for this thesis is that students get limited opportunity to develop their mathematical reasoning ability while, at the same time, there are dynamic mathematics software available which can be used to foster this ability. The aim of this thesis is to contribute to knowledge in this area by focusing on task design in a dynamic software environment and by studying the reasoning that emerges when students work on tasks in such an environment. To analyze students’ mathematical reasoning, a new analytical tool was developed in the form of an expanded version of Toulmin’s model. Results from one of the studies in this thesis show that exploratory tasks in a dynamic software environment can promote mathematical reasoning in which claims are formulated, examined and refined in a cyclic process. However, this reasoning often displayed a lack of the more conceptual, analytic and explanatory reasoning normally associated with mathematics. This result was partly confirmed by another of the studies. Hence, one key question in the thesis has been how to design tasks that promote conceptual and explanatory reasoning. Two articles in the thesis deal with task design. One of them suggests a model for task design with a focus on exploration, explanation, and generalization. This model aims, first, to promote semantic proof production and then, after the proof has been constructed, to encourage further generalizations. The other article dealing with task design concerns the design of prediction tasks to foster student reasoning about exponential functions. The research process pinpointed key didactical variables that proved crucial in designing these tasks. / Baksidestext Det övergripande problem som legat till grund för denna avhandling är att elever får begränsad möjlighet att utveckla sin resonemangsförmåga samtidigt som det finns dynamiska matematikprogram som kan utnyttjas för att stimulera denna förmåga. Syftet med avhandlingen är att bidra till den samlade kunskapen inom detta problemområde, dels genom att fokusera på design av uppgifter i en lärandemiljö med dynamiska matematikprogram och dels genom att studera och karakterisera de resonemang som utvecklas när elever jobbar med olika uppgifter i denna miljö. För att analysera elevernas resonemang utvecklades ett nytt analysverktyg i form av en utökad version av Toulmins modell. Resultat från en av studierna i avhandlingen visar att dynamiska matematikprogram i kombination med utforskande uppgifter kan stimulera till matematiska resonemang där hypoteser formuleras, undersöks och förfinas i en cyklisk process. Samtidigt visar samma studie att de resonemang som utvecklas i stor utsträckning saknar matematiskt grundade förklaringar. Detta resultat bekräftas till viss del av ytterligare en studie.  Frågan hur uppgifter bör designas för att främja matematiskt grundade resonemang har därför varit central i avhandlingen. Två av artiklarna behandlar uppgiftsdesign, men utifrån olika utgångspunkter.