Cargando…

Automated theory formation in pure mathematics

Detalles Bibliográficos
Autores principales:	van Rijsbergen, CJ, Colton, Simon
Lenguaje:	eng
Publicado:	Springer 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2692613

Ejemplares similares

Pure mathematics
por: Bostock, L, et al.
Publicado: (1982)

Pure mathematics
por: Turing, Alan Mathison, et al.
Publicado: (1992)

Pure mathematics 1
por: Parsonson, S L
Publicado: (1970)

Symposium in Pure Mathematics
por: Browder, Felix E
Publicado: (1976)

Symposium in Pure Mathematics
por: Browder, Felix E
Publicado: (1976)

Mathematics without boundaries: surveys in pure mathematics
por: Rassias, Themistocles, et al.
Publicado: (2014)

Sixth form pure mathematics
por: Plumpton, C, et al.
Publicado: (1968)

A course of pure mathematics
por: Hardy, Godfrey Harold
Publicado: (1952)

A course of pure mathematics
por: Hardy, Godfrey Harold
Publicado: (1955)

A course of pure mathematics
por: Hardy, G H
Publicado: (1938)

Conference on Pure Mathematics with Computers
Publicado: (1996)

Formulas and theorems in pure mathematics
por: Carr, George S
Publicado: (1970)

Recent advances in pure and applied mathematics
por: Gallego, Francisco, et al.
Publicado: (2020)

Randomized algorithms: approximation, generation and counting
por: van Rijsbergen, CJ, et al.
Publicado: (2001)

Lectures on Trends in Applications of Pure Mathematics to Mechanics
por: Fichera, Gaetano
Publicado: (1976)

Lectures on the theory of pure motives
por: Murre, Jacob P, et al.
Publicado: (2013)

Model answers in pure mathematics for a-level students
por: Pratt, GA, et al.
Publicado: (1967)

A panorama of pure mathematics: as Seen by N. Bourbaki
por: Dieudonné, Jean Alexandre
Publicado: (1982)

International Conference on Recent Advances in Pure and Applied Mathematics
por: Deo, Naokant, et al.
Publicado: (2020)

Mechanizing hypothesis formation: mathematical foundations for a general theory
por: Hájek, Petr, et al.
Publicado: (1978)

Joseph Liouville 1809–1882: master of pure and applied mathematics
por: Lützen, Jesper
Publicado: (1990)

Computer algebra with lisp and reduce: an introduction to computer-aided pure mathematics
por: Brackx, F, et al.
Publicado: (1991)

A pure soul: Ennio De Giorgi, a mathematical genius
por: Parlangeli, Andrea
Publicado: (2019)

Thirty five years of automating mathematics
por: Kamareddine, Fairouz
Publicado: (2003)

Mathematical scattering theory: analytic theory
por: Yafaev, DR
Publicado: (2014)

Mathematical scattering theory
por: Yafaev, D R
Publicado: (1992)

Mathematical theory of entropy
por: Martin, Nathaniel F G, et al.
Publicado: (1984)

The mathematical theory of coding
por: Blake, Ian F, et al.
Publicado: (1975)

Mathematical Control Theory
por: Coppel, W
Publicado: (1978)

Mathematical theory of optimization
por: Du, Ding-Zhu, et al.
Publicado: (2001)

The mathematical theory of turbulence
por: Stanišić, M M
Publicado: (1988)

Mathematical systems theory
por: Hinrichsen, Diederich, et al.
Publicado: (2005)

The mathematical theory of elasticity
por: Hetnarski, Richard B, et al.
Publicado: (2011)

Mathematical scattering theory
por: Baumgärtel, Hellmut
Publicado: (1983)

Mathematical control theory
por: Baillieul, J, et al.
Publicado: (1999)

Mathematical Theories of Optimization
por: Cecconi, Jaurés, et al.
Publicado: (1983)

Mathematics of Ramsey theory
por: Nešetřil, Jaroslav, et al.
Publicado: (1990)

Mathematical theory of diffraction
por: Sommerfeld, Arnold
Publicado: (2004)

The mathematical theory of turbulence
por: Stanišić, M M
Publicado: (1985)

Mathematics of the 19th century: mathematical logic, algebra, number theory, probability theory
por: Kolmogorov, A, et al.
Publicado: (1992)

Cannot write session to /tmp/vufind_sessions/sess_pd6933pkcra4kvjil3mc1q83h3