000 05256nam a22005295i 4500
001 978-3-540-47014-4
003 DE-He213
005 20160624102019.0
007 cr nn 008mamaa
008 121227s1990 gw | s |||| 0|eng d
020 _a9783540470144
_9978-3-540-47014-4
024 7 _a10.1007/3-540-52531-9
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
245 1 0 _aDesign and Implementation of Symbolic Computation Systems
_h[electronic resource] :
_bInternational Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings /
_cedited by Alfonso Miola.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1990.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1990.
300 _aXII, 286 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v429
505 0 _aCurrent problems in computer algebra systems design -- The design of cayley — a language for modern algebra -- CoCoA: A user-friendly system for commutative algebra -- The design of SISYPHE : a system for doing symbolic and algebraic computations -- Scratchpad's view of algebra I: Basic commutative algebra -- Design issues for a computed-aided environment for constructive mathematics -- Efficient type inference and coercion in computer algebra -- Abstract specification of mathematical structures and methods -- Programming paradigms for symbolic computation systems analysis of an example -- The computation of Gröbner bases on a shared memory multiprocessor -- A theory for program and data type specification -- Context induction: A proof principle for behavioural abstractions -- Completion modulo associativity, commutativity and identity (AC1) -- Polymorphic type checking with subtypes in Prolog -- On the power of subsumption and context checks -- Putting algebraic components together: A dependent type approach -- The use of proof plans in formal methods -- A prolog technology theorem prover: A new exposition and implementation in Prolog -- Parametric queries, linear constraints and variable elimination -- AC-unification race: The system solving approach and its implementation -- Heuristical criteria in refutational theorem proving -- Requirements for standards in knowledge base systems -- Reconciling symbolic and numeric computation in a practical setting -- The design and specification of the ASSPEGIQUE database -- A functional and logic language with polymorphic types -- Graphical object oriented executable specification for an automation oriented paradigm of software development -- Building graphic user interfaces for computer algebra systems -- A system independent graphing package for mathematical functions -- A model of interaction for graphical systems -- Praxis: A rule-based expert system for MACSYMA -- Will DELiA grow into an expert system? -- The GANITH algebraic geometry toolkit -- Mas Modula-2 algebra system -- Prototypes for the automatic translation of computer algebra languages -- The implementation of A PC-based list processor for symbolic computation -- Implementation of the symbol analytic transformations language FLAC -- Design and development of ENprover, an automated theorem proving system based on EN-strategy -- Towards a logic language: An object-oriented implementation of the connection method -- Suggestions for a friendlier user interface.
520 _aThe growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aArtificial intelligence.
650 0 _aComputer graphics.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aComputer Graphics.
700 1 _aMiola, Alfonso.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540525318
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v429
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-52531-9
942 _2EBK5957
_cEBK
999 _c35251
_d35251