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
1484203739 |
| 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 Nature 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 |
Engineering mathematics
Engineering - Data processing Software engineering Computer software Mathematical and Computational Engineering Applications Software Engineering 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 Nature 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 science - 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 |
Mathematics - Data processing
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 atSingular 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 (117)
-
Mathematical Software
(117)
- Algorithms (33)
- Computational Science and Engineering (21)
- Numerical Analysis (20)