×
Compute Distance To:
Author ID: richard.denis Recent zbMATH articles by "Richard, Denis"
Published as: Richard, Denis

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 204 times in 133 Documents Cited by Year
The minisum and minimax location problems revisited. Zbl 0582.90027
Hansen, Pierre; Peeters, Dominique; Richard, Denis; Thisse, Jacques- François
47
1985
Maximal deformation of an impacting drop. Zbl 1131.76301
Clanet, Christophe; Béguin, Cédric; Richard, Denis; Quéré, David
35
2004
Pyramidal and toroidal water drops after impact on a solid surface. Zbl 1112.76336
Renardy, Y.; Popinet, S.; Duchemin, L.; Renardy, M.; Zaleski, S.; Josserand, C.; Drumright-Clarke, M. A.; Richard, D.; Clanet, C.; Quéré, D.
33
2003
Stability and turbulent transport in Taylor-Couette flow from analysis of experimental data. Zbl 1187.76132
Dubrulle, B.; Dauchot, O.; Daviaud, F.; Longaretti, P.-Y.; Richard, D.; Zahn, J.-P.
29
2005
Decidability of the theory of the natural integers with the Cantor pairing function and the successor. Zbl 0971.03012
Cegielski, P.; Richard, D.
8
2001
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate. Zbl 0562.03006
Richard, Denis
6
1985
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility. Zbl 0612.03009
Richard, Denis
6
1985
Back and forth between continuous and discrete for the working computer scientist. Zbl 0860.68056
Reveillès, Jean-Pierre; Richard, Denis
6
1996
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers. Zbl 0701.03030
Richard, Denis
5
1989
Undecidable extensions of Skolem arithmetic. Zbl 0911.03030
Bès, Alexis; Richard, Denis
4
1998
On arithmetical first-order theories allowing encoding and decoding of lists. Zbl 0930.68032
Cegielski, Patrick; Richard, Denis
3
1999
Contribution à l’étude d’une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding). Zbl 0685.03039
Grigorieff, Serge; Richard, Denis
3
1989
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
On the additive theory of prime numbers. Zbl 1153.11061
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim
2
2007
Bayesian stochastic modelling for avalanche predetermination: from a general system framework to return period computations. Zbl 1149.62096
Eckert, N.; Parent, E.; Naaim, M.; Richard, D.
2
2008
Orders: description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences. Proceedings of the Conference of Ordered Sets and their Applications, Château de la Tourette, l’Arbresle, July 5-11, 1982. Zbl 0539.00003
2
1984
Indécidabilité de la théorie des entiers naturels munis d’une énumération des premiers et de la divisibilité. (The theory of positive integers structured by a list of primes and divisibility is undecidable). Zbl 0781.03004
Cegielski, Patrick; Richard, Denis
2
1992
Les relations arithmétiques sur les entiers primaires sont définissables au premier ordre par successeur et coprimarité. (All arithmetical relations and functions over the set of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate). Zbl 0579.03043
Richard, Denis
1
1984
The elementary theory of the Cantor pairing function is decidable. (La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable.) Zbl 0956.03006
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis
1
2000
Définissabilité de l’arithmétique par coprimarité et restrictions de l’addition ou de la multiplication. (Arithmetical definability from coprimeness and restrictions of addition or multiplication). Zbl 0678.03024
Richard, Denis
1
1987
The arithmetics as theories of two orders. Zbl 0555.03026
Richard, Denis
1
1984
Aluminum reduction cell anode stub hole design using weakly coupled thermo-electro-mechanical finite element models. Zbl 1079.74650
Richard, D.; Fafard, M.; Lacroix, R.; Cléry, P.; Maltais, Y.
1
2001
What are weak arithmetic? Zbl 0984.68508
Richard, Denis
1
2001
La théorie sans egalite du successeur et de la coprimarite des entiers naturels est indecidable. Le predicat de primarite est definissable dans le langage de cette théorie. Zbl 0486.03027
Richard, Denis
1
1982
Définissabilité de l’arithmétique par successeur, coprimarité et puissance. (Arithmetical definability from successor, coprimeness and power). Zbl 0587.03043
Richard, Denis
1
1985
Bayesian stochastic modelling for avalanche predetermination: from a general system framework to return period computations. Zbl 1149.62096
Eckert, N.; Parent, E.; Naaim, M.; Richard, D.
2
2008
On the additive theory of prime numbers. Zbl 1153.11061
Cégielski, Patrick; Richard, Denis; Vsemirnov, Maxim
2
2007
Stability and turbulent transport in Taylor-Couette flow from analysis of experimental data. Zbl 1187.76132
Dubrulle, B.; Dauchot, O.; Daviaud, F.; Longaretti, P.-Y.; Richard, D.; Zahn, J.-P.
29
2005
Maximal deformation of an impacting drop. Zbl 1131.76301
Clanet, Christophe; Béguin, Cédric; Richard, Denis; Quéré, David
35
2004
Pyramidal and toroidal water drops after impact on a solid surface. Zbl 1112.76336
Renardy, Y.; Popinet, S.; Duchemin, L.; Renardy, M.; Zaleski, S.; Josserand, C.; Drumright-Clarke, M. A.; Richard, D.; Clanet, C.; Quéré, D.
33
2003
Decidability of the theory of the natural integers with the Cantor pairing function and the successor. Zbl 0971.03012
Cegielski, P.; Richard, D.
8
2001
Aluminum reduction cell anode stub hole design using weakly coupled thermo-electro-mechanical finite element models. Zbl 1079.74650
Richard, D.; Fafard, M.; Lacroix, R.; Cléry, P.; Maltais, Y.
1
2001
What are weak arithmetic? Zbl 0984.68508
Richard, Denis
1
2001
The elementary theory of the Cantor pairing function is decidable. (La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable.) Zbl 0956.03006
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis
1
2000
On arithmetical first-order theories allowing encoding and decoding of lists. Zbl 0930.68032
Cegielski, Patrick; Richard, Denis
3
1999
Undecidable extensions of Skolem arithmetic. Zbl 0911.03030
Bès, Alexis; Richard, Denis
4
1998
Back and forth between continuous and discrete for the working computer scientist. Zbl 0860.68056
Reveillès, Jean-Pierre; Richard, Denis
6
1996
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
Indécidabilité de la théorie des entiers naturels munis d’une énumération des premiers et de la divisibilité. (The theory of positive integers structured by a list of primes and divisibility is undecidable). Zbl 0781.03004
Cegielski, Patrick; Richard, Denis
2
1992
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers. Zbl 0701.03030
Richard, Denis
5
1989
Contribution à l’étude d’une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding). Zbl 0685.03039
Grigorieff, Serge; Richard, Denis
3
1989
Définissabilité de l’arithmétique par coprimarité et restrictions de l’addition ou de la multiplication. (Arithmetical definability from coprimeness and restrictions of addition or multiplication). Zbl 0678.03024
Richard, Denis
1
1987
The minisum and minimax location problems revisited. Zbl 0582.90027
Hansen, Pierre; Peeters, Dominique; Richard, Denis; Thisse, Jacques- François
47
1985
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate. Zbl 0562.03006
Richard, Denis
6
1985
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility. Zbl 0612.03009
Richard, Denis
6
1985
Définissabilité de l’arithmétique par successeur, coprimarité et puissance. (Arithmetical definability from successor, coprimeness and power). Zbl 0587.03043
Richard, Denis
1
1985
Orders: description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences. Proceedings of the Conference of Ordered Sets and their Applications, Château de la Tourette, l’Arbresle, July 5-11, 1982. Zbl 0539.00003
2
1984
Les relations arithmétiques sur les entiers primaires sont définissables au premier ordre par successeur et coprimarité. (All arithmetical relations and functions over the set of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate). Zbl 0579.03043
Richard, Denis
1
1984
The arithmetics as theories of two orders. Zbl 0555.03026
Richard, Denis
1
1984
La théorie sans egalite du successeur et de la coprimarite des entiers naturels est indecidable. Le predicat de primarite est definissable dans le langage de cette théorie. Zbl 0486.03027
Richard, Denis
1
1982
all top 5

Cited by 253 Authors

9 Carrizosa, Emilio
7 Scholz, Daniel
6 Plastria, Frank
5 Blanquero, Rafael
5 Visser, Albert
4 Cegielski, Patrick
4 Fuchs, Laurent
4 Richard, Denis
4 Schöbel, Anita
4 Tarau, Paul
4 Thoroddsen, Sigurdur T.
3 Andres, Eric
3 Bush, John W. M.
3 Chollet, Agathe
3 Fernandez Hernandez, Jose
3 Gilet, Tristan
3 Josserand, Christophe
3 Largeteau-Skapin, Gaëlle
3 Pelegrín, Blas
3 Wallet, Guy
2 Bonn, Daniel
2 Bourouiba, Lydia
2 Ding, Hang
2 Fontelos López, Marco Antonio
2 Gazdag-Tóth, Boglárka
2 Gordillo, José Manuel
2 Hansen, Pierre
2 Hendrix, Eligius M. T.
2 Karkazis, John
2 Klamroth, Kathrin
2 Korec, Ivan
2 Ortigosa, Pilar M.
2 Redondo, Juani L.
2 Riboux, Guillaume
2 Spelt, Peter D. M.
2 Speranski, Stanislav O.
2 Stone, Howard Alvin
2 Sui, Yi
2 Wang, Yongji
2 Zaferanieh, Mehdi
2 Zaleski, Stéphane
1 Akyüz, M. Hakan
1 Al-Ghaithi, Khaled H. A.
1 Andersen, Kim Allan
1 Attané, P.
1 Ault, Jesse T.
1 Avella, Pasquale
1 Balasubramanian, Ramachandran
1 Bello, Lenys
1 Benati, Stefano
1 Bès, Alexis
1 Biance, Anne-Laure
1 Bischoff, Martin
1 Blanchette, Francois
1 Blázquez, E. B.
1 Bostwick, Joshua B.
1 Bourges, F.
1 Brenn, Günter
1 Brimberg, Jack
1 Butnariu, Dan
1 Caboussat, Alexandre
1 Cai, Xuan
1 Cánovas Martinez, L.
1 Cantone, Domenico
1 Carmeliet, Jan
1 Cavalier, Tom M.
1 Che, Zhizhao
1 Chen, Wenli
1 Choffrut, Christian
1 Colson, Loïc
1 Conde, Eduardo
1 Cong, Weijie
1 Dalby, K.
1 Daniel, Claude
1 Darnière, Luck
1 Daru, Virginie
1 De Bruin, K. G.
1 De Cózar, O. D.
1 De Ruiter, Jolet
1 Delattre, Cédric
1 Derome, Dominique
1 Desrosiers, Jacques
1 Deutschmann, Olaf
1 Di Girolamo, D.
1 Dixit, Harish N.
1 Drezner, Tammy
1 Drezner, Zvi
1 du Merle, Olivier
1 Duan, Yarui
1 Duchemin, Laurent
1 Eggers, Jens G.
1 Elosmani, Mohamed
1 Etoh, T. G.
1 Fathali, Jafar
1 Feng, Jie
1 Fernández, José-Jesús
1 Fernández, Pascual
1 Feuillebois, François
1 Fleuriot, Jacques D.
1 Fliege, Jörg
...and 153 more Authors
all top 5

Cited in 43 Serials

29 Journal of Fluid Mechanics
15 European Journal of Operational Research
14 Physics of Fluids
6 Theoretical Computer Science
5 Computers & Operations Research
4 Computers and Fluids
4 The Journal of Symbolic Logic
4 Journal of Global Optimization
3 Annals of Operations Research
3 Computational Optimization and Applications
3 Top
2 Applied Mathematics and Computation
2 Operations Research Letters
2 Archive for Mathematical Logic
2 Journal of Mathematical Imaging and Vision
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Journal of Mathematical Analysis and Applications
1 Journal of Optimization Theory and Applications
1 Mathematica Slovaca
1 Proceedings of the American Mathematical Society
1 Studia Logica
1 Transactions of the American Mathematical Society
1 OR Spektrum
1 Acta Mathematica Hungarica
1 Annals of Pure and Applied Logic
1 Optimization
1 Applied Mathematical Modelling
1 Pattern Recognition
1 Mathematical Logic Quarterly (MLQ)
1 Engineering Analysis with Boundary Elements
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Mathematical Logic
1 RAIRO. Operations Research
1 Archives of Computational Methods in Engineering
1 OR Spectrum
1 Journal of Applied Logic
1 The Review of Symbolic Logic
1 Advances in Operations Research
1 Computability
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year