Examples of using dynamic constructible closure

We present here some examples of using the “Dynamic Constructible Closure” program, which performs automatic case distinction in computations involving parameters over a base field K. This program is an application of the “Dynamic Evaluation” principle, which generalizes traditional evaluation and was first used to deal with algebraic numbers.

MoreLess

Year of publication:	1996
Authors:	Gómez-Díaz, Teresa
Published in:	Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 42.1996, 4, p. 375-383
Publisher:	Elsevier
Subject:	Dynamic evaluation \| Parameters \| Computer algebra \| Polynomial systems \| Automatic theorem proving

More details

Type of publication:	Article
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10011050471