Exploring formalisation: A primer in human-readable mathematics in Lean 3 with examples from simplicial topology
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham ; Switzerland
Springer
[2022]
|
| Series: | Surveys and Tutorials in the Applied Mathematical Sciences
11 |
| Subjects: | |
| Physical Description: | iv, 147 Seiten Illustrationen |
| ISBN: | 9783031146480 9783031146497 |
| ISSN: | 2199-4765 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV049635926 | ||
| 003 | DE-604 | ||
| 005 | 20240416 | ||
| 007 | t | ||
| 008 | 240404s2022 a||| |||| 00||| eng d | ||
| 020 | |a 9783031146480 |c Print |9 978-3-031-14648-0 | ||
| 020 | |a 9783031146497 |c Online |9 978-3-031-14649-7 | ||
| 035 | |a (OCoLC)1430762770 | ||
| 035 | |a (DE-599)BVBBV049635926 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a 55-08 |2 msc/2020 | ||
| 084 | |a 68V15 |2 msc/2020 | ||
| 084 | |a MAT 000 |2 stub | ||
| 084 | |a 03B35 |2 msc/2020 | ||
| 084 | |a 55U10 |2 msc/2020 | ||
| 084 | |a 68V20 |2 msc/2020 | ||
| 100 | 1 | |a Löh, Clara |d 1981- |0 (DE-588)133498069 |4 aut | |
| 245 | 1 | 0 | |a Exploring formalisation |b A primer in human-readable mathematics in Lean 3 with examples from simplicial topology |c Clara Löh |
| 264 | 1 | |a Cham ; Switzerland |b Springer |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |a iv, 147 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Surveys and Tutorials in the Applied Mathematical Sciences |v 11 |x 2199-4765 | |
| 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 Online-Ausgabe |z 978-3-031-14649-7 |
| 830 | 0 | |a Surveys and Tutorials in the Applied Mathematical Sciences |v 11 |w (DE-604)BV021500680 |9 11 | |
Record in the Search Index
| _version_ | 1805071389731848192 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Löh, Clara 1981- |
| author_GND | (DE-588)133498069 |
| author_facet | Löh, Clara 1981- |
| author_role | aut |
| author_sort | Löh, Clara 1981- |
| author_variant | c l cl |
| building | Verbundindex |
| bvnumber | BV049635926 |
| classification_tum | MAT 000 |
| ctrlnum | (OCoLC)1430762770 (DE-599)BVBBV049635926 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV049635926</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240416</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">240404s2022 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031146480</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-031-14648-0</subfield></datafield><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="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1430762770</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049635926</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-83</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">55-08</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68V15</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B35</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">55U10</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68V20</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Löh, Clara</subfield><subfield code="d">1981-</subfield><subfield code="0">(DE-588)133498069</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">Clara Löh</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">iv, 147 Seiten</subfield><subfield code="b">Illustrationen</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Surveys and Tutorials in the Applied Mathematical Sciences</subfield><subfield code="v">11</subfield><subfield code="x">2199-4765</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">Online-Ausgabe</subfield><subfield code="z">978-3-031-14649-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Surveys and Tutorials in the Applied Mathematical Sciences</subfield><subfield code="v">11</subfield><subfield code="w">(DE-604)BV021500680</subfield><subfield code="9">11</subfield></datafield></record></collection> |
| id | DE-604.BV049635926 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:38:57Z |
| indexdate | 2024-07-20T04:37:02Z |
| institution | BVB |
| isbn | 9783031146480 9783031146497 |
| issn | 2199-4765 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034979651 |
| oclc_num | 1430762770 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | iv, 147 Seiten Illustrationen |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Surveys and Tutorials in the Applied Mathematical Sciences |
| series2 | Surveys and Tutorials in the Applied Mathematical Sciences |
| spelling | Löh, Clara 1981- (DE-588)133498069 aut Exploring formalisation A primer in human-readable mathematics in Lean 3 with examples from simplicial topology Clara Löh Cham ; Switzerland Springer [2022] © 2022 iv, 147 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Surveys and Tutorials in the Applied Mathematical Sciences 11 2199-4765 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) Erscheint auch als Online-Ausgabe 978-3-031-14649-7 Surveys and Tutorials in the Applied Mathematical Sciences 11 (DE-604)BV021500680 11 |
| spellingShingle | Löh, Clara 1981- Exploring formalisation A primer in human-readable mathematics in Lean 3 with examples from simplicial topology Surveys and Tutorials in the Applied Mathematical Sciences 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 Clara Löh |
| title_fullStr | Exploring formalisation A primer in human-readable mathematics in Lean 3 with examples from simplicial topology Clara Löh |
| title_full_unstemmed | Exploring formalisation A primer in human-readable mathematics in Lean 3 with examples from simplicial topology 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) |
| volume_link | (DE-604)BV021500680 |
| work_keys_str_mv | AT lohclara exploringformalisationaprimerinhumanreadablemathematicsinlean3withexamplesfromsimplicialtopology |