Alfonso Miola – författare
Visar alla böcker från författaren Alfonso Miola. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
1 101 kr
Skickas inom 10-15 vardagar
This volume considers new methodological aspects related to design and implementation of symbolic computation systems. It aims at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods based on Hilbert and methods of natural deduction. In particular, the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and impelementation issues, and reasoning capabilities supported by the whole framework are described.
Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
Häftad, Engelska, 1990
554 kr
Skickas inom 10-15 vardagar
The 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.
Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
Häftad, Engelska, 1993
554 kr
Skickas inom 10-15 vardagar
This volume constitutes the proceedings of theInternational Symposium on Design and Implementation ofSymbolic Computation Systems (DISCO '93), held in Gmunden,Austria, in September 1993. The growing importance of systems for symbolic computationhas greatly influenced the decision of organizing this thirdconference in the series: DISCO '93 focuses mainly on themost innovative methodological and technological aspects ofthe design and implementation of hardware and softwaresystems for symbolic and algebraic computation, automatedreasoning, geometric modeling and computation, and automaticprogramming. The general objective of DISCO '93 is topresent an up-to-date view of the field and to serve as aforum insymbolic computation for the scientific exchangeamong academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo andHong, the volume contains 28 contributions, carefullyselected by a highly competent international programcommittee from a total of 56 submissions.