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.
Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / / edited by Carsten Schneider, Eugene Zima
| Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / / edited by Carsten Schneider, Eugene Zima |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (xi, 280 pages) : illustrations |
| Disciplina | 004.0151 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Difference equations
Functional equations Sequences (Mathematics) Special functions Computer software Computer science—Mathematics Mathematical physics Difference and Functional Equations Sequences, Series, Summability Special Functions Mathematical Software Mathematics of Computing Theoretical, Mathematical and Computational Physics |
| ISBN | 3-319-73232-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sergei A. Abramov and Moulay A. Barkatou, On Strongly Non-Singular Polynomial Matrices -- Moulay Barkatou, Thomas Cluzeau and Carole El Bacha, On the Computation of Simple Forms and Regular Solutions of Linear Difference Systems -- Johannes Blumlein, Mark Round and Carsten Schneider, Refined Holonomic Summation Algorithms in Particle Physics -- Shaoshi Chen, Bivariate Extensions of Abramov’s Algorithm for Rational Summation -- Hao Du, Hui Huang and Ziming Li, A q-Analogue of the Modified Abramov-Petkovsek Reduction -- Manuel Kauers and Doron Zeilberger, Factorization of C-finite Sequences -- Johannes Middeke and Carsten Schneider, Denominator Bounds for Systems of Recurrence Equations using ΠΣ-Extensions -- Evans Doe Ocansey and Carsten Schneider, Representing (q–)Hypergeometric Products and Mixed Versions in Difference Rings -- Anton A. Panferov, Linearly Satellite Unknowns in Linear Differential Systems -- Peter Paule and Silviu Radu, Rogers-Ramanujan Functions, Modular Functions, and Computer Algebra. |
| Record Nr. | UNINA-9910300118903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithmen von Hammurapi bis Gödel : Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima / / von Jochen Ziegenbalg, Oliver Ziegenbalg, Bernd Ziegenbalg
| Algorithmen von Hammurapi bis Gödel : Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima / / von Jochen Ziegenbalg, Oliver Ziegenbalg, Bernd Ziegenbalg |
| Autore | Ziegenbalg Jochen |
| Edizione | [4th ed. 2016.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Spektrum, , 2016 |
| Descrizione fisica | 1 online resource (XII, 376 S. 113 Abb. in Farbe.) |
| Disciplina | 518.1 |
| Soggetto topico |
Algorithms
Mathematics History Computer software Computer science Mathematics—Study and teaching History of Mathematical Sciences Mathematical Software Computer Science, general Mathematics Education |
| ISBN | 3-658-12363-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Einleitung -- Begriffsbestimmungen -- Historische Bezüge -- Fundamentale heuristische Strategien des algorithmischen Problemlösens -- Effizienz von Algorithmen -- Korrektheit von Algorithmen, Korrektheit von Computerergebnissen -- Grenzen der Algorithmisierbarkeit, Grenzen des Computers -- Programmierung -- Informationstheorie, Codierung und Kryptographie -- Evolutionäre Algorithmen und neuronale Netze. |
| Record Nr. | UNINA-9910484772203321 |
Ziegenbalg Jochen
|
||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Spektrum, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bayesian Optimization and Data Science / / by Francesco Archetti, Antonio Candelieri
| Bayesian Optimization and Data Science / / by Francesco Archetti, Antonio Candelieri |
| Autore | Archetti Francesco |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 126 p. 52 illus., 39 illus. in color.) |
| Disciplina |
519.6
519.542 |
| Collana | SpringerBriefs in Optimization |
| Soggetto topico |
Operations research
Management science Machine learning Computer software Statistics Operations Research, Management Science Machine Learning Mathematical Software Bayesian Inference |
| ISBN | 3-030-24494-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Automated Machine Learning and Bayesian Optimization -- 2. From Global Optimization to Optimal Learning -- 3. The Surrogate Model -- 4. The Acquisition Function -- 5. Exotic BO -- 6. Software Resources -- 7. Selected Applications. |
| Record Nr. | UNINA-9910349319503321 |
|
Archetti Francesco
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning R : an introduction to statistical programming / / Dr. Joshua F. Wiley, Larry A. Pace
| Beginning R : an introduction to statistical programming / / Dr. Joshua F. Wiley, Larry A. Pace |
| Autore | Wiley Joshua |
| Edizione | [Second edition] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress, , [2015] |
| Descrizione fisica | 1 online resource (337 pages) : illustrations |
| Disciplina | 004 |
| Collana | The expert's voice in programming |
| Soggetto topico |
Programming languages (Electronic computers)
Computer software R (Computer program language) R (Llenguatge de programació) Programming Languages, Compilers, Interpreters Mathematical Software |
| ISBN |
9781484203736
1-4842-0373-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents at a Glance; Contents; About the Author; In Memoriam; About the Technical Reviewer; Acknowledgments; Introduction; Chapter 1: Getting Star ted; 1.1 What is R, Anyway?; 1.2 A First R Session; 1.3 Your Second R Session; 1.3.1 Working with Indexes; 1.3.2 Representing Missing Data in R; 1.3.3 Vectors and Vectorization in R; 1.3.4 A Brief Introduction to Matrices; 1.3.5 More on Lists; 1.3.6 A Quick Introduction to Data Frames; Chapter 2: Dealing with Dates, Strings, and Data Frames; 2.1 Working with Dates and Times; 2.2 Working with Strings
Chapter 5: Functional Programming 5.1 Scoping Rules; 5.2 Reserved Names and Syntactically Correct Names; 5.3 Functions and Arguments; 5.4 Some Example Functions; 5.4.1 Guess the Number; 5.4.2 A Function with Arguments; 5.5 Classes and Methods; 5.5.1 S3 Class and Method Example; 5.5.2 S3 Methods for Existing Classes; Chapter 6: Probability Distributions; 6.1 Discrete Probability Distributions; 6.2 The Binomial Distribution; 6.2.1 The Poisson Distribution; 6.2.2 Some Other Discrete Distributions; 6.3 Continuous Probability Distributions; 6.3.1 The Normal Distribution 6.3.2 The t Distribution 6.3.3 The F distribution; 6.3.4 The Chi-Square Distribution; References; Chapter 7: Working with Tables; 7.1 Working with One-Way Tables; 7.2 Working with Two-Way Tables; Chapter 8: Descriptive Statistics and Exploratory Data Analysis; 8.1 Central Tendency ; 8.1.1 The Mean; 8.1.2 The Median; 8.1.3 The Mode; 8.2 Variability ; 8.2.1 The Range; 8.2.2 The Variance and Standard Deviation ; 8.3 Boxplots and Stem-and-Leaf Displays ; 8.4 Using the fBasics Package for Summary Statistics; References; Chapter 9: Working with Graphics 9.1 Creating Effective Graphics 9.2 Graphing Nominal and Ordinal Data; 9.3 Graphing Scale Data; 9.3.1 Boxplots Revisited ; 9.3.2 Histograms and Dotplots; 9.3.3 Frequency Polygons and Smoothed Density Plots; 9.3.4 Graphing Bivariate Data; References; Chapter 10: Traditional Statistical Methods; 10.1 Estimation and Confidence Intervals; 10.1.1 Confidence Intervals for Means; 10.1.2 Confidence Intervals for Proportions; 10.1.3 Confidence Intervals for the Variance; 10.2 Hypothesis Tests with One Sample; 10.3 Hypothesis Tests with Two Samples; References Chapter 11: Modern Statistical Methods |
| Record Nr. | UNINA-9910300650103321 |
|
Wiley Joshua
|
||
| Berkeley, CA : , : Apress, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Standard Compliance and Requirements Validation Using Goal Models / / by Novarun Deb, Nabendu Chaki
| Business Standard Compliance and Requirements Validation Using Goal Models / / by Novarun Deb, Nabendu Chaki |
| Autore | Deb Novarun |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXV, 152 p. 78 illus., 39 illus. in color.) |
| Disciplina | 515 |
| Collana | Services and Business Process Reengineering |
| Soggetto topico |
Applied mathematics
Engineering mathematics Software engineering Computer software Mathematical and Computational Engineering Software Engineering/Programming and Operating Systems Mathematical Software |
| ISBN | 981-15-2501-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work. |
| Record Nr. | UNINA-9910377820603321 |
|
Deb Novarun
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Collecting, Processing and Presenting Geoscientific Information : MATLAB® and Design Recipes for Earth Sciences / / by Martin H. Trauth, Elisabeth Sillmann
| Collecting, Processing and Presenting Geoscientific Information : MATLAB® and Design Recipes for Earth Sciences / / by Martin H. Trauth, Elisabeth Sillmann |
| Autore | Trauth Martin H |
| Edizione | [2nd ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 274 p. 53 illus., 48 illus. in color.) |
| Disciplina | 550.285 |
| Collana | Springer Textbooks in Earth Sciences, Geography and Environment |
| Soggetto topico |
Earth sciences
Statistics Computer graphics Computer software Earth Sciences, general Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences Computer Graphics Mathematical Software |
| ISBN | 3-662-56203-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scientific Information in Earth Sciences -- Searching and Reviewing Scientific Literature -- Internet Resources for Earth Science Data -- MATLAB as a Visualization Tool -- Visualizing Two-Dimensional Earth Science Data -- Visualizing Three-Dimensional Earth Science Data -- Processing and Displaying Images in Earth Sciences -- Editing Graphics, Text, and Tables -- Creating Conference Presentations -- Creating Conference Posters -- Creating Manuscripts, Flyers, and Books. |
| Record Nr. | UNINA-9910299383903321 |
|
Trauth Martin H
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compatible Finite Element Methods for Geophysical Flows : Automation and Implementation Using Firedrake / / by Thomas H. Gibson, Andrew T.T. McRae, Colin J. Cotter, Lawrence Mitchell, David A. Ham
| Compatible Finite Element Methods for Geophysical Flows : Automation and Implementation Using Firedrake / / by Thomas H. Gibson, Andrew T.T. McRae, Colin J. Cotter, Lawrence Mitchell, David A. Ham |
| Autore | Gibson Thomas H |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (126 pages) |
| Disciplina | 550 |
| Collana | SpringerBriefs in Mathematics of Planet Earth, Weather, Climate, Oceans |
| Soggetto topico |
Mathematics
Computer simulation Computer software Numerical analysis Computer mathematics Mathematics of Planet Earth Simulation and Modeling Mathematical Software Numerical Analysis Computational Science and Engineering |
| ISBN | 3-030-23957-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Geophysical Fluid Dynamics and Simulation -- Finite Element Methods for Geophysical Flows -- Firedrake -- Models in Two-Dimensions -- Models in Three-Dimensions -- References -- Index. |
| Record Nr. | UNINA-9910349322203321 |
|
Gibson Thomas H
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Experiment Approach to Advanced Secondary Mathematics Curriculum / / by Sergei Abramovich
| Computational Experiment Approach to Advanced Secondary Mathematics Curriculum / / by Sergei Abramovich |
| Autore | Abramovich Sergei |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (333 p.) |
| Disciplina | 510.78 |
| Collana | Mathematics Education in the Digital Era |
| Soggetto topico |
Mathematics - Study and teaching
Mathematics - Data processing Education - Data processing Computer software Learning, Psychology of Mathematics Education Computational Mathematics and Numerical Analysis Computers and Education Mathematical Software Instructional Psychology |
| ISBN | 94-017-8622-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. Theoretical foundations of computational experiment approach to secondary mathematics -- 2. One-variable equations and inequalities: the unity of computational experiment and formal demonstration -- 3. Computationally supported study of quadratic functions depending on parameters -- 4. Computational experiment approach to equations with parameters -- 5. Inequalities with parameters as generators of new meanings -- 6. Computational experiments in trigonometry -- 7. Advancing stem education through temp: Geometric probabilities -- 8. Exploring topics in elementary number theory through a computational experiment -- References. . |
| Record Nr. | UNINA-9910299964803321 |
|
Abramovich Sergei
|
||
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings / / edited by Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings / / edited by Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 393 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Computer software Mathematics—Data processing Computer programming Discrete mathematics Algorithms Symbolic and Algebraic Manipulation Mathematical Software Computational Mathematics and Numerical Analysis Programming Techniques Discrete Mathematics in Computer Science |
| ISBN | 3-642-04103-5 |
| Classificazione |
DAT 702f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On m-Interlacing Solutions of Linear Difference Equations -- Parametric Analysis of Stability Conditions for a Satellite with Gyrodines -- Computing and Visualizing Closure Objects Using Relation Algebra and RelView -- On Integrability of a Planar ODE System Near a Degenerate Stationary Point -- Conditions of D-Stability of the Fifth-Order Matrices -- Code Generation for Polynomial Multiplication -- Solving Structured Polynomial Systems and Applications to Cryptology -- The Comparison Method of Physical Quantity Dimensionalities -- Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities -- Involution and Difference Schemes for the Navier–Stokes Equations -- A Mathematica Package for Simulation of Quantum Computation -- On Computing the Hermite Form of a Matrix of Differential Polynomials -- On the Computation of Comprehensive Boolean Gröbner Bases -- On Invariant Manifolds of Dynamical Systems in Lie Algebras -- On the Complexity of Reliable Root Approximation -- Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation -- Discrete Dynamics: Gauge Invariance and Quantization -- Effective Quantifier Elimination for Presburger Arithmetic with Infinity -- An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy -- Lazy and Forgetful Polynomial Arithmetic and Applications -- On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences -- A Study on Gröbner Basis with Inexact Input -- Modular Algorithms for Computing a Generating Set of the Syzygy Module -- A Symbolic Framework for Operations on Linear Boundary Problems -- Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra -- Multiple Factorizations of Bivariate Linear Partial Differential Operators -- Computing Gröbner Bases within Linear Algebra -- A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium -- Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity -- New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc -- Hybrid Solution of Two-Point Linear Boundary Value Problems. |
| Record Nr. | UNISA-996465665003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks / / edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato
| Computer Mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks / / edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (498 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer mathematics
Computer software Computational Mathematics and Numerical Analysis Computational Science and Engineering Mathematical Software |
| ISBN | 3-662-43799-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms -- The vanishing ideal of a finite set of points with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue bound for the Laplacian with singularities -- Degree and dimension estimates for invariant ideals of P-solvable recurrences -- POLY : A new polynomial data structure for Maple 17 -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Polynomial Equations Based on Hybrid Computation -- Overview of the Mathemagix type system -- Resultant-Free Computation of Indefinite Hyperexponential Integrals -- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms over Galois Rings -- Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials -- Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis -- A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices -- Computing Popov Forms of Matrices over PBW Extensions -- On the simplest quartic fields and related Thue equations -- On the Implementation of Boolean Gröbner Bases -- Towards the calculation of Casimir forces for inhomogeneous planar media -- Comprehensive Gröbner Bases in a Java Computer Algebra System -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Regular Chains -- A Practical Method for Floating-point Groebner Basis Computation -- Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case -- A Sequence of Nearest Polynomials with Given Factors -- Digitisation Workflow in the Czech Digital Mathematics Library -- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring. |
| Record Nr. | UNINA-9910299982603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Computer software (100)
-
Mathematical Software
(100)
- Algorithms (26)
- Computer science—Mathematics (22)
- Computer mathematics (20)