Sciweavers

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

83

Voted

JSC
2002

51views more JSC 2002»

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

15 years 2 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)