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 | ||
| ||
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 |
52C05 - Lattices and convex bodies in $2$ dimensions (aspects of discrete geometry) [MSC 2020]
55N35 - Other homology theories in algebraic topology [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 57Q05 - General topology of complexes [MSC 2020] 68U05 - Computer graphics; computational geometry (digital and algorithmic aspects) [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-VAN00103422 |
|
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 | ||
| ||
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 |
05Exx - Algebraic combinatorics [MSC 2020]
15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] |
| Soggetto non controllato |
Adopt algebraic combinatorics
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 Walks in graphs Young tableaux |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124541 |
|
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 | ||
| ||
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 |
05A05 - Permutations, words, matrices [MSC 2020]
05A10 - Factorials, binomial coefficients, combinatorial functions [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 05A19 - Combinatorial identities, bijective combinatorics [MSC 2020] 05E16 - Combinatorial aspects of groups and algebras [MSC 2020] 05E45 - Combinatorial aspects of simplicial complexes [MSC 2020] 06A07 - Combinatorics of partially ordered sets [MSC 2020] 11B65 - Binomial coefficients; factorials; $q$-identities [MSC 2020] 11B75 - Other combinatorial number theory [MSC 2020] 20F55 - Reflection and Coxeter groups (group-theoretic aspects) [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-VAN00113172 |
|
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 | ||
| ||
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 topico |
55-XX - Algebraic topology [MSC 2020]
68-XX - Computer science [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 68V20 - Formalization of mathematics in connection with theorem provers [MSC 2020] |
| 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-VAN00277401 |
|
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 | ||
| ||
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 |
00A05 - Mathematics in general [MSC 2020]
00A06 - Mathematics for nonmathematicians (engineering, social sciences, etc.) [MSC 2020] 01A65 - Contemporary [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 06Bxx - Lattices [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 14-XX - Algebraic geometry [MSC 2020] 14A15 - Schemes and morphisms [MSC 2020] 18-XX - Category theory; homological algebra [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 18B25 - Topoi [MSC 2020] 18Fxx - Categories in geometry and topology [MSC 2020] 18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] 20A05 - Axiomatics and elementary properties of groups [MSC 2020] 20B05 - General theory for finite permutation groups [MSC 2020] 20C05 - Group rings of finite groups and their modules (group-theoretic aspects) [MSC 2020] 51K10 - Synthetic differential geometry [MSC 2020] 53B05 - Linear and affine connections [MSC 2020] 53B20 - Local Riemannian geometry [MSC 2020] 53C21 - Methods of global Riemannian geometry, including PDE methods; curvature restrictions [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] 55Nxx - Homology and cohomology theories in algebraic topology [MSC 2020] 55P10 - Homotopy equivalences in algebraic topology [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 92Bxx - Mathematical biology in general [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-VAN00113670 |
|
Jost, Jürgen
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
