On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank Theiß - Symbolic integration - Document - PDFSEARCH.IO

First Page	Meta Content
	On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank Theiß Add to Reading List Document Date: 2011-03-22 14:11:23 Open Document File Size: 705,19 KB Share Result on Facebook Company Computer Algebra Systems / First Computer Algebra Systems / Studenten der AG / / IndustryTerm elaborated type systems / algorithmic processing / Recent systems / purpose systems / specialised systems / deduction systems / mathematical tools / data structures and algorithms / inabdicable tool / appropriate tool / / Person Bei Professor J¨org / Volker Sorge / Martin Pollet / Georg Weisweiler / Frank Theiß verfaßt / Christoph Benzm / / ProgrammingLanguage Mathematica / / Technology 3.3 Algorithms / artificial intelligence / / SocialTag Symbolic computation Mathematics Applied mathematics Algebra Algorithm Mathematical logic Axiom Mathematician Computer Software

On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank TheißAdd to Reading List