Search
Now showing items 11-20 of 37
A Mini-Computer Support System
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Numerical Studies of Steady, Viscous, Incompressible Flow Between Two Rotating Spheres
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
A new numerical method is developed for the solution of steady state, viscous, incompressible flow between two rotating spheres. The Navier-Stokes equations are approximated by a triple sequence of linear problems, each ...
Discrete Newtonian Gravitation and the Three-Body Problem
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Newtonian gravitation is studied from a discrete point of view in that the dynamical equation is an energy conserving difference equation. Application is made to planetary type, nondegenerate three-body problems and several ...
A Definitionally Extendible Type-Logic for Mechanical Theorem Proving
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
The SAC-1 Polynomial System
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
An Interactive Program for Learning the Morphology of Natural Languages
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Techniques of Optimization
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
This paper describes computational algorithms for solving unconstrained and contrained optimization problems.
Remarks on Singular Perturbation of Certain Nonlinear Two-Point Boundary Value Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
Remarks on the Existence Theory for Multiple Solutions of a Singular Perturbation Problem
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
General Convergence Conditions in Nonlinear Programming and a Kuhn-Tucker Algorithm
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
This paper presents a general definition of algorithmic convergence in mathematical programming and lists conditions which are sufficient for convergence in the sense of the definition. These conditions are also shown to ...