Home Advanced Search

Advanced Search - Page 1

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift
  • PDF
  • English
  • Year: 2013
  • Author: Henk Barendregt (auth.), Peter Paule (eds.)
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.)
Mathematical Software – ICMS 2018
  • PDF
  • English
  • Year: 2018
  • Author: James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Algorithms in invariant theory
  • PDF
  • English
  • Year: 2008
  • Author: Bernd Sturmfels, Peter Paule
Partitions, q-Series, and Modular Forms
  • PDF
  • English
  • Year: 2012
  • Author: George E. Andrews, Peter Paule (auth.), Krishnaswami Alladi, Frank Garvan (eds.)
Partitions, Q-Series, and Modular Forms
  • PDF
  • English
  • Year: 2012
  • Author: George E. Andrews, Peter Paule (auth.), Krishnaswami Alladi, Frank Garvan (eds.)
Partitions, q-series, and modular forms
  • PDF
  • English
  • Year: 2012
  • Author: George E. Andrews, Peter Paule (auth.), Krishnaswami Alladi, Frank Garvan (eds.)
Partitions, q-Series, and Modular Forms
  • PDF
  • English
  • Year: 2012
  • Author: George E. Andrews, Peter Paule (auth.), Krishnaswami Alladi, Frank Garvan (eds.)