Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JSC
2002

favoriteEmaildiscussreport

51views more JSC 2002»

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

13 years 4 months ago

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

Download www.ginac.de

Christian Bauer, Alexander Frink, Richard Kreckel

Real-time Traffic

JSC 2002 |

claim paper

Related Content

» p2b A Translation Utility for Linking Promela and Symbolic Model Checking Tool Paper

» Towards scalable flow and context sensitive pointer analysis

» A Language for the Compact Representation of Multiple Program Versions

» Gauss A Framework for Verifying Scientific Computing Software

» A Type System for Bounded Space and Functional InPlace Update

» Analyzing recursive programs using a fixedpoint calculus

» A Systematic Framework for Grammar Testing

» Synchronization Transformations for Parallel Computing

» Engineering with logic HOL specification and symbolicevaluation testing for TCP implementa...

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JSC
Authors	Christian Bauer, Alexander Frink, Richard Kreckel

Comments (0)