Computer algebra (2nd ed.): systems and algorithms for algebraic computation

Accurate computation of the medial axis of a polyhedron

Proceedings of the fifth ACM symposium on Solid modeling and applications

MAPC: a library for efficient and exact manipulation of algebraic points and curves

SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry

Approximate envelope reconstruction for moving solids

Mathematical Methods for Curves and Surfaces

Indefinite Integration as a Testbed for Developments in Multi-agent Systems

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Functional programming concepts and straight-line programs in computer algebra

Mathematics and Computers in Simulation

Computing forbidden words of regular languages

Fundamenta Informaticae - Special issue on computing patterns in strings

Exact computation of the medial axis of a polyhedron

Computer Aided Geometric Design

Solving parametric linear systems: an experiment with constraint algebraic programming

ACM SIGSAM Bulletin

Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method

Journal of Computational and Applied Mathematics

Intersecting quadrics: an efficient and exact implementation

Computational Geometry: Theory and Applications

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Science of Computer Programming

Evolution of a Spherical Universe in a Short Range Collapse/Generation Interval

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II

Certifying properties of an efficient functional program for computing Gröbner bases

Journal of Symbolic Computation

A new asymptotic analysis of throughput enhancement from selection diversity using a high SNR approach in multiuser systems

IEEE Transactions on Wireless Communications

Letter to the Editor: Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method

Journal of Computational and Applied Mathematics

Symbolic solution of a piano movers' problem with four parameters

ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry

Construction of explicit runge-kutta pairs with stiffness detection

Mathematical and Computer Modelling: An International Journal

Computing forbidden words of regular languages

Fundamenta Informaticae - Computing Patterns in Strings

Isoptics of Bézier curves

Computer Aided Geometric Design