Liknande böcker

Infinite Words: Automata, Semigroups, Logic and Games (Pure and applied...
Bok av Dominique Perrin
Applications of Categories in Computer Science : Proceedings of the Lond...
Bok av M P Fourman
Mathematics of Program Construction : Second International Conference, O...
Bok av Richard Bird
Rough Sets and Knowledge Technology : 4th International Conference, RSKT...
Bok av Peng. Wen
Algebraic methodology and software technology : 4th international confer...
Bok av Vangalur S Alagar
The Logic of Partial Information
Bok av Areski Nait Abdallah
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Bok av C Anthony Andersen
Theory and Applications of Satisfiability Testing – SAT 2012 : 15th Inte...
Bok av Alessandro. Cimatti

Challenging The Boundaries Of Symbolic Computation (With Cd-rom), Proceedings Of The Fifth International Mathematica Symposium

Bok av Ramsden Philip Ramsden
This volume consists of papers delivered at the International Mathematica Symposium 2003 - an interdisciplinary meeting bringing together users of Mathematica in research and education. It gathers research papers, reports on classroom practice, reports on the use of Mathematica in industry and commerce, and descriptions of fresh applications.List of contributors: J Nash, S Wolfram, R Maeder, B Buchberger and C McTague.