Cargando…

Computer aided proofs in analysis

Detalles Bibliográficos
Autores principales:	Meyer, Kenneth, Schmidt, Dieter
Lenguaje:	eng
Publicado:	Springer 1991
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4613-9092-3 http://cds.cern.ch/record/1612130

Ejemplares similares

Proofs and Computations
por: Schwichtenberg, Helmut, et al.
Publicado: (2011)

On the extraction of computational content from noneffective convergence proofs in analysis
por: Safarik, Pavol
Publicado: (2014)

Geometry for Computer Graphics: Formulae, Examples and Proofs
por: Vince, John
Publicado: (2006)

Computer-assisted proof of universality for area-preving maps
por: Eckmann, Jean-Pierre, et al.
Publicado: (1984)

Dynamics of judicial proof: computation, logic, and common sense
por: Kacprzyk, Janusz, et al.
Publicado: (2002)

Transition to analysis with proof
por: Krantz, Steven G
Publicado: (2017)

Writing proofs in analysis
por: Kane, Jonathan M
Publicado: (2016)

Computer Aided Analysis and Optimization of Mechanical System Dynamics
por: Haug, Edward
Publicado: (1984)

Numerical verification methods and computer-assisted proofs for partial differential equations
por: Nakao, Mitsuhiro T, et al.
Publicado: (2019)

The nuts and bolts of proofs: an introduction to mathematical proofs
por: Cupillari, Antonella
Publicado: (2005)

The Proof is in the Pudding: The Changing Nature of Mathematical Proof
por: Krantz, Steven G
Publicado: (2011)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
por: Cupillari, Antonella
Publicado: (2011)

Computer-aided analysis of difference schemes for partial differential equations
por: Ganzha, Victor G, et al.
Publicado: (2011)

Exploring the infinite: an introduction to proof and analysis
por: Kacmarcik, Jennifer, et al.
Publicado: (2016)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

Proof complexity
por: Krajíček, Jan
Publicado: (2019)

Algebra of proofs
por: Szabo, M E, et al.
Publicado: (2016)

Proof patterns
por: Joshi, Mark
Publicado: (2015)

Numbers and proofs
por: Allenby, Reg
Publicado: (1997)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Gödel's proof
por: Nagel, Ernest, et al.
Publicado: (1959)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

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

Shape Interrogation for Computer Aided Design and Manufacturing
por: Patrikalakis, Nicholas M, et al.
Publicado: (2010)

Applications of computer aided time series modeling
por: Aoki, Masanao, et al.
Publicado: (1997)

Sets, models and proofs
por: Moerdijk, Ieke, et al.
Publicado: (2018)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2018)

An introduction to mathematical proofs
por: Loehr, Nicholas A
Publicado: (2019)

Understanding mathematical proof
por: Taylor, John, et al.
Publicado: (2014)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2014)

Proofs from the book
por: Quarteroni, Alfio
Publicado: (2006)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2010)

The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2001)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2003)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2001)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (1998)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Advances in proof theory
por: Kahle, Reinhard, et al.
Publicado: (2016)

Proof Analysis: A Contribution to Hilbert's Last Problem
por: Negri, Sara, et al.
Publicado: (2011)

Graph theory in modern engineering: computer aided design, control, optimization, reliability analysis
por: Henley, Ernest J, et al.
Publicado: (1973)

Cannot write session to /tmp/vufind_sessions/sess_0h7ngajhi7ufise21jemv90mgs