Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540525318, 9783540470144

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient type inference and coercion in computer algebra

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_124 ◽

1990 ◽

pp. 56-60 ◽

Cited By ~ 4

Author(s):

Albrecht Fortenbacher

Keyword(s):

Computer Algebra ◽

Type Inference ◽

Efficient Type

Download Full-text

A system independent graphing package for mathematical functions

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_145 ◽

1990 ◽

pp. 245-254

Author(s):

Paul S. Wang

Keyword(s):

Mathematical Functions

Download Full-text

Context induction: A proof principle for behavioural abstractions

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_129 ◽

1990 ◽

pp. 101-110 ◽

Cited By ~ 9

Author(s):

Rolf Hennicker

Download Full-text

A theory for program and data type specification

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_128 ◽

1990 ◽

pp. 91-100 ◽

Cited By ~ 5

Author(s):

Carolyn Talcott

Keyword(s):

Data Type ◽

Type Specification

Download Full-text

The computation of Gröbner bases on a shared memory multiprocessor

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_127 ◽

1990 ◽

pp. 81-90 ◽

Cited By ~ 9

Author(s):

Jean-Philippe Vidal

Keyword(s):

Shared Memory ◽

Gröbner Bases ◽

Grobner Bases ◽

Shared Memory Multiprocessor

Download Full-text

CoCoA: A user-friendly system for commutative algebra

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_120 ◽

1990 ◽

pp. 20-29 ◽

Cited By ~ 8

Author(s):

Alessandro Giovini ◽

Gianfranco Niesi

Keyword(s):

Commutative Algebra ◽

User Friendly

Download Full-text

Towards a logic language: An object-oriented implementation of the connection method

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_155 ◽

1990 ◽

pp. 280-281

Author(s):

Giorgio Forcellese ◽

Marco Temperini

Keyword(s):

Object Oriented ◽

Connection Method

Download Full-text

Design and development of ENprover, an automated theorem proving system based on EN-strategy

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_154 ◽

1990 ◽

pp. 278-279

Author(s):

Fabio Baj ◽

Massimo Bruschi ◽

Antonella Zanzi

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Design And Development

Download Full-text

Will DELiA grow into an expert system?

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_148 ◽

1990 ◽

pp. 266-267 ◽

Cited By ~ 1

Author(s):

A. V. Bocharov

Keyword(s):

Expert System

Download Full-text

Graphical object oriented executable specification for an automation oriented paradigm of software development

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_143 ◽

1990 ◽

pp. 225-234

Author(s):

Vincenzo Russi ◽

Roberto Zompi

Keyword(s):

Software Development ◽

Object Oriented ◽

Graphical Object ◽

Executable Specification

Download Full-text

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Efficient type inference and coercion in computer algebra

A system independent graphing package for mathematical functions

Context induction: A proof principle for behavioural abstractions

A theory for program and data type specification

The computation of Gröbner bases on a shared memory multiprocessor

CoCoA: A user-friendly system for commutative algebra

Towards a logic language: An object-oriented implementation of the connection method

Design and development of ENprover, an automated theorem proving system based on EN-strategy

Will DELiA grow into an expert system?

Graphical object oriented executable specification for an automation oriented paradigm of software development

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science
Latest Publications