Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Lemaire, Fran{\c{c}}ois"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An algorithm for converting nonlinear differential equations to integral equations with an application to parameter estimation from noisy data
François Boulier
,
Anja Korporal
,
François Lemaire
,
Wilfrid Perruquetti
,
Adrien Poteaux
,
Rosane Ushirobira
Lecture Notes in Computer Science
8660
, 2014, pp. 28-43
On the integration of differential fractions
François Boulier
,
François Lemaire
,
Georg Regensburger
,
Markus Rosenkranz
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC'2013 (Boston, Massachusetts, USA, June 26-29, 2013)
, 2013, pp. 101-108
Chemical reaction systems, computer algebra and systems biology
François Boulier
,
François Lemaire
,
Michel Petitot
,
Alexandre Sedoglavic
Lecture Notes in Computer Science
6885
, 2011, pp. 73-87
On the regularity property of differential polynomials modulo regular differential chains
François Boulier
,
François Lemaire
,
Alexandre Sedoglavic
Lecture Notes in Computer Science
6885
, 2011, pp. 61-72
When does
\langle T\rangle
equal sat
(T)
?
François Lemaire
,
Marc Moreno Maza
,
Wei Pan
,
Yuzhen Xie
Journal Symbolic Computation
46
(12), 2011, pp. 1291-1305
Computing differential characteristic sets by change of ordering
François Boulier
,
François Lemaire
,
Marc Moreno Maza
Journal Symbolic Computation
45
(1), 2010, pp. 124-149
A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra
François Lemaire
,
Aslı Ürgüplü
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC'2010 (Technische Universität München, Munich, Germany, July 25-28, 2010)
, 2010, pp. 85-92
When does
\langle T \rangle
equal sat
(T)
?
François Lemaire
,
Marc Moreno Maza
,
Wei Pan
,
Yuzhen Xie
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation, ISSAC'2008 (Hagenberg, Austria, July 20-23, 2008)
, 2008, pp. 207-214
Comprehensive triangular decomposition
Changbo Chen
,
Oleg Golubitsky
,
François Lemaire
,
Marc Maza
,
Wei Pan
Lecture Notes in Computer Science
4770
, 2007, pp. 73-101
An orderly linear PDE system with analytic initial conditions with a non-analytic solution
François Lemaire
Journal Symbolic Computation
35
(5), 2003, pp. 487-498
Les classements les plus généraux assurant l'analycité des solutions des systèmes orthonomes pour des conditions initiales analytiques
François Lemaire
Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)
, 2002, pp. 207-219
PARDI!
François Boulier
,
François Lemaire
,
Marc Moreno Maza
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC'2001 (University of Western Ontario, London, Ontario, Canada, July 22-25, 2001)
, 2001, pp. 38-47
Computing canonical representatives of regular differential ideals
François Boulier
,
François Lemaire
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC'2000 (University of St. Andrews, Scotland, August 7-9, 2000)
, 2000, pp. 38-47