Passer au contenu principal Passer au contenu du pied de page

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Clara Löh

25 septembre 2022

71,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 358 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

147

Surveys and Tutorials in the Applied Mathematical Sciences

Publié par: Springer International Publishing

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031146480

Mathematical Models in Photographic Science

Avner Friedman Couverture souple
80,50 $
2 formats offerts
Natural Language Processing for the Semantic Web

Diana Maynard Couverture souple
84,50 $
An Introduction To Quantum Computing

Phillip Kaye Couverture rigide
336,00 $
2 formats offerts
Sparse Grids and Applications

Jochen Garcke Couverture souple
160,95 $
2 formats offerts
An Introduction to Scientific Computing with MATLAB and Python Tutorials

Sheng Xu Couverture souple
110,95 $
3 formats offerts
Point-set Topology With Topics: Basic General Topology For Graduate Studies

Robert Andre Couverture rigide
274,50 $
2 formats offerts
Mathematical Basics of Motion and Deformation in Computer Graphics, Second Edition

Ken Anjyo Couverture souple
49,50 $
Geometric Properties for Parabolic and Elliptic PDE's

Vincenzo Ferone Couverture rigide
160,95 $
2 formats offerts
Parametric Geometry of Curves and Surfaces: Architectural Form-Finding

Alberto Lastra Couverture souple
94,95 $
Classification of Musical Objects for Analysis and Composition

Linshujie Zheng Couverture souple
94,95 $
Parametric Geometry Of Curves And Surfaces: Architectural Form-finding

Alberto Lastra Couverture rigide
94,95 $
2 formats offerts
Statistics is Easy: Case Studies on Real Scientific Datasets

Manpreet Singh Katari Couverture souple
33,95 $
Numerical Analysis II: Lecture Slide Notes

Ralph E Morganstern Couverture souple
19,50 $
Mathematics In Architecture, Art, Nature, And Beyond

Alfred S Posamentier Couverture rigide
128,50 $
Introduction to Statistical Time Series

Wayne A. Fuller Couverture rigide
266,95 $
Mathematical Methods for Engineering Applications: ICMASE 2023, Madrid, Spain, July 12-14

Víctor Gayoso Martínez Couverture souple
58,50 $
Mathematical Modeling in Physical Sciences: 12th IC-MSQUARE, Belgrade, Serbia, August 28-31, 2023

Dimitrios Vlachos Couverture rigide
364,95 $
2 formats offerts
Mathematics and Music: Composition, Perception, and Performance

James S. Walker Couverture souple
81,50 $
3 formats offerts
Braids: Introductory Lectures on Braids, Configurations and Their Applications

A JON Berrick Couverture rigide
219,50 $
Mathematical Methods for Engineering Applications: ICMASE 2023, Madrid, Spain, July 12-14

Victor Gayoso Martinez Couverture rigide
321,50 $
2 formats offerts

Évaluation éditoriale

Auteur

High-dimensional Probability: An Introduction With Applications In Data Science

Roman Vershynin Couverture rigide
88,95 $
The Shape of Data in Chemistry: An Introduction to Graphs and Topological Data Analysis

Aurora Clark Couverture rigide
149,95 $
Guide To Discrete Mathematics: An Accessible Introduction To The History, Theory, Logic And Applications

Gerard O'regan Couverture souple
87,95 $
6 formats offerts
Using Shiny To Teach Econometric Models

Shawna K. Metzger Couverture souple
26,37 $
Space-filling Curves: An Introduction With Applications In Scientific Computing

Michael Bader Couverture souple
145,95 $
3 formats offerts
Interpreting Discrete Choice Models

Garrett Glasgow Couverture souple
26,37 $
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

David Luckham Couverture souple
80,50 $
A First Course in Complex Analysis

Allan R. Willms Couverture souple
102,50 $
Continuum Modeling from Thermodynamics: Application to Complex Fluids and Soft Solids

Pierre Saramito Couverture souple
58,50 $
Ultrafast Lasers: A Comprehensive Introduction To Fundamental Principles With Practical Applications

Ursula Keller Couverture rigide
175,50 $
2 formats offerts
Continuum Modeling from Thermodynamics: Application to Complex Fluids and Soft Solids

Pierre Saramito Couverture souple
131,50 $
2 formats offerts
Business Optimization Using Mathematical Programming: An Introduction with Case Studies and Solutions in Various Algebraic Modeling Languages

Josef Kallrath Couverture souple
160,95 $
A Short Course on Functional Equations: Based Upon Recent Applications to the Social and Behavioral Sciences

J Aczél Couverture souple
71,50 $
Ultrafast Lasers: A Comprehensive Introduction to Fundamental Principles with Practical Applications

Ursula Keller Couverture souple
145,95 $
Superconductivity: A New Approach Based On The Bethe-salpeter Equation In The Mean-field Approximation

G P Malik Couverture rigide
148,95 $
2 formats offerts
The Numerical Solution of Integral Equations of the Second Kind

Kendall E. Atkinson Couverture souple
89,95 $
2 formats offerts
The Calculus of Variations and Optimal Control: An Introduction

George Leitmann Couverture souple
160,95 $
2 formats offerts
Introduction of Advanced State Space Grids and Their Application to the Analysis of Physics Teaching

Niklas Litzenberger Couverture souple
102,50 $
2 formats offerts
Business Optimization Using Mathematical Programming: An Introduction With Case Studies And Solutions In Various Algebraic Modeling Languages

Josef Kallrath Couverture rigide
233,95 $
2 formats offerts
Methods And Models: A Guide To The Empirical Analysis Of Formal Models In Political Science

Rebecca B. Morton Couverture souple
44,95 $
2 formats offerts