Teeft.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Teeft.i » - entrée « 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.
Algarve < Algebra < Algebra homomorphism  Facettes :

List of bibliographic references indexed by Algebra

Number of relevant bibliographic references: 56.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
003088 (2010) R. Schott [France] ; G. S. Staples [États-Unis]Dynamic random walks in Clifford algebras
003956 (2009) Philip Feinsilver [États-Unis, France] ; Ren Schott [France]Finite-dimensional calculus
004349 (2008) Ren Schott [France] ; George Stacey Staples [États-Unis]Nilpotent adjacency matrices, random graphs and quantum random variables
006B42 (2004) P. Feinsilver [États-Unis] ; J. Kocik [États-Unis] ; R. Schott [France]Representations of the Schrödinger algebra and Appell systems
007994 (2003) Didier Galmiche ; Daniel Me RySemantic Labelled Tableaux for Propositional BI⊥
009174 (2001) E. Caron [France] ; S. Chaumette [France] ; S. Contassot-Vivier [France] ; F. Desprez [France] ; E. Fleury [France] ; C. Gomez [France] ; M. Goursat [France] ; M. Quinson [France] ; E. Jeannot [France] ; D. Lazure [France] ; F. Lombard [France] ; J.-M Nicod [France] ; L. Philippe [France] ; P. Ramet [France] ; J. Roman [France] ; F. Rubi [France] ; S. Steer [France] ; F. Suter [France] ; G. Utard [France]Scilab to Scilab//: The Ouragan project
009389 (2001) He Le Ne Kirchner ; Peter D. MossesAlgebraic Specifications, Higher‐order Types and Set‐theoretic Models
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D45 (2000) Christophe Ringeissen [France]Handling Relations over Finite Domains in the Rule-Based System ELAN
009D70 (2000) Daniel Leivant [États-Unis] ; Jean-Yves Marion [États-Unis, France]A characterization of alternating log time by ramified recurrence
009E03 (2000) Philip Feinsilver ; René Schott [France]Vector Fields and Their Duals
009E57 (2000) On solving evolution equations on Lie groups
009E76 (2000) Ursula Martin [Royaume-Uni] ; Duncan Shand [Royaume-Uni]Invariants, Patterns and Weights for Ordering Terms
009E84 (2000) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
00A835 (1999) Alessandro Armando ; Tudor JebeleanPreface
00A851 (1999) Cumulative index volumes 1–200
00B345 (1998) M. Fernández [France]Negation Elimination in Empty or Permutative Theories
00B365 (1998) Philip Feinsilver [États-Unis] ; René Schott [France]Formal power series, operator calculus, and duality on Lie algebras
00B370 (1998) Evolution equations and Lévy processes on quantum groups
00B375 (1998) C. Hintermeier [France] ; C. Kirchner [France] ; H. Kirchner [France]Dynamically Typed Computations for Order-sorted Equational Presentations
00B380 (1998) Philip Feinsilver [États-Unis] ; René Schott [France]Computing Representations of a Lie Group via the Universal Enveloping Algebra

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/Teeft.i -k "Algebra" 

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