Zum Inhalt springen

  2. Beeson, Michael J. [VerfasserIn]

    MathXpert : un logiciel pour aider les élèves à apprendre les mathématiques par l’action

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Sciences et techniques éducatives ; Vol. 9, n° 1-2, pp. 37-62

  4. Demange, Vincent [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Colson, Loïc [MitwirkendeR]; Stratulat, Sorin [MitwirkendeR]

    Vers un calcul des constructions pédagogique ; Towards a pedagogical calculus of constructions

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-07

  5. Rousseau, Édouard [VerfasserIn] ; Institut polytechnique de Paris [MitwirkendeR]; De Feo, Luca [MitwirkendeR]; Schost, Eric [MitwirkendeR]

    Efficient arithmetic of finite field extension ; Arithmétique efficace des extensions de corps finis

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-07-12

  6. Lagrange, Jean-Baptiste [VerfasserIn]; Py, Dominique [VerfasserIn]

    Développer un environnement d’apprentissage utilisant le calcul formel. Hypothèses, méthode, première réalisation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Sciences et techniques éducatives ; Vol. 9, n° 1-2, pp. 91-120

  7. Lenne, Dominique [VerfasserIn]; Gelis, Jean-Michel [VerfasserIn]

    Limites, un environnement d’apprentissage fondé sur un système de calcul formel

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Sciences et techniques éducatives ; Vol. 9, n° 1-2, pp. 121-148

  8. Lenne, Dominique [VerfasserIn]; Gelis, Jean-Michel [VerfasserIn]; Lagrange, Jean-Baptiste [VerfasserIn]; Py, Dominique [VerfasserIn]

    Modélisation de l’interaction dans les EIAO utilisant le calcul formel

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Sciences et techniques éducatives ; Vol. 8, n° 1-2, pp. 87-98

  9. Yurkevich, Sergey [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Universität Wien [MitwirkendeR]; Bostan, Alin [MitwirkendeR]; Hauser, Herwig [MitwirkendeR]

    Integer sequences, differential operators and algebraic power series ; Suites entières, séries algébriques et opérateurs différentiels

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-07-06

  10. Hugounenq, Cyril [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Goubin, Louis [MitwirkendeR]; Morain, François [MitwirkendeR]; De Feo, Luca [MitwirkendeR]

    Volcans et calcul d'isogénies ; Volcanoes and isogeny computing

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-09-25

  11. Dumont, Louis [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Salvy, Bruno [MitwirkendeR]; Bostan, Alin [MitwirkendeR]

    Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre ; Efficient algorithms for the symbolic computation of certain contour integrals with one parameter

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-12-05

  12. Svartz, Jules [VerfasserIn] ; Paris 6 [MitwirkendeR]; Faugère, Jean-Charles [MitwirkendeR]

    Résolution de systèmes polynomiaux structurés de dimension zéro. ; Solving zero-dimensional structured polynomial systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-10-30

  13. Zimmermann, Paul [VerfasserIn] ; Casamayou-Boucau, Alexandre [Sonstige Person, Familie und Körperschaft]; Cohen, Nathann [Sonstige Person, Familie und Körperschaft]; Connan, Guillaume [Sonstige Person, Familie und Körperschaft]; Dumont, Thierry [Sonstige Person, Familie und Körperschaft]; Fousse, Laurent [Sonstige Person, Familie und Körperschaft]; Maltey, François [Sonstige Person, Familie und Körperschaft]; Meulien, Matthias Emmanuel [Sonstige Person, Familie und Körperschaft]; Mezzarobba, Marc [Sonstige Person, Familie und Körperschaft]; Pernet, Clément [Sonstige Person, Familie und Körperschaft]; Thiéry, Nicolas [Sonstige Person, Familie und Körperschaft]; Cremona, John [Sonstige Person, Familie und Körperschaft]; Forets Irurtia, Marcelo Alejandro [Sonstige Person, Familie und Körperschaft]

    Calcul mathématique avec Sage

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Lieu de publication inconnu]: CreateSpace Independent Publishing Platform, 2013

  14. Briaud, Pierre [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Tillich, Jean-Pierre [MitwirkendeR]

    Algebraic cryptanalysis of post-quantum schemes and related assumptions ; Cryptanalyse algébrique de schémas post-quantiques et hypothèses associées

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-12-11

  15. Zappatore, Ilaria [VerfasserIn] ; Montpellier [MitwirkendeR]; Imbert, Laurent [MitwirkendeR]

    Simultaneous Rational Function Reconstruction and applications to Algebraic Coding Theory ; Reconstruction rationnelle simultanée et applications à la théorie des codes correcteurs d'erreurs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-10-16

  16. Basson, Romain [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Duquesne, Sylvain [MitwirkendeR]; Lercier, Reynald [MitwirkendeR]

    Arithmétique des espaces de modules des courbes hyperelliptiques de genre 3 en caractéristique positive ; Arithmetic aspects of moduli spaces of genus 3 hyperelliptic curves in positive characteristic

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-06-24

  17. Lanore, Vincent [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Pérez, Christian [MitwirkendeR]

    On Scalable Reconfigurable Component Models for High-Performance Computing ; Modèles à composants reconfigurables et passant à l'échelle pour le calcul haute performance

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-12-10

  18. Ivanov, Sergiu [VerfasserIn] ; Paris Est [MitwirkendeR]; Verlan, Serghei [MitwirkendeR]

    On the Power and Universality of Biologically-inspired Models of Computation ; Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-06-23

  20. Arantes Gilz, Paulo Ricardo [VerfasserIn] ; Toulouse 3 [MitwirkendeR]; Joldes, Mioara Maria [MitwirkendeR]; Louembet, Christophe [MitwirkendeR]

    Embedded and validated control algorithms for the spacecraft rendezvous ; Algorithmes de commande embarqués et validés pour le rendez-vous spatial

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-10-17