Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A short course in computational geometry and topology / Herbert Edelsbrunner
| A short course in computational geometry and topology / Herbert Edelsbrunner |
| Autore | Edelsbrunner, Herbert |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | IX, 110 p. : ill. ; 24 cm |
| Soggetto topico |
68U05 - Computer graphics; computational geometry (digital and algorithmic aspects) [MSC 2020]
55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 52C05 - Lattices and convex bodies in $2$ dimensions (aspects of discrete geometry) [MSC 2020] 55N35 - Other homology theories in algebraic topology [MSC 2020] 57Q05 - General topology of complexes [MSC 2020] |
| Soggetto non controllato |
Alpha Complexes
Computational Biology Delaunay Triangulations Persistent Homology Protein Folding and Protein Docking Simplicial Complexes Voronoid Diagrams |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103422 |
Edelsbrunner, Herbert
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Combinatorics : Walks, Trees, Tableaux, and More / Richard P. Stanley
| Algebraic Combinatorics : Walks, Trees, Tableaux, and More / Richard P. Stanley |
| Autore | Stanley, Richard P. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xvi, 263 p. : ill. ; 24 cm |
| Soggetto topico |
15-XX - Linear and multilinear algebra; matrix theory [MSC 2020]
05Exx - Algebraic combinatorics [MSC 2020] |
| Soggetto non controllato |
Affine monoids
Algebraic Combinatorics Combinatorial commutative algebra Eulerian digraphs Fisher inequality Hadamard matrices Matrix-Tree Theorem Planar graphs Plane partitions RSK algorithm Radon transform Random Walks Simplicial Complexes Sperner Property Textbook adopt algebraic combinatorics Undergraduate algebraic combinatorics Walks in graphs Young tableaux |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124541 |
|
Stanley, Richard P.
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Eulerian numbers / T. Kyle Petersen
| Eulerian numbers / T. Kyle Petersen |
| Autore | Petersen, T. Kyle |
| Pubbl/distr/stampa | New York, : Birkhäuser, 2015 |
| Descrizione fisica | XVIII, 456 p. : ill. ; 24 cm |
| Soggetto topico |
05A19 - Combinatorial identities, bijective combinatorics [MSC 2020]
05A15 - Exact enumeration problems, generating functions [MSC 2020] 05A10 - Factorials, binomial coefficients, combinatorial functions [MSC 2020] 11B75 - Other combinatorial number theory [MSC 2020] 05A05 - Permutations, words, matrices [MSC 2020] 05E16 - Combinatorial aspects of groups and algebras [MSC 2020] 20F55 - Reflection and Coxeter groups (group-theoretic aspects) [MSC 2020] 06A07 - Combinatorics of partially ordered sets [MSC 2020] 11B65 - Binomial coefficients; factorials; $q$-identities [MSC 2020] 05E45 - Combinatorial aspects of simplicial complexes [MSC 2020] 52B05 - Combinatorial properties (number of faces, shortest paths, etc.) [MSC 2020] |
| Soggetto non controllato |
Catalan numbers
Combinatorics Coxeter groups Eulerian numbers Gal's conjecture Gamma-nonnegativity Gessel's conjecture Narayana numbers Simplicial Complexes |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113172 |
|
Petersen, T. Kyle
|
||
| New York, : Birkhäuser, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh
| Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / Clara Löh |
| Autore | Löh, Clara |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | vi, 147 p. : ill. ; 24 cm |
| Soggetto non controllato |
Examples in Lean
Formalization of mathematics Mathematics in Lean Proof assistant Simplicial Complexes Simplicial topology Theorem prover Tutorial on lean Verification of proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277401 |
|
Löh, Clara
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical concepts / Jürgen Jost
| Mathematical concepts / Jürgen Jost |
| Autore | Jost, Jürgen |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XV, 312 p. : ill. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18B25 - Topoi [MSC 2020] 00A06 - Mathematics for nonmathematicians (engineering, social sciences, etc.) [MSC 2020] 18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 20C05 - Group rings of finite groups and their modules (group-theoretic aspects) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] 53C21 - Methods of global Riemannian geometry, including PDE methods; curvature restrictions [MSC 2020] 14A15 - Schemes and morphisms [MSC 2020] 55Nxx - Homology and cohomology theories in algebraic topology [MSC 2020] 53B05 - Linear and affine connections [MSC 2020] 53B20 - Local Riemannian geometry [MSC 2020] 20B05 - General theory for finite permutation groups [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 01A65 - Contemporary [MSC 2020] 06Bxx - Lattices [MSC 2020] 51K10 - Synthetic differential geometry [MSC 2020] 20A05 - Axiomatics and elementary properties of groups [MSC 2020] 18Fxx - Categories in geometry and topology [MSC 2020] 55P10 - Homotopy equivalences in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Algebraic structures
Category Theory Manifolds Modal Logic Presheave Riemannian geometry Schemes Simplicial Complexes Topological spaces Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113670 |
|
Jost, Jürgen
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Monomial Ideals and Their Decompositions / W. Frank Moore, Mark Rogers, Sean Sather-Wagstaff
| Monomial Ideals and Their Decompositions / W. Frank Moore, Mark Rogers, Sean Sather-Wagstaff |
| Autore | Moore, W. Frank |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xxiv, 387 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Rogers, Mark
Sather-Wagstaff, Sean |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
13Fxx - Arithmetic rings and other special commutative rings [MSC 2020] 05E40 - Combinatorial aspects of commutative algebra [MSC 2020] |
| Soggetto non controllato |
Algorithms
Cohen-Macaulayness Combinatorial commutative algebra Commutative algebra Decompositions of monomial ideals Dickson’s Lemma Edge ideal construction of Villarreal Hilbert Function Irreducible decompositions Macaulay2 Modifying monomial ideals Monomial Ideals Parametric decompositions Phasor Measurement Units Polynomial rings Simplicial Complexes Stanley-Reisner ideals Vertex covers m-irreducible decompositions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124876 |
|
Moore, W. Frank
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Relational topology / Gunther Schmidt, Michael Winter
| Relational topology / Gunther Schmidt, Michael Winter |
| Autore | Schmidt, Gunther |
| Pubbl/distr/stampa | [Cham], : Springer, 2018 |
| Descrizione fisica | XIV, 191 p. : ill. ; 24 cm |
| Altri autori (Persone) | Winter, Michael |
| Soggetto topico |
54-XX - General topology [MSC 2020]
54E05 - Proximity structures and generalizations [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 54E17 - Nearness spaces [MSC 2020] 97E60 - Sets, relations, set theory (educational aspects) [MSC 2020] |
| Soggetto non controllato |
Algebraic Topology
Aumann Contacts Frames in Theoretical Computer Science as Topologies Kronecker Product of Relations Nearness Proximity Quantifier-free logic Relational Mathematics Simplicial Complexes Spatial Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0117077 |
|
Schmidt, Gunther
|
||
| [Cham], : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||