Cargando…

Thirty five years of automating mathematics

Detalles Bibliográficos
Autor principal:	Kamareddine, Fairouz
Lenguaje:	eng
Publicado:	Springer 2003
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-017-0253-9 http://cds.cern.ch/record/1620673

Ejemplares similares

Mathematical omnibus: thirty lectures on classic mathematics
por: Fuchs, Dmitry, et al.
Publicado: (2007)

Thirty-three miniatures: mathematical and algorithmic applications of linear algebra
por: Matousek, Jiří
Publicado: (2010)

A Modern Perspective on Type Theory: From its Origins until Today
por: Kamareddine, Fairouz D, et al.
Publicado: (2004)

Automated theory formation in pure mathematics
por: van Rijsbergen, CJ, et al.
Publicado: (2002)

Thirty Essays on Geometric Graph Theory
por: Pach, János
Publicado: (2013)

Mathematical mountaintops: the five most famous problems of all time
por: Casti, John L
Publicado: (2001)

Matvei Petrovich Bronstein: and Soviet theoretical physics in the thirties
por: Gorelik, Gennady E, et al.
Publicado: (1994)

Grade five competition from the leningrad mathematical olympiad: 1979-1992
por: Garaschuk, Kseniya, et al.
Publicado: (2020)

Mathematics year 5 answers
por: Alexander, Serena, et al.
Publicado: (2014)

40 years in mathematical physics
por: Faddeev, L D
Publicado: (1995)

Five golden rules: great theories of 20th-century mathematics - and why they matter
por: Casti, John L
Publicado: (1996)

Major mathematical achievements of recent years
por: Churchhouse, Robert F
Publicado: (1989)

New Directions in Two-Year College Mathematics : Proceedings of the Sloan Foundation Conference on Two-Year College Mathematics
por: Albers, Donald, et al.
Publicado: (1985)

5000 years of geometry: mathematics in history and culture
por: Scriba, Christoph J, et al.
Publicado: (2015)

Paul Halmos celebrating 50 years of mathematics
por: Ewing, John, et al.
Publicado: (1991)

3000 years of analysis: mathematics in history and culture
por: Sonar, Thomas
Publicado: (2021)

The Future of College Mathematics : Proceedings of a Conference/Workshop on the First Two Years of College Mathematics
por: Ralston, Anthony, et al.
Publicado: (1983)

Advances in mathematics and applications: celebrating 50 years of the Institute of Mathematics, Statistics and Scientific Computing, University of Campinas
por: Lavor, Carlile, et al.
Publicado: (2018)

Processing mathematics through digital technologies: the primary years
por: Calder, Nigel
Publicado: (2011)

Succeeding at teaching secondary mathematics: your first year
por: Roddick, Cheryl D, et al.
Publicado: (2010)

150 years of mathematics at Washington University in St. Louis
por: Jensen, Gary R, et al.
Publicado: (2006)

Perspectives on mathematical practices: bringing together philosophy of mathematics, sociology of mathematics, and mathematics education
por: van Kerkhove, Bart, et al.
Publicado: (2007)

50th IMO - 50 Years of International Mathematical Olympiads
por: Gronau, Hans-Dietrich, et al.
Publicado: (2011)

The mathematical century: The 30 Greatest problems of the last 100 years
por: Odifreddi, Piergiorgio
Publicado: (2004)

Differential Geometry and Topology : Special Year at Nankai Institute of Mathematics
por: Jiang, Boju, et al.
Publicado: (1989)

Mathematics at the meridian: the history of mathematics at Greenwich
por: Flood, Raymond, et al.
Publicado: (2019)

Mathematics and mathematical logic: new research
por: Milosav, Peter, et al.
Publicado: (2010)

The mathematical tourist: snapshots of modern mathematics
por: Peterson, Ivars
Publicado: (1988)

Mathematical Footprints: Discovering Mathematics Everywhere
por: Pappas, Theoni
Publicado: (1999)

Thinking about mathematics: the philosophy of mathematics
por: Shapiro, Stewart
Publicado: (2000)

Conference on Mathematical Physics in Mathematics and Physics
Publicado: (2000)

The Magic of Mathematics: Discovering the Spell of Mathematics
por: Pappas, Theoni
Publicado: (2011)

Studies in constructive mathematics and mathematical logic
por: Slisenko, A
Publicado: (1969)

Influence of Solomon Lefschetz in geometry and topology: 50 years of mathematics at Cinvestav
por: Katzarkov, Ludmil, et al.
Publicado: (2014)

Physics and Mathematics of Nonlinear Phenomena: 50 years of Inverse Scattering Transform
Publicado: (2017)

Conference on the Mathematical Sciences after the Year 2000 : a Prospective View
por: Bitar, Khalil, et al.
Publicado: (2000)

Math-A-Day: A Book of Days for Your Mathematical Year
por: Pappas, Theoni
Publicado: (1999)

A wealth of numbers: an anthology of 500 years of popular mathematics writing
por: Wardhaugh, Benjamin
Publicado: (2012)

Symposium in applied mathematics of the American Mathematical Society and the Society of Industrial and Applied Mathematics
por: Wilf, Herbert S, et al.
Publicado: (1971)

Mathematical vistas: papers from the Mathematics Section
por: Malkevitch, Joseph, et al.
Publicado: (1990)

Cannot write session to /tmp/vufind_sessions/sess_9mqjnlc383ld65kncr06p8b528