Search Results - subject:"Computer Algebra"

Examples of using dynamic constructible closure

Gómez-Díaz, Teresa - In: Mathematics and Computers in Simulation (MATCOM) 42 (1996) 4, pp. 375-383

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...

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

Dynamic evaluation and real closure

Duval, D.; González-Vega, L. - In: Mathematics and Computers in Simulation (MATCOM) 42 (1996) 4, pp. 551-560

The aim of this paper is to present how the dynamic evaluation method can be used to deal with the real closure of an ordered field. Two kinds of questions, or tests, may be asked in an ordered field: equality tests (a = b?) and sign tests (a b?). Equality tests are handled through splittings,...

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

Algebraic computation in geometry

Winkler, Franz - In: Mathematics and Computers in Simulation (MATCOM) 42 (1996) 4, pp. 529-537

Computations with algebraic curves and surfaces are very well suited for being treated with computer algebra. Many … aspects of computer algebra need to be combined for successfully solving problems in this area, e.g. computations with … branches. We will describe the application of computer algebra to problems arising in algebraic geometry. The program system …

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