Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2022
Cham Springer |
| Edition: | 1st ed. 2022 |
| Series: | Surveys and Tutorials in the Applied Mathematical Sciences
11 |
| Subjects: | |
| Online Access: | BTU01 FHD01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 HTW01 TUM01 UBM01 UBT01 UBW01 UBY01 UEI01 UPA01 Volltext |
| Physical Description: | 1 Online-Ressource (VI, 147 p. 1 illus) |
| ISBN: | 9783031146497 |
| ISSN: | 2199-4773 |
| DOI: | 10.1007/978-3-031-14649-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048496166 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 221004s2022 |||| o||u| ||||||eng d | ||
| 020 | |a 9783031146497 |c Online |9 978-3-031-14649-7 | ||
| 024 | 7 | |a 10.1007/978-3-031-14649-7 |2 doi | |
| 035 | |a (ZDB-2-SMA)9783031146497 | ||
| 035 | |a (OCoLC)1347217130 | ||
| 035 | |a (DE-599)BVBBV048496166 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-898 |a DE-861 |a DE-188 |a DE-523 |a DE-859 |a DE-863 |a DE-1050 |a DE-20 |a DE-862 |a DE-92 |a DE-824 |a DE-703 |a DE-706 |a DE-739 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Löh, Clara |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Exploring Formalisation |b A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology |c by Clara Löh |
| 250 | |a 1st ed. 2022 | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2022 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (VI, 147 p. 1 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Surveys and Tutorials in the Applied Mathematical Sciences |v 11 |x 2199-4773 | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Algebraic Topology | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Manifolds and Cell Complexes | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Algebraic topology | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Manifolds (Mathematics) | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-14648-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-14650-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-14649-7 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q ZDB-2-SMA_2022 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033873521 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FHD01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FHN01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FKE01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FWS01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l FWS02 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l HTW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l UBY01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-14649-7 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 1007366 |
|---|---|
| _version_ | 1824553598200053762 |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Löh, Clara |
| author_facet | Löh, Clara |
| author_role | aut |
| author_sort | Löh, Clara |
| author_variant | c l cl |
| building | Verbundindex |
| bvnumber | BV048496166 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (ZDB-2-SMA)9783031146497 (OCoLC)1347217130 (DE-599)BVBBV048496166 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| doi_str_mv | 10.1007/978-3-031-14649-7 |
| edition | 1st ed. 2022 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03483nmm a2200709zcb4500</leader><controlfield tag="001">BV048496166</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">221004s2022 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031146497</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-14649-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-14649-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)9783031146497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1347217130</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048496166</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Löh, Clara</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Exploring Formalisation</subfield><subfield code="b">A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology</subfield><subfield code="c">by Clara Löh</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 147 p. 1 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Surveys and Tutorials in the Applied Mathematical Sciences</subfield><subfield code="v">11</subfield><subfield code="x">2199-4773</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic Topology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Manifolds and Cell Complexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic topology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Manifolds (Mathematics)</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-14648-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-14650-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2022</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033873521</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-14649-7</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048496166 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T20:43:18Z |
| indexdate | 2025-02-20T06:38:25Z |
| institution | BVB |
| isbn | 9783031146497 |
| issn | 2199-4773 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033873521 |
| oclc_num | 1347217130 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-859 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-824 DE-703 DE-706 DE-739 DE-634 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-859 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-824 DE-703 DE-706 DE-739 DE-634 |
| physical | 1 Online-Ressource (VI, 147 p. 1 illus) |
| psigel | ZDB-2-SMA ZDB-2-SMA_2022 |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer International Publishing Springer |
| record_format | marc |
| series2 | Surveys and Tutorials in the Applied Mathematical Sciences |
| spellingShingle | Löh, Clara Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology Mathematical Logic and Foundations Algebraic Topology Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Manifolds and Cell Complexes Mathematical logic Algebraic topology Machine theory Computer science—Mathematics Manifolds (Mathematics) |
| title | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology |
| title_auth | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology |
| title_exact_search | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology |
| title_exact_search_txtP | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology |
| title_full | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology by Clara Löh |
| title_fullStr | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology by Clara Löh |
| title_full_unstemmed | Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology by Clara Löh |
| title_short | Exploring Formalisation |
| title_sort | exploring formalisation a primer in human readable mathematics in lean 3 with examples from simplicial topology |
| title_sub | A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology |
| topic | Mathematical Logic and Foundations Algebraic Topology Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Manifolds and Cell Complexes Mathematical logic Algebraic topology Machine theory Computer science—Mathematics Manifolds (Mathematics) |
| topic_facet | Mathematical Logic and Foundations Algebraic Topology Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Manifolds and Cell Complexes Mathematical logic Algebraic topology Machine theory Computer science—Mathematics Manifolds (Mathematics) |
| url | https://doi.org/10.1007/978-3-031-14649-7 |
| work_keys_str_mv | AT lohclara exploringformalisationaprimerinhumanreadablemathematicsinlean3withexamplesfromsimplicialtopology |