Journal of Structural Biology < Journal of Symbolic Computation < Journal of Systems Architecture

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]

Ident.	Authors (with country if any)	Title
000119 (2011)	Michael Hemmer ; Laurent Dupont ; Sylvain Petitjean ; Elmar Schömer	A Complete, Exact and Efficient Implementation for Computing the Edge-Adjacency Graph of an Arrangement of Quadrics
000222 (2001)	Sorin Stratulat	A General Framework to Build Contextual Cover Set Induction Provers
000472 (2004-07)	Dongming Wang	A Simple Method for Implicitizing Rational Curves and Surfaces
000518 (2014-11-03)	Walid Belkhir ; Alain Giorgetti ; Michel Lenczner	A Symbolic Transformation Language and its Application to a Multiscale Method
000719 (2004)	Guillaume Hanrot ; Paul Zimmermann	A long note on Mulders' short product
000F16 (2010-02-01)	Horatiu Cirstea ; Claude Kirchner ; Radu Kopetz ; Pierre-Etienne Moreau	Anti-patterns for Rule-based Languages
001550 (2010-02)	Duc-Khanh Tran ; Christophe Ringeissen ; Silvio Ranise ; Hélène Kirchner	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
001868 (2014-09)	Christopher W. Brown ; Marek Kosta	Constructing a single cell in cylindrical algebraic decomposition
001D93 (1998)	Claus Hintermeier ; Claude Kirchner ; Hélène Kirchner	Dynamically-Typed Computations for Order-Sorted Equational Presentations
002614 (2012)	Pierrick Gaudry ; Éric Schost	Genus 2 point counting over prime fields
002681 (2011-04)	Jean-Charles Faugère ; Mohab Safey El Din ; Pierre-Jean Spaenlehauer	Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity
002A72 (2009)	Pierrick Gaudry	Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
003509 (2008)	Laurent Dupont ; Daniel Lazard ; Sylvain Lazard ; Sylvain Petitjean	Near-Optimal Parameterization of the Intersection of Quadrics: I. The Generic Algorithm
003511 (2008)	Laurent Dupont ; Daniel Lazard ; Sylvain Lazard ; Sylvain Petitjean	Near-Optimal Parameterization of the Intersection of Quadrics: II. A Classification of Pencils
003513 (2008)	Laurent Dupont ; Daniel Lazard ; Sylvain Lazard ; Sylvain Petitjean	Near-Optimal Parameterization of the Intersection of Quadrics: III. Parameterizing Singular Intersections
003587 (2000-05)	Henri Lombardi ; Marie-Françoise Roy ; Mohab Safey El Din	New structure theorems for subresultants
003599 (2012)	Thomas Prest ; Paul Zimmermann	Non-Linear Polynomial Selection for the Number Field Sieve
003A92 (2015-08-01)	Walid Belkhir ; Yannick Chevalier ; Michael Rusinowitch	Parametrized automata simulation and application to service composition
003F66 (2002-12)	Philippe Aubry ; Fabrice Rouillier ; Mohab Safey El Din	Real solving for positive dimensional systems
004518 (2015-05)	Yacine Bouzidi ; Sylvain Lazard ; Marc Pouget ; Fabrice Rouillier	Separating linear forms and Rational Univariate Representations of bivariate systems
005132 (2000-12)	Philippe Aubry ; Annick Valibouze	Using Galois ideals for computing relative resolvents

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i -k "Journal of Symbolic Computation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i  \
                -Sk "Journal of Symbolic Computation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalJournal.i
   |clé=    Journal of Symbolic Computation
}}

---

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