




Algorithmic Algebra (Monographs in Computer Science)
Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the...   Examples and Counterexamples in Graph Theory
It is a real pleasure, indeed an honor, for me to have been invited by
Mike Capobianco and John Molluzzo to write an introduction to this
imaginative and valuable addition to graph theory. Let me therefore present
a few of my thoughts on the current status of graph theory and how their
work contributes to the field.
...   Logic Programming with PrologThis book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard ‘knowledge representation language’ for the Semantic Web – the next generation of internet technology; it is one... 

  Bob Miller's Calc for the Clueless: Calc IIStudent Tested And Approved! If you suffer from math anxiety, then sign up for private tutoring with Bob Miller! Do logarithms, sines, and cosines leave you in a cold sweat? Vectors and derivatives send stress signals to your brain? If so, them you are like the many thousands of studentsstudents of all ages, all levelswho are anxiously trying...   Difference Equations, Second Edition: An Introduction with Applications
Difference Equations, Second Edition, presents a practical introduction to this important field of solutions for engineering and the physical sciences. Topic coverage includes numerical analysis, numerical methods, differential equations, combinatorics and discrete modeling. A hallmark of this revision is the diverse application to... 

A Primer for Mathematics CompetitionsThe importance of mathematics competitions has been widely recognized for three reasons: they help to develop imaginative capacity and thinking skills whose value far transcends mathematics; they constitute the most effective way of discovering and nurturing mathematical talent; and they provide a means to combat the prevalent false image of...     Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 1215, 2008, ProceedingsThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASCJ4 systems competition were carefully... 


Result Page: 14 13 12 11 10 9 8 7 6 5 