Results 281 to 290 of about 163,062 (337)

Symbolic computing

Insurance: Mathematics and Economics, 1987
It is shown that symbolic computing can be effectively applied to derive actuarial formulae and used to prove theorems. Illustrating examples are given through applying the computer package MACSYMA to problems in deriving probability functions for fractional ages, deriving the power series of an annuity coefficient, calculating annuities-certain ...
openaire   +2 more sources

OPTICAL SYMBOLIC COMPUTING

Optics News, 1988
Abstract : Computer simulation programs have been written to simulate optical symbolic systems. The simulation includes ferroelectric liquid crystals, detectors, and conventional optical components. Individual components have been assembled and tested.
W. THOMAS CATHEY   +2 more
openaire   +2 more sources

Computer Algebra Systems and Symbolic Computations

Journal of Mathematical Sciences, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Computable symbolic dynamics

Mathematical Logic Quarterly, 2008
AbstractWe investigate computable subshifts and the connection with effective symbolic dynamics. It is shown that a decidable Π01 class P is a subshift if and only if there exists a computable function F mapping 2ℕ to 2ℕ such that P is the set of itineraries of elements of 2ℕ.
Cenzer, Douglas   +2 more
openaire   +2 more sources

Computational Symbolic Geometry

1995
The aim of this work is to present a framework for symbolic computations in Geometry. More precisely, we are interested in problems coming from robotics and vision, therefore we focus on points, linear spaces, spheres, displacements and matrices. The approach chosen consists in dealing with intrinsic properties, in order that we (most of the time ...
B. Mourrain, N. Stolfi
openaire   +1 more source

Parallel Symbolic Computing

Computer, 1986
Programs differ from one another in many dimensions. In one such dimension, programs can be laid out along a spectrum with predominantly symbolic programs at one end and predominantly numerical programs at the other. The differences between numerical and symbolic programs suggest different approaches to parallel processing.
openaire   +1 more source

Home - About - Disclaimer - Privacy