Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2
ISBN: 9783540730835 / Angielski / Miękka / 2007 / 426 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities...
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated...
|
cena:
191,40 zł |
 |
D-Finite Functions
ISBN: 9783031346545 / Angielski / Miękka / 2024 Termin realizacji zamówienia: ok. 20 dni roboczych. Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This book is a comprehensive introduction to the theory of these functions with a special emphasis on computer algebra algorithms for computing with them: algorithms for detecting relations from given data, for evaluating D-finite functions, for executing closure properties, for obtaining various kinds of “explicit” expressions, for factoring operators, and for definite and indefinite symbolic summation and... Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in vari... |
cena:
267,98 zł |
 |
The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
ISBN: 9783709104446 / Angielski / Miękka / 2010 / 203 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book examines four mathematical concepts which play a great role in many different areas of mathematics: symbolic sums, recurrence (difference) equations, generating functions, and asymptotic estimates. This book examines four mathematical concepts which play a great role in many different areas of mathematics: symbolic sums, recurrence (difference... |
cena:
267,98 zł |
 |
D-Finite Functions
ISBN: 9783031346514 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This book is a comprehensive introduction to the theory of these functions with a special emphasis on computer algebra algorithms for computing with them: algorithms for detecting relations from given data, for evaluating D-finite functions, for executing closure properties, for obtaining various kinds of "explicit" expressions, for factoring operators, and for definite and indefinite symbolic summation and integration are...
Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various...
|
cena:
382,84 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
