MPG.eBooks - Search Results - (user OR used) interfaces (computer systems)

1

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... -- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems -- Higher...”

2

by Ehrig, Hartmut, Mahr, Bernd
Published 1990

Springer Berlin Heidelberg

Table of Contents: “... for Abstract Modules and Modular Systems -- 1D: Informal Introduction to Algebraic Specification of Modules...”

3

by HECK, Andre
Published 1996

Springer New York

Table of Contents: “...1 Introduction to Computer Algebra -- 1.1 What is Computer Algebra? -- 1.2 Computer Algebra Systems...”

4

Published 1989

Springer Berlin Heidelberg

Table of Contents: “... -- An algorithm on quasi-ordinary polynomials -- A computer-aided design for sampling a nonlinear analytic system...”

5

by Johnston, Nathaniel
Published 2021

Springer International Publishing

Table of Contents: “...Chapter 1: Vectors and Geometry -- Chapter 2: Linear systems and Subspaces -- Chapter 3: Unraveling...”