We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Mathematics

Search Results

Showing 301-311 of 311 results

  1. Counting models in universal Horn classes

    Define n K (λ) to be either ω, or the number of non-isomorphic models in K having cardinality α, whichever cardinal is larger. This paper contains a...

    John T. Baldwin, Ralph N. McKenzie in algebra universalis
    Article 01 December 1982

  2. The invariant subspace problem

    Heydar Radjavi, Peter Rosenthal in The Mathematical Intelligencer
    Article 01 March 1982

  3. Esca** from intermediate expression swell: a continuing saga

    The notion of a closed continuation is introduced, and a functional dialect of LISP is presented, using function call and return based on this...
    J. A. Padget in Computer Algebra
    Conference paper 1982

  4. Existentially complete lattice-ordered groups

    We investigate existentially complete lattice-ordered groups in this paper. In particular, we list some of their algebraic properties and show that...

    A. M. W. Glass, Keith R. Pierce in Israel Journal of Mathematics
    Article 01 September 1980

  5. Cryptology: The Mathematics of Secure Communication

    If the model developed here for the abstract encryption/decryption channel is as general as is claimed, the discovery of asymmetric encryption...

    Gustavus J. Simmons, I. Grattan-Guinness, ... Tim Poston in The Mathematical Intelligencer
    Article 01 December 1979

  6. Spacetimes

    We focus attention on Lorentzian manifolds in this chapter. After a brief mathematical review, the fundamental notions of causality and time...
    Rainer K. Sachs, Hung-Hsi Wu in General Relativity for Mathematicians
    Chapter 1977

  9. Differentiation

    We have really been talking about differentiation in the last two chapters, and the present one contains no really new ideas. It merely introduces a...
    J. Parry Lewis in An Introduction to Mathematics
    Chapter 1969

  10. Stronger than uniform convergence of multistep difference methods

    This paper is concerned with the numerical integration of ordinary differential equations of the order x . Sufficient conditions and also necessary...

    B. Dejon in Numerische Mathematik
    Article 01 March 1966

  11. On Formalization

    The most striking results of formalization occur in logic and mathematics.
    Hao Wang in Computation, Logic, Philosophy
    Chapter 1955
Did you find what you were looking for? Share feedback.