Jump to main content

yr 〜
yr

Search results 8

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013 : ISSAC meeting : ISSAC 2013 conference : Jun 2013, Boston, MA.

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013 : ISSAC meeting : ISSAC 2013 conference : Jun 2013, Boston, MA.
Paper図書
Association for Computing Machineryc2013.<M17-14-2152>
National Diet Library
  • Author Heading...: Boston, USA) Kauers, Manuel.

D-finite functions

D-finite functions
Paper図書
Manuel KauersSpringerc2023
Other Libraries in Japan

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007 : 6th international conference, MKM 2007 : Hagenberg, Austria, June 27-30, 2007 : proceedings. : 6th international conference on mathematical knowledge management : Jun 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4573. Lecture Notes in Artificial Intelligence)

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007 : 6th international conference, MKM 2007 : Hagenberg, Austria, June 27-30, 2007 : proceedings. : 6th international conference on mathematical knowledge management : Jun 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4573. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2354>
National Diet Library
  • Author HeadingKauers, Manuel. Calculemus 2007 (2007 : Hagen...

ISSAC 2013 : June 26-29, Boston, USA : proceedings of the 38th International Symposium on Symbolic and Algebraic Computation

ISSAC 2013 : June 26-29, Boston, USA : proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
Paper図書
Manuel Kauers, editorAssociation for Computing Machineryc2013
Other Libraries in Japan

The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates : pbk

The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates : pbk
Paper図書
Manuel Kauers, Peter PauleSpringerc2011
Other Libraries in Japan

Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings

Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
Paper図書
Manuel Kauers ... [et al.] (eds.)Springerc2007
Other Libraries in Japan

ISSAC'05 : July 24-27, 2005, Beijing, China : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation

ISSAC'05 : July 24-27, 2005, Beijing, China : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation
Paper図書
Manuel Kauers, editorACM Pressc2005
Other Libraries in Japan

ISSAC'05 : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, July 24-27, 2005, Beijing, China

ISSAC'05 : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, July 24-27, 2005, Beijing, China
Recording Media電子資料
Manuel Kauers, editorAssociation for Computing Machineryc2005
Other Libraries in Japan

Reached to the end of result.

RSS