Action Refinement in Process Algebras (Distinguished Dissert...

by Luca Aceto

The term reactive systems, [Pn85], has been coined to refer to systems which periodically interact with their environmen...

An intelligent tutor for basic algebra

by Cathleen Stasz

Introduction to Process Algebra (Texts in Theoretical Comput...

by Wan Fokkink

System behaviour generally consists of processes and data.

Linear Algebra Labs with MATLAB

by David Hill

Discrete and combinatorial mathematics

by Ralph P. Grimaldi

Computer Algebra

by Edmund A. Lamagna

Data Analysis Using Regression Models

by Edward W. Frees

Computational algebraic geometry

by Hal Schenck

Computer Algebra and Symbolic Computation

by Joel S. Cohen

In this chapter we summarize the background material that provides a framework for the mathematical and computational di...

Ideals, varieties, and algorithms

by David A. Cox, David Cox

This chapter will introduce some of the basic themes of the book.

Mathematics for computer algebra

by Maurice Mignotte

Computational algebraic geometry and commutative algebra

by David Eisenbud

Computational Algebra

by Klaus G. Fischer

Elements of algebra and algebraic computing

by John D. Lipson

Exploring linear algebra

by Crista Arangala

Computer Algebra

by James Harold Davenport, Y. Siret

Computer algebra

by Bruno Buchberger

Rational algebraic curves

by J. Rafael Sendra

Computer algebra

by Bruno Buchberger

College Algebra

by Judith Penna