Home Advanced Search

Advanced Search - Page 1

Real algebraic closure of ordered field, in Axiom

DJVU
English
Year: 1992
Author: Rioboo.

Faster real algebraic numbers

DJVU
English
Year: 2002
Author: Rioboo.

Integration of rational functions. Rational computation of logarithmic part

DJVU
English
Year: 1990
Author: Lazard, Rioboo.

Integration of rational functions, a new formula

DJVU
English
Year: 1990
Author: Lazard, Rioboo.

'the Conditioned and the Unconditioned' : Late Modern English Texts on Philosophy. Incl. CD-ROM: a Corpus of English Philosophy Texts (CEPhiT)

PDF
English
Year: 2016
Author: Isabel Moskowich; Gonzalo Camiña Rioboo; Inés Lareo; Begoña Crespo

Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010

PDF
English
Year: 2010
Author: Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ...

PDF
English
Author: Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

PDF
English
Year: 2010
Author: James H. Davenport (auth.), Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.)

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

PDF
English
Year: 2010
Author: James H. Davenport (auth.), Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.)