Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « computer algebra »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
computer aids for handicap < computer algebra < computer algebra and analysis  Facettes :

List of bibliographic references indexed by computer algebra

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]
Ident.Authors (with country if any)Title
001273 (2013-03-20) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Separating linear forms for bivariate systems
001274 (2013-03-20) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Rational Univariate Representations of Bivariate Systems and Applications
003020 (2010) Sylvain Chevillard [France] ; Mioara Jolde [France] ; Christoph Lauter [France]Sollya: An Environment for the Development of Numerical Codes
007588 (2003) Dongming WangElimination Practice : Software Tools and Applications
007818 (2003) Falai Chen ; Dongming WangGeometric Computation
008110 (2002) Fabrice RouillierOutils pour l'étude des zéros réels de systèmes algébriques
008119 (2002) Fabrice RouillierOutils pour l'Etude des Zéros Réels de Systèmes Algébriques
008560 (2002) Paul ZimmermannSymbolic Computation : Recent Progress and New Frontiers
008592 (2002) Fabrice RouillierReal Solving and parallel robots
008614 (2002) Philippe Aubry ; Fabrice Rouillier ; Mohab Safey El DinReal solving for positive dimensional systems
008631 (2002) Solen Corvez ; Fabrice RouillierUsing computer algebra tools to classify serial cuspidal manipulators
008975 (2002) Fabrice Rouillier [France]Outils pour l'étude des zéros réels de systèmes algébriques
008A81 (2002) Fabrice Rouillier [France]Real Solving and parallel robots
008C26 (2001-11-26) Paul Zimmermann [France]From algorithmics to arithmetic via computer algebra
008E54 (2001) Paul ZimmermannDe l'algorithmique à l'arithmétique via le calcul formel
009097 (2001) Daniel LazardOn the specification for solvers of polynomial systems
009113 (2001) Dongming WangElimination Methods
009609 (2001) Daniel Lazard [France]On the specification for solvers of polynomial systems
009821 (2000) Daniel LazardCalcul formel : tendances et progrès récents
009C21 (2000) Daniel LazardResolution of polynomial systems
00A703 (1999) Frank Postel ; Paul ZimmermannSolving Ordinary Differential Equations

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "computer algebra" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "computer algebra" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    computer algebra
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022