Projet Eureca
Précédent : Diffusion des résultats
Remonter : Projet EURÉCA, Preuve, calcul
symbolique
- Ouvrages et articles de référence
de l'équipe
- 1
- F. ROUILLIER,
Algorithmes efficaces pour l'étude des zéros réels des
systèmes polynomiaux ,
thèse de doctorat, Université de Rennes I, mai 1996.
- Thèses et habilitations à diriger
des recherches
- 2
- Z. BENAISSA,
Les calculs de substitutions explicites comme fondement des
implantations de langages fonctionnels ,
Thèse de Doctorat d'Université, Université Henri Poincaré -
Nancy 1, octobre 1997.
- 3
- F. BERTAULT,
Génération et tracé de structures décomposables ,
thèse de doctorat, Université Henri Poincaré - Nancy 1,
septembre 1997.
- 4
- D. BRIAUD,
Substitutions explicites et unification d'ordre
supérieur ,
thèse de doctorat, Université Henri Poincaré - Nancy 1,
septembre 1997.
- 5
- H. TOUZET,
Propriétés combinatoires pour la terminaison de systèmes de
réécriture ,
thèse de doctorat, Université Henri Poincaré - Nancy 1,
septembre 1997.
- Articles
- 6
- L. ALONSO, J.-L.
RÉMY, R.
SCHOTT,
« A Linear-Time Algorithm for the Generation of Trees »,
Algorithmica , 17, 1997, p. 162-182.
- 7
- L. ALONSO, J.-L.
RÉMY, R.
SCHOTT,
« Uniform Generation of a Schröder Tree »,
Information Processing Letters , 64, 1998, p.
305-308.
- 8
- Z. BENAISSA, K. H.
ROSE, P.
LESCANNE,
« Modeling Sharing and Recursion for Weak Reduction Strategies
using Explicit Substitution »,
Journal of Functional and Logic Programming, also INRIA
report Number 3092 , 1997,
à paraître.
- 9
- E. A. CICHON, M.
RUSINOWITCH, S.
SELHAB,
« Cut Elimination and Rewriting: termination proofs »,
Theoretical Computer Science ,
à paraître.
- 10
- E. A. CICHON, E.
TAHHAN-BITTAR,
« Ordinal Recursive Bounds for Higman's Theorem »,
Theoretical Computer Science ,
à paraître.
- 11
- E. A. CICHON, A.
WEIERMANN,
« Term Rewriting theory for the Primitive Recursive Functions
»,
Annals of Pure and Applied Logic 83 , 1997, p.
199-223.
- 12
- J. FAUGÈRE, F. M.
DE
SAINT
MARTIN, F.
ROUILLIER,
« Design of regular nonseparable bidimensional wavelets using
Groebner basis techniques »,
IEEE SP Transactions Special Issue on Theory and
Applications of Filter Banks and Wavelets SP:30 ,
1997,
à paraître.
- 13
- M. HERMANN, R.
GALBAVÝ,
« Unification of infinite sets of terms schematized by primal
grammars »,
Theoretical Computer Science 176 , 1-2, 1997, p.
111-158.
- 14
- G. KUCHEROV, M.
RUSINOWITCH,
« Matching a Set of Strings with Variable Length Don't Cares
»,
Theoretical Computer Science 178 , 1997, p.
129-154.
- 15
- Y.-F. PÉTERMANN, J.-L.
RÉMY,
« Golomb's self described sequence and Functional differential
equations »,
Illinois Journal of Mathematics ,
à paraître.
- 16
- J.-L. RÉMY,
« Sur la suite autodécrite de Golomb »,
Journal of Number Theory 66 , 1997, p. 1-28.
- 17
- P. ZIMMERMANN,
« Calcul formel : l'embarras du choix »,
Gazette des Mathématiciens de la Société Mathématique de
France 73 , juillet 1997, p. 39-43.
- Chapitres de
livre
- 18
- L.
GONZALEZ-VEGA,
F. ROUILLIER, M.
ROY, G.
TRUJILLO,
Symbolic Recipes for Real Solutions , Some Tapas
of Computer Algebra ,
Springer-Verlag, 1997, ch. 6,
à paraître.
- 19
- L.
GONZALEZ-VEGA,
F. ROUILLIER, M.
ROY,
Symbolic Recipes for Polynomial System Solving ,
Some Tapas of Computer Algebra ,
Springer-Verlag, 1997, ch. 2,
à paraître.
- 20
- P. ZIMMERMANN,
Journées X-UPS 97 ,
École Polytechnique, Palaiseau, France, octobre 1997, ch.
Calcul formel : ce qu'il y a dans la boîte, p. 47-62.
- Communications à des manifestations
scientifiques
- 21
- A. AMANISS, M.
HERMANN, D.
LUGIEZ,
« Set operations for recurrent term schematizations »,
in: Proceedings 7th International Joint Conference on
Theory and Practice of Software Development (TAPSOFT'97), Lille
(France) , M. Bidoit, M. Dauchet (réd.), Lecture Notes
in Computer Science , 1214 , Springer-Verlag, p.
333-344,
avril 1997.
- 22
- B. CHETALI, B.
HEYD,
« Formal Verification in LP and in Coq: A Comparative Analysis
»,
in: Proceedings of the 10th International Conference on
Theorem Proving in Higher Order Logics , E. L. Gunter, A.
Felty (réd.), Lecture Notes in Computer Science ,
1275 , Springer-Verlag, p. 69-85,
Murray Hill, NJ, août 1997.
- 23
- V. GREBINSKI, G.
KUCHEROV,
« Optimal Query Bounds for Reconstructing a Hamiltonian Cycle
in Complete Graphs »,
in: Proceedings of the 5th Israeli Symposium on Theory of
Computing and Systems , IEEE Press, p. 166-173,
juin 1997.
- 24
- V. GREBINSKI, G.
KUCHEROV,
« Optimal Reconstruction of Graphs Under the Additive Model
»,
in: Proceedings of the 5th Annual European Symposium on
Algorithms, Graz (Austria) , R. Burkard, G. Woeginger
(réd.), Lecture Notes in Computer Science ,
1284 , Springer Verlag, p. 246-258,
1997.
- 25
- M. HERMANN, P.
KOLAITIS,
« On the complexity of unification and disunification in
commutative idempotent semigroups »,
in: Proceedings 3rd International Conference on Principles
and Practice of Constraint Programming (CP'97), Linz
(Austria) , G. Smolka (réd.), Lecture Notes in
Computer Science , 1330 , Springer-Verlag, p.
283-297,
octobre 1997.
- 26
- B. HEYD,
« Un exemple de preuve mécanisée de propriétés d'un programme
composé : la coopération d'ascenseurs »,
in: Actes de Renpar'9 , A. Shiper, D. Trystam
(réd.),
mai 1997.
- 27
- R. KOLPAKOV, G.
KUCHEROV,
« Minimal Letter Frequency in 
-power-free
Binary Words »,
in: Proceedings of the 22nd International Symposium on
Mathematical Foundations of Computer Science (MFCS), Bratislava
(Slovakia) , I. Privara, P. Ruzicka (réd.), Lecture
Notes in Computer Science , 1295 , Springer
Verlag, p. 347-357,
1997.
- Rapports de
recherche
- 28
- B. CHETALI, B.
HEYD,
« Formal Verification of Concurrent Programs in LP and in COQ:
A Comparative Analysis »,
Research Report No97-R-017, CRIN/CNRS, 1997.
- 29
- A. DENISE, P.
ZIMMERMANN,
« Uniform Random Generation of Decomposable Structures Using
Floating-Point Arithmetic »,
Research Report No3242, Institut National de Recherche en
Informatique et Automatique, septembre 1997.
- 30
- V. GREBINSKI, G.
KUCHEROV,
« Optimal Reconstruction of Graphs Under the Additive Model
»,
Rapport de Recherche No3171, Institut National de Recherche en
Informatique et Automatique, Mai 1997.
- 31
- C. HECKLER, T.
METZNER, P.
ZIMMERMANN,
« Progress Report on Parallelism in MuPAD »,
Research Report No3154, Institut National de Recherche en
Informatique et Automatique, avril 1997,
14 pages.
- 32
- B. MOURRAIN, F.
ROUILLIER,
« Linear Algebra »,
Technical Report No2.2.4, Frisco, juin 1997.
- 33
- F. ROUILLIER,
« FGLM »,
Technical Report No3.2.2, Frisco, juin 1997.
- 34
- F. ROUILLIER,
« Quotient Multiplication Table »,
Technical Report No2.2.3, Frisco, juin 1997.
- 35
- F. ROUILLIER,
« RUR »,
Technical Report No3.2.3, Frisco, juin 1997.
- 36
- F. ROUILLIER,
« Sturm / Sturm-Habicht with Hybrid Arithmetic »,
Technical Report No5.1.1, Frisco, juin 1997.
- 37
- P. ZIMMERMANN,
« Cinq algorithmes de calcul symbolique »,
Rapport Technique No206, Institut National de Recherche en
Informatique et Automatique, juin 1997.
- Divers
- 38
- F. BERTAULT, G.
KUCHEROV,
« Visualization of Dynamic Automata Using PADNON
»,
accepté au Workshop on Implementing Automata (University of
Western Ontario, Canada, Septembre 1997), juillet 1997.
- Bibliographie
générale
- NSp92
- N. Alon and J. Spencer.
The Probabilistic Method.
Wiley-Interscience Series in Discrete Mathematics and
Optimization. John Wiley & Sons, New York, 1992.
- Bar97
- M. A. Barkatou.
A fast algorithm for computing rational solutions of systems of
linear differential equations.
Technical Report RR 973, IMAG, Grenoble, March 1997.
- Coq95
- Projet Coq.
The Coq proof assistant (version 5.10).
Reference Manual, 1995.
- Lin75
- B. Lindström.
Determining subsets by unramified experiments.
In A Survey of Statistical Designs and Linear Models,
pages 407-418. North Holland, Amsterdam, 1975.
- Mis94
- J. Misra.
Closure properties.
Unpublished manuscript on a new version of Unity, electronic
version available under http://www.cs.utexas.edu/users/psp/newunity.html,
1994.
- San91
- B.A. Sanders.
Eliminating the substitution axiom from unity logic.
Formal Aspects of Computing, 3(2):189-205, 1991.
- Sa96
- A. Sorokin and al.
A new approach using multiplex long accurate pcr and yeast
artificial chromosomes for bacterial chromosome mapping and
sequencing.
Genome Research, 6:448-453, 1996.