Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Algorithms for computer algebra
Algorithms for computer algebra
Evaluation of the heuristic polynomial GCD
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Computer algebra systems: a practical guide
Computer algebra systems: a practical guide
Comparison of polynomial-oriented computer algebra systems
ACM SIGSAM Bulletin
Interprocedural Probabilistic Pointer Analysis
IEEE Transactions on Parallel and Distributed Systems
STLlint: lifting static checking from languages to libraries
Software—Practice & Experience
A Simulation and Decision Framework for Selection of Numerical Solvers in
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Towards an Implementation of a Computer Algebra System in a Functional Language
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
On the efficiency of symbolic computations combined with code generation for finite element methods
ACM Transactions on Mathematical Software (TOMS)
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Buffer capacity computation for throughput-constrained modal task graphs
ACM Transactions on Embedded Computing Systems (TECS)
isl: an integer set library for the polyhedral model
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Generic, type-safe and object oriented computer algebra software
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Analog Integrated Circuits and Signal Processing
Abstract analysis of symbolic executions
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
AdaStreams: a type-based programming extension for stream-parallelism with ada 2005
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Optimized code generation for finite element local assembly using symbolic manipulation
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.00 |
The traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in Cand the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package. Copyright 2002 Academic Press