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.
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contributions to the Theory of Nonlinear Oscillations (AM-29), Volume II / / Solomon Lefschetz
| Contributions to the Theory of Nonlinear Oscillations (AM-29), Volume II / / Solomon Lefschetz |
| Autore | Lefschetz Solomon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (128 pages) : illustrations |
| Disciplina | 531.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Oscillations |
| Soggetto non controllato |
Addition
Analytic function Approximation Arc length Asymptotic expansion Big O notation Bijection Calculation Canonical form Cartesian coordinate system Characteristic equation Characteristic exponent Circumference Clockwise Coefficient matrix Coefficient Concentric Continuous function Contradiction Coordinate system Determinant Differential equation Divisor Dynamical system Equation Existential quantification Exterior (topology) First variation Geometry Homotopy Initial condition Integer Intersection (set theory) Interval (mathematics) Isolated point Iteration Limit cycle Limit set Linear differential equation Linear equation Main diagonal Mathematician Matrix (mathematics) Matrix coefficient Monotonic function Natural number Nonlinear system Parameter Partial derivative Periodic function Phase plane Phase portrait Polar coordinate system Polynomial Projective plane Quadratic transformation Requirement Saddle point Separatrix (mathematics) Sequence Special case Square matrix Statistical hypothesis testing Structural stability Subset Suggestion Theorem Theory Three-dimensional space (mathematics) Time derivative Topology Trigonometric polynomial Uniqueness theorem Unit vector Variable (mathematics) Vector field Velocity Without loss of generality |
| ISBN | 1-4008-8270-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface / Lefschetz, Solomon -- Contents -- I. Van der Pol's Equation for Relaxation Oscillations / Cartwright, M. L. -- II. Perturbations of Linear Systems with Constant Coefficients Possessing Periodic Solutions / Coddington, E. A. / Levinson, N. -- III. Dynamical Systems with Stable Structures / DeBaggis, H. F. -- IV. Notes on Differential Equations / Lefsehetz, Solomon -- V. A method for the Calculation of Limit Cycles by Successive Approximation / McCarthy, John -- VI. Asymptotic Expansions of Solutions of Systems of Ordinary Linear Differential Equations Containing a Parameter / Turrittin, H. L. |
| Record Nr. | UNINA-9910154745103321 |
|
Lefschetz Solomon
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Control theoretic splines [[electronic resource] ] : optimal control, statistics, and path planning / / Magnus Egerstedt and Clyde Martin
| Control theoretic splines [[electronic resource] ] : optimal control, statistics, and path planning / / Magnus Egerstedt and Clyde Martin |
| Autore | Egerstedt Magnus |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2010 |
| Descrizione fisica | 1 online resource (227 p.) |
| Disciplina | 511/.42 |
| Altri autori (Persone) | MartinClyde |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Interpolation
Smoothing (Numerical analysis) Smoothing (Statistics) Curve fitting Splines Spline theory |
| Soggetto non controllato |
Accuracy and precision
Affine space Affine variety Algorithm Approximation Arbitrarily large B-spline Banach space Bernstein polynomial Bifurcation theory Big O notation Birkhoff interpolation Boundary value problem Bézier curve Chaos theory Computation Computational problem Condition number Constrained optimization Continuous function (set theory) Continuous function Control function (econometrics) Control theory Controllability Convex optimization Convolution Cubic Hermite spline Data set Derivative Differentiable function Differential equation Dimension (vector space) Directional derivative Discrete mathematics Dynamic programming Equation Estimation Filtering problem (stochastic processes) Gaussian quadrature Gradient descent Gramian matrix Growth curve (statistics) Hermite interpolation Hermite polynomials Hilbert projection theorem Hilbert space Initial condition Initial value problem Integral equation Iterative method Karush–Kuhn–Tucker conditions Kernel method Lagrange polynomial Law of large numbers Least squares Linear algebra Linear combination Linear filter Linear map Mathematical optimization Mathematics Maxima and minima Monotonic function Nonlinear programming Nonlinear system Normal distribution Numerical analysis Numerical stability Optimal control Optimization problem Ordinary differential equation Orthogonal polynomials Parameter Piecewise Pointwise Polynomial interpolation Polynomial Probability distribution Quadratic programming Random variable Rate of convergence Ratio test Riccati equation Simpson's rule Simultaneous equations Smoothing spline Smoothing Smoothness Special case Spline (mathematics) Spline interpolation Statistic Stochastic calculus Stochastic Telemetry Theorem Trapezoidal rule Waypoint Weight function Without loss of generality |
| ISBN |
1-282-45796-9
1-282-93606-9 9786612936067 9786612457968 1-4008-3387-6 |
| Classificazione | SK 880 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter One. Introduction -- Chapter Two. Control Systems and Minimum Norm Problems -- Chapter Three. Eight Fundamental Problems -- Chapter Four. Smoothing Splines and Generalizations -- Chapter Five. Approximations and Limiting Concepts -- Chapter Six. Smoothing Splines with Continuous Data -- Chapter Seven. Monotone Smoothing Splines -- Chapter Eight. Smoothing Splines as Integral Filters -- Chapter Nine. Optimal Transfer between Affine Varieties -- Chapter Ten. Path Planning and Telemetry -- Chapter Eleven. Node Selection -- Bibliography -- Index |
| Record Nr. | UNINA-9910780863803321 |
|
Egerstedt Magnus
|
||
| Princeton, : Princeton University Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks
| Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks |
| Autore | Sacks Gerald E. |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (189 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Unsolvability (Mathematical logic) |
| Soggetto non controllato |
Addition
Aleph number Algebraic topology Approximation Arithmetic function Arithmetical set Axiom of choice Baire category theorem Cardinality of the continuum Cardinality Cartesian product Category theory Commutative property Conjecture Continuum hypothesis Contradiction Corollary Countable set Disjoint union Effective method Empty set Enumeration Equation Existence theorem Existential quantification Finite set Fixed-point theorem Fourier analysis Fubini's theorem Gödel numbering Identity function Inequality (mathematics) Infimum and supremum Integer Lebesgue measure Limit of a sequence Limit point Mathematical induction Mathematics Mean of a function Measure (mathematics) Metric space Monotonic function Mostowski Mutual exclusivity Natural number Null set Open set Partial function Partially ordered set Predicate (mathematical logic) Product measure Product topology Real number Recursion Recursive set Recursively enumerable set Reductio ad absurdum Regular space Requirement Scientific notation Sequence Set (mathematics) Simultaneous equations Subset Theorem Topology Transfinite induction Tychonoff's theorem Uncountable set Union (set theory) Upper and lower bounds Variable (mathematics) W0 Well-order Without loss of generality Zorn's lemma |
| ISBN | 1-4008-8184-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface to revised edition -- Contents -- §1. Preliminaries -- §2 . A Continuum of Mutually Incomparable Degrees -- §3. Uncountable Suborderings of Degrees -- §4. The Priority Method Of Friedberg and Muchnik -- §5. An Existence Theorem For Recursively Enumerable Degrees -- §6 . The Jump Operator -- §7. An Interpolation Theorem for Recursively Enumerable Degrees -- §8. Minimal Upper Bounds for Sequences of Degrees -- §9. Minimal Degrees -- §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments -- §11. Initial Segments of Degrees -- §12. Further Results and Conjectures -- Bibliography |
| Record Nr. | UNINA-9910154752603321 |
|
Sacks Gerald E.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Essay Toward a Unified Theory of Special Functions. (AM-18), Volume 18 / / Clifford Truesdell
| An Essay Toward a Unified Theory of Special Functions. (AM-18), Volume 18 / / Clifford Truesdell |
| Autore | Truesdell Clifford |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (197 pages) : illustrations |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Functional equations |
| Soggetto non controllato |
Addition
Antiderivative Asymptotic formula Bessel function Beta function Boundary value problem Change of variables Closed-form expression Coefficient Combination Continuous function Corollary Differential equation Enumeration Equation Existential quantification Explicit formula Exponential function Factorial Function (mathematics) Functional equation Hermite polynomials Hypergeometric function Integer Laguerre polynomials Laplace transform Legendre function Linear difference equation Linear differential equation Mathematical induction Mathematician Monomial Natural number Number theory Ordinary differential equation Parameter Periodic function Polygamma function Polynomial Potential theory Power series Rectangle Recurrence relation Remainder Scientific notation Sequent Simple function Singular solution Special case Special functions Summation Theorem Theory Uniqueness theorem Variable (mathematics) Without loss of generality |
| ISBN | 1-4008-8237-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PREFACE -- TABLE OF CONTENTS -- Chapter I. The Object and Plan of This Essay -- Chapter II. Reduction to The F-Equation -- Chapter III. Existence and Uniqueness Theorems -- Chapter IV. Methods of Treating Special Functions Based on The Uniqueness Theorem for The Condition F(z, αO) = ψ (z) -- Chapter V. Remarks on Solutions Such That F(z, αO) = ψ (z) -- Chapter VI. Conclusions and Unsolved Problems -- Appendix I. Special Functions -- Appendix II. Operators -- Appendix III. Examples of Equations of Type (3-4) Not Reducible to The F-Equation -- Bibliography |
| Record Nr. | UNINA-9910154746503321 |
|
Truesdell Clifford
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Flows on Homogeneous Spaces. (AM-53), Volume 53 / / L. Green, F. Hahn, Louis Auslander
| Flows on Homogeneous Spaces. (AM-53), Volume 53 / / L. Green, F. Hahn, Louis Auslander |
| Autore | Auslander Louis |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (121 pages) |
| Disciplina | 516 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Topological dynamics |
| Soggetto non controllato |
Additive group
Affine space Automorphism Change of basis Characteristic class Cohomology Combination Compact space Complex number Complexification Constant function Continuous function Corollary Coset Dense set Diagram (category theory) Dimension (vector space) Dimension Diophantine approximation Direct integral Direct sum Eigenfunction Eigenvalues and eigenvectors Empty set Ergodic theory Ergodicity Euclidean space Exact sequence Existential quantification Exponential function Exponential map (Lie theory) Fiber bundle Finite set Fundamental domain Fundamental group General position Geodesic Group representation Haar measure Hausdorff space Hilbert space Homeomorphism Homogeneous coordinates Homogeneous space Homomorphism Horocycle Identity component Imaginary number Induced representation Integer Invariant measure Irreducible component Lebesgue measure Lie algebra Lie group Linear fractional transformation Locally compact group Mathematical induction Measure (mathematics) Morphism Nilpotent Lie algebra Nilpotent group Nilpotent Non-abelian Normal subgroup One-dimensional space One-parameter group Open set Phase space Pointwise Projection (linear algebra) Regular element Remainder Representation theory Riemannian manifold Root system Semidirect product Solvable Lie algebra Solvable group Special case Stone's theorem Subalgebra Subgroup Subset Tangent space Tangent vector Theorem Three-dimensional space (mathematics) Topological group Topology Transformation matrix Transitive relation Two-dimensional space Unit sphere Unit vector Unitary operator Unitary representation Unitary transformation Vector space Without loss of generality |
| ISBN | 1-4008-8202-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- INTRODUCTION -- CONTENTS -- CHAPTER I. AN OUTLINE OF RESULTS ON SOLVMANIFOLDS / Auslander, Louis -- CHAPTER II. ERGODIC THEORY AND GROUP REPRESENTATIONS / Green, L. -- CHAPTER III. FLOWS ON SOME THREE DIMENSIONAL HOMOGENEOUS SPACES / Auslander, L. / Green, L. / Hahn, F. -- APPENDIX TO III. ON THE FUNDAMENTAL GROUP OF CERTAIN FIBRE SPACES / Massey, W. -- CHAPTER IV. MINIMAL FLOWS ON NILMANIFOLDS / Auslander, L. / Hahn, F. / Markus, L. -- CHAPTER V. NILFLOWS, MEASURE THEORY / Green, L. -- CHAPTER VI. FLOWS ON CERTAIN SOLVMANIFOLDS NOT OF TYPE E / Auslander, L. / Hahn, F. -- CHAPTER VII. FLOWS IN TYPE (E) SOLVMANIFOLDS / Green, L. -- APPENDIX TO VII. A THEOREM ON DISCRETE SUBGROUPS OF SOLVABLE GROUPS OF TYPE (E) / Auslander, L. -- CHAPTER VIII. AN APPLICATION OF NILFLOWS TO DIOPHANTINE APPROXIMATIONS / Auslander, L. / Hahn, F. -- CHAPTER IX. DISCRETE GROUPS WITH DENSE ORBITS / Greenberg, Leon -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154748203321 |
|
Auslander Louis
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt
| Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt |
| Autore | Mesbahi Mehran |
| Edizione | [STU student edition] |
| Pubbl/distr/stampa | Princeton : , : Princeton University Press, , [2010] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Network analysis (Planning) - Graphic methods
Multiagent systems - Mathematical models |
| Soggetto non controllato |
Addition
Adjacency matrix Algebraic graph theory Algorithm Automorphism Bipartite graph Cardinality Cartesian product Circulant graph Combinatorics Complete graph Computation Connectivity (graph theory) Controllability Convex combination Corollary Cycle graph (algebra) Cycle space Degree (graph theory) Degree matrix Diagonal matrix Diameter Differentiable function Dimension Directed graph Division by zero Dynamical system Eigenvalues and eigenvectors Equilibrium point Estimation Estimator Existential quantification Extremal graph theory Graph (discrete mathematics) Graph theory Identity matrix Incidence matrix Information exchange Initial condition Interconnection Iteration Kalman filter Kronecker product LTI system theory LaSalle's invariance principle Laplacian matrix Least squares Line graph Linear map Lipschitz continuity Lyapunov function Lyapunov stability Markov chain Mathematical optimization Matrix exponential Measurement Multi-agent system Nash equilibrium Natural number Network topology Nonnegative matrix Notation Observability Optimal control Optimization problem Pairwise Parameter Path graph Permutation matrix Permutation Positive semidefinite Positive-definite matrix Probability Quantity Random graph Random variable Rate of convergence Requirement Result Robotics Scientific notation Sensor Sign (mathematics) Simplicial complex Special case Spectral graph theory Stochastic matrix Strongly connected component Subset Summation Supergraph Symmetric matrix Systems theory Theorem Theory Unit interval Upper and lower bounds Variable (mathematics) Vector space Without loss of generality |
| ISBN |
9781400835355 (electronic book)
1-282-97910-8 9786612979101 1-4008-3535-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Notation -- PART 1. FOUNDATIONS -- Chapter 1. Introduction -- Chapter 2. Graph Theory -- Chapter 3. The Agreement Protocol: Part I-The Static Case -- Chapter 4. The Agreement Protocol: Part II-Lyapunov and LaSalle -- Chapter 5. Probabilistic Analysis of Networks and Protocols -- PART 2. MULTIAGENT NETWORKS -- Chapter 6. Formation Control -- Chapter 7. Mobile Robots -- Chapter 8. Distributed Estimation -- Chapter 9. Social Networks, Epidemics, and Games -- PART 3. NETWORKS AS SYSTEMS -- Chapter 10. Agreement with Inputs and Outputs -- Chapter 11. Synthesis of Networks -- Chapter 12. Dynamic Graph Processes -- Chapter 13. Higher-order Networks -- Appendix A. -- Bibliography -- Index |
| Record Nr. | UNINA-9910785659103321 |
|
Mesbahi Mehran
|
||
| Princeton : , : Princeton University Press, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt
| Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt |
| Autore | Mesbahi Mehran |
| Edizione | [STU student edition] |
| Pubbl/distr/stampa | Princeton : , : Princeton University Press, , [2010] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Network analysis (Planning) - Graphic methods
Multiagent systems - Mathematical models |
| Soggetto non controllato |
Addition
Adjacency matrix Algebraic graph theory Algorithm Automorphism Bipartite graph Cardinality Cartesian product Circulant graph Combinatorics Complete graph Computation Connectivity (graph theory) Controllability Convex combination Corollary Cycle graph (algebra) Cycle space Degree (graph theory) Degree matrix Diagonal matrix Diameter Differentiable function Dimension Directed graph Division by zero Dynamical system Eigenvalues and eigenvectors Equilibrium point Estimation Estimator Existential quantification Extremal graph theory Graph (discrete mathematics) Graph theory Identity matrix Incidence matrix Information exchange Initial condition Interconnection Iteration Kalman filter Kronecker product LTI system theory LaSalle's invariance principle Laplacian matrix Least squares Line graph Linear map Lipschitz continuity Lyapunov function Lyapunov stability Markov chain Mathematical optimization Matrix exponential Measurement Multi-agent system Nash equilibrium Natural number Network topology Nonnegative matrix Notation Observability Optimal control Optimization problem Pairwise Parameter Path graph Permutation matrix Permutation Positive semidefinite Positive-definite matrix Probability Quantity Random graph Random variable Rate of convergence Requirement Result Robotics Scientific notation Sensor Sign (mathematics) Simplicial complex Special case Spectral graph theory Stochastic matrix Strongly connected component Subset Summation Supergraph Symmetric matrix Systems theory Theorem Theory Unit interval Upper and lower bounds Variable (mathematics) Vector space Without loss of generality |
| ISBN |
9781400835355 (electronic book)
1-282-97910-8 9786612979101 1-4008-3535-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Notation -- PART 1. FOUNDATIONS -- Chapter 1. Introduction -- Chapter 2. Graph Theory -- Chapter 3. The Agreement Protocol: Part I-The Static Case -- Chapter 4. The Agreement Protocol: Part II-Lyapunov and LaSalle -- Chapter 5. Probabilistic Analysis of Networks and Protocols -- PART 2. MULTIAGENT NETWORKS -- Chapter 6. Formation Control -- Chapter 7. Mobile Robots -- Chapter 8. Distributed Estimation -- Chapter 9. Social Networks, Epidemics, and Games -- PART 3. NETWORKS AS SYSTEMS -- Chapter 10. Agreement with Inputs and Outputs -- Chapter 11. Synthesis of Networks -- Chapter 12. Dynamic Graph Processes -- Chapter 13. Higher-order Networks -- Appendix A. -- Bibliography -- Index |
| Record Nr. | UNINA-9910816716403321 |
|
Mesbahi Mehran
|
||
| Princeton : , : Princeton University Press, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller
| On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller |
| Autore | Miller Charles F. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (121 pages) |
| Disciplina | 512/.2 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Group theory
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abelian group
Betti number Characteristic function (probability theory) Characterization (mathematics) Combinatorial group theory Conjecture Conjugacy class Conjugacy problem Contradiction Corollary Cyclic permutation Decision problem Diffeomorphism Direct product Direct proof Effective method Elementary class Embedding Enumeration Epimorphism Equation Equivalence relation Exact sequence Existential quantification Finite group Finite set Finitely generated group Finitely presented Free group Free product Fundamental group Fundamental theorem Group (mathematics) Group theory Gödel numbering Homomorphism Homotopy Inner automorphism Markov property Mathematical logic Mathematical proof Mathematics Monograph Natural number Nilpotent group Normal subgroup Notation Permutation Polycyclic group Presentation of a group Quotient group Recursive set Requirement Residually finite group Semigroup Simple set Simplicial complex Solvable group Statistical hypothesis testing Subgroup Theorem Theory Topology Transitive relation Triviality (mathematics) Truth table Turing degree Turing machine Without loss of generality Word problem (mathematics) |
| ISBN | 1-4008-8178-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- CHAPTER I. INTRODUCTION -- CHAPTER II. PROPERTIES OF BRITTON EXTENSIONS -- CHAPTER III. UNSOLVABILITY RESULTS FOR RESIDUALLY FINITE GROUPS -- CHAPTER IV. THE WORD AND CONJUGACY PROBLEMS FOR CERTAIN ELEMENTARY GROUPS -- CHAPTER V. ON THE ISOMORPHISM PROBLEM FOR GROUPS -- LIST OF REFERENCES -- INDEX OF SYMBOLS -- INDEX |
| Record Nr. | UNINA-9910154751403321 |
|
Miller Charles F.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Outer billiards on kites [[electronic resource] /] / Richard Evan Schwartz
| Outer billiards on kites [[electronic resource] /] / Richard Evan Schwartz |
| Autore | Schwartz Richard Evan |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, NJ, : Princeton University Press, c2009 |
| Descrizione fisica | 1 online resource (321 p.) |
| Disciplina | 516.9 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Hyperbolic spaces
Singularities (Mathematics) Transformations (Mathematics) Geometry, Plane |
| Soggetto non controllato |
Abelian group
Automorphism Big O notation Bijection Binary number Bisection Borel set C0 Calculation Cantor set Cartesian coordinate system Combination Compass-and-straightedge construction Congruence subgroup Conjecture Conjugacy class Continuity equation Convex lattice polytope Convex polytope Coprime integers Counterexample Cyclic group Diameter Diophantine approximation Diophantine equation Disjoint sets Disjoint union Division by zero Embedding Equation Equivalence class Ergodic theory Ergodicity Factorial Fiber bundle Fibonacci number Fundamental domain Gauss map Geometry Half-integer Homeomorphism Hyperbolic geometry Hyperplane Ideal triangle Intersection (set theory) Interval exchange transformation Inverse function Inverse limit Isometry group Lattice (group) Limit set Line segment Linear algebra Linear function Line–line intersection Main diagonal Modular group Monotonic function Multiple (mathematics) Orthant Outer billiard Parallelogram Parameter Partial derivative Penrose tiling Permutation Piecewise Polygon Polyhedron Polytope Product topology Projective geometry Rectangle Renormalization Rhombus Right angle Rotational symmetry Sanity check Scientific notation Semicircle Sign (mathematics) Special case Square root of 2. Subsequence Summation Symbolic dynamics Symmetry group Tangent Tetrahedron Theorem Toy model Translational symmetry Trapezoid Triangle group Triangle inequality Two-dimensional space Upper and lower bounds Upper half-plane Without loss of generality Yair Minsky |
| ISBN |
1-282-45858-2
9786612458583 1-4008-3197-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter 1. Introduction -- Part 1. The Erratic Orbits Theorem -- Chapter 2. The Arithmetic Graph -- Chapter 3. The Hexagrid Theorem -- Chapter 4. Period Copying -- Chapter 5. Proof of the Erratic Orbits Theorem -- Part 2. The Master Picture Theorem -- Chapter 6. The Master Picture Theorem -- Chapter 7. The Pinwheel Lemma -- Chapter 8. The Torus Lemma -- Chapter 9. The Strip Functions -- Chapter 10. Proof of the Master Picture Theorem -- Part 3. Arithmetic Graph Structure Theorems -- Chapter 11. Proof of the Embedding Theorem -- Chapter 12. Extension and Symmetry -- Chapter 13. Proof of Hexagrid Theorem I -- Chapter 14. The Barrier Theorem -- Chapter 15. Proof of Hexagrid Theorem II -- Chapter 16. Proof of the Intersection Lemma -- Part 4. Period-Copying Theorems -- Chapter 17. Diophantine Approximation -- Chapter 18. The Diophantine Lemma -- Chapter 19. The Decomposition Theorem -- Chapter 20. Existence of Strong Sequences -- Part 5. The Comet Theorem -- Chapter 21. Structure of the Inferior and Superior Sequences -- Chapter 22. The Fundamental Orbit -- Chapter 23. The Comet Theorem -- Chapter 24. Dynamical Consequences -- Chapter 25. Geometric Consequences -- Part 6. More Structure Theorems -- Chapter 26. Proof of the Copy Theorem -- Chapter 27. Pivot Arcs in the Even Case -- Chapter 28. Proof of the Pivot Theorem -- Chapter 29. Proof of the Period Theorem -- Chapter 30. Hovering Components -- Chapter 31. Proof of the Low Vertex Theorem -- Appendix -- Bibliography -- Index |
| Record Nr. | UNINA-9910781200003321 |
|
Schwartz Richard Evan
|
||
| Princeton, NJ, : Princeton University Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
