AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AbsEn.i » - entrée « algebraic »
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.
algebra < algebraic < algebraical  Facettes :

List of bibliographic references indexed by algebraic

Number of relevant bibliographic references: 514.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000001 (2016-07-19) Jean-Charles Faugere ; Pierre-Jean Spaenlehauer [France] ; Jules Svartz [France]Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
000009 (2016-06-14) Olivier Devillers [France] ; Menelaos Karavelas [Grèce] ; Monique Teillaud [France]Qualitative Symbolic Perturbation
000031 (2016-05-09) Mohab Safey El Din ; Pierre-Jean Spaenlehauer [France]Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
000044 (2016-04-11) Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas]Algebraic Semantics of Refinement Modal Logic
000065 (2016-02-22) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]Closed combination of context-embedding iterative strategies
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000419 (2015-08-02) Ranjan Jha [France] ; Damien Chablat [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]An algebraic method to check the singularity-free paths for parallel robots
000480 (2015-06-23) Ranjan Jha [France] ; Damien Chablat [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]Workspace and Singularity analysis of a Delta like family robot
000556 (2015-05) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Separating linear forms and Rational Univariate Representations of bivariate systems
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000598 (2015-04) Rémi Imbach [France] ; Guillaume Moroz [France] ; Marc Pouget [France]Numeric certified algorithm for the topology of resultant and discriminant curves
000727 (2015) Maximilian Jaroschek [Allemagne] ; Pablo Federico Dobal [Allemagne] ; Pascal Fontaine [France]Adapting Real Quantifier Elimination Methods for Conflict Set Computation
000792 (2015) Olivier Devillers [France] ; Menelaos Karavelas [Grèce] ; Monique Teillaud [France]Qualitative Symbolic Perturbation: a new geometry-based perturbation framework
000836 (2014-12-13) Maike Massierer [France]Some experiments investigating a possible L(1/4) algorithm for the discrete logarithm problem in algebraic curves
000840 (2014-12-09) Ali Assaf [France] ; Alejandro Díaz-Caro [Argentine] ; Simon Perdrix [France] ; Christine Tasson [France] ; Benoît Valiron [France]Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
000979 (2014-09) Christopher W. Brown [France] ; Marek Kosta [Allemagne]Constructing a single cell in cylindrical algebraic decomposition
000A00 (2014-08-17) Damien Chablat [France] ; Ranjan Jha [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]Workspace and joint space analysis of the 3-RPS parallel robot
000A23 (2014-07-23) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Improved algorithm for computing separating linear forms for bivariate systems
000A36 (2014-07-17) Ji Maršík [France] ; Maxime Amblard [France]Algebraic Effects and Handlers in Natural Language Interpretation
000C44 (2014-03-18) Yacine Bouzidi [France]Solving bivariate algebraic systems and topology of plane curves

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/AbsEn.i -k "algebraic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "algebraic" \
         | 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=    AbsEn.i
   |clé=    algebraic
}}
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