Yazar
Manuel Kauers
5 cilt bulundu.
Cilt sonuçları
The Concrete Tetrahedron
Manuel Kauers · Springer-Verlag/Wien
216 sayfa · 2011
Algorithms / Mathematics / Sequences (Mathematics) / Combinatorial analysis / Special Functions
Mathematical Software – ICMS 2018
James H. Davenport, Manuel Kauers, George Labahn, Josef Urban · Springer
527 sayfa · 2018
Mathematics, data processing / Computer software
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · Springer London, Limited
Sayfa sayısı yok · 2007
Algebra, data processing / Mathematical analysis / Logic, symbolic and mathematical / Knowledge management