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.
Mathematical Software - ICMS 2006 [[electronic resource] ] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / / edited by Andres Iglesias, Nobuki Takayama
| Mathematical Software - ICMS 2006 [[electronic resource] ] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / / edited by Andres Iglesias, Nobuki Takayama |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVII, 452 p.) |
| Disciplina | 518 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Computer software Numerical Analysis Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Mathematical Software |
| ISBN | 3-540-38086-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | New Developments on Computer Algebra Packages (Andr´es Iglesias, Tetsuo Ida) -- A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces -- A Mathematica Notebook for Computing the Homology of Iterated Products of Groups -- Interfacing Computer Algebra and Mathematical Visualization (Konrad Polthier) -- GCLC — A Tool for Constructive Euclidean Geometry and More Than That -- jReality, jtem, and Oorange — A Way to Do Math with Computers -- MuPAD’s Graphics System -- Software for Algebraic Geometry and Related Topics (Nobuki Takayama, Gert-Martin Greuel) -- An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields -- Tree Checking for Sparse Complexes -- The SARAG Library: Some Algorithms in Real Algebraic Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension of Singular: Past, Present and Future -- Number Theoretical Software (Ken Nakamula, Michael Pohst) -- Development of NZMATH -- KASH: Recent Developments -- Methods in Computational Number Theory (David Sevilla, Jaime Gutierrez) -- Making Change and Finding Repfigits: Balancing a Knapsack -- Robust HGCD with No Backup Steps -- Free Software for Computer Algebra (Joris Van Der Hoeven) -- The Design of CoCoALib -- Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig) -- Generation of Oriented Matroids Using Satisfiability Solvers -- Flexible Object Hierarchies in Polymake -- A Presentation of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A Software Framework for Parametrizing Specialized LP Problems -- Primal-Dual Enumeration for Multiparametric Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs -- Convergent SDP-Relaxations for Polynomial Optimization with Sparsity -- Methods and Software for Computing Mathematical Functions (Amparo Gil, Javier Segura) -- Algorithm and Software for Integration over a Convex Polyhedron -- A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions -- Computation of the Real Zeros of the Kummer Function M(a;c;x) -- Towards Reliable Software for the Evaluation of a Class of Special Functions -- Access to Mathematics on the Web (Paul Libbrecht) -- Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework -- Methods to Access and Retrieve Mathematical Content in ActiveMath -- Logiweb – A System for Web Publication of Mathematics -- General Track -- Interfacing with the Numerical Homotopy Algorithms in PHCpack -- Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami -- A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation -- KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents -- Stability of Parametric Decomposition -- On the GAP Package sgpviz -- Making Research on Symmetric Functions with MuPAD-Combinat -- Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches -- An Interactive User Interface for Division Algorithms and the Buchberger Algorithm -- Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP -- Links to Projects ICMS 2006 (Masayuki Noro, Nobuki Takayama) -- Links to Projects. Mathematical Software, icms2006—Developer’s Meeting. |
| Record Nr. | UNISA-996466140403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software - ICMS 2010 [[electronic resource] ] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings / / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama
| Mathematical Software - ICMS 2010 [[electronic resource] ] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings / / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 368 p. 59 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Software engineering Algorithms Computer science Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Numerical Analysis Software Engineering Theory of Computation |
| ISBN | 3-642-15582-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Plenary -- Computational Discrete Geometry -- Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable Computing with GNU MPFR -- Computational Group Theory (Invited) -- Simplicial Cohomology of Smooth Orbifolds in GAP -- Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases -- Constructive Membership Testing in Black-Box Classical Groups -- Computational Group Theory (Contributed) -- Towards High-Performance Computational Algebra with GAP -- An Improvement of a Function Computing Normalizers for Permutation Groups -- A GAP Package for Computation with Coherent Configurations -- Computer Algebra (Invited) -- CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library for Computing Gröbner Bases -- Fast Library for Number Theory: An Introduction -- Exact Numeric Computation for Algebraic and Geometric Computation (Invited) -- Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic -- Exact Geometric and Algebraic Computations in CGAL -- On Solving Systems of Bivariate Polynomials -- Accurate and Reliable Computing in Floating-Point Arithmetic -- Exact Numeric Computation for Algebraic and Geometric Computation (Contributed) -- Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags -- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra -- Formal Proof (Invited) -- Introducing HOL Zero -- Euler’s Polyhedron Formula in mizar -- Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal Proof of Pick’s Theorem -- Formal Proof (Contributed) -- Evaluation of Automated Theorem Proving on the Mizar Mathematical Library -- Geometry and Visualization (Invited) -- On Local Deformations of Planar Quad-Meshes -- Construction of Harmonic Surfaces with Prescribed Geometry -- Geometry and Visualization (Contributed) -- A Library of OpenGL-Based Mathematical Image Filters -- MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems -- TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory -- Groebner Bases and Applications (Invited) -- to Normaliz 2.5 -- Computer Algebra Methods in Tropical Geometry -- Groebner Bases and Applications (Contributed) -- A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic -- An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals -- New Algorithms for Computing Primary Decomposition of Polynomial Ideals -- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra -- Operadic Gröbner Bases: An Implementation -- Number Theoretical Software (Invited) -- Magma - A Tool for Number Theory -- Number Theoretical Software (Contributed) -- Enumerating Galois Representations in Sage -- NZMATH 1.0 -- Software for Optimization and Polyhedral Computation (Invited) -- Removing Redundant Quadratic Constraints -- Traversing Symmetric Polyhedral Fans -- C++ Tools for Exploiting Polyhedral Symmetries -- isl: An Integer Set Library for the Polyhedral Model -- Software for Optimization and Polyhedral Computation (Contributed) -- The Reformulation-Optimization Software Engine -- Generating Smooth Lattice Polytopes -- Reliable Computation (Invited) -- Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations -- Complex Inclusion Functions in the CoStLy C++ Class Library -- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries -- Reliable Computation (Contributed) -- Efficient Evaluation of Large Polynomials -- Communicating Functional Expressions from Mathematica to C-XSC. |
| Record Nr. | UNISA-996465940403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers [[electronic resource] /] / edited by Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama
| Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers [[electronic resource] /] / edited by Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 371 p. 56 illus., 1 illus. in color.) |
| Disciplina | 512.24 |
| Collana | Algorithms and Computation in Mathematics |
| Soggetto topico |
Algebra
Field theory (Physics) Algebraic geometry Associative rings Rings (Algebra) Category theory (Mathematics) Homological algebra Differential equations Partial differential equations Field Theory and Polynomials Algebraic Geometry Associative Rings and Algebras Category Theory, Homological Algebra Ordinary Differential Equations Partial Differential Equations |
| ISBN | 3-030-26454-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I First Byway: Gröbner Bases -- 1 From Analytical Mechanical Problems to Rewriting Theory Through M. Janet -- 2 Gröbner Bases in D-modules: Application to Bernstein-Sato Polynomials -- 3 Introduction to Algorithms for D-Modules with Quiver D-Modules -- 4 Noncommutative Gröbner Bases: Applications and Generalizations -- 5 Introduction to Computational Algebraic Statistics -- Part II Second Byway: Quivers -- 6 Introduction to Representations of Quivers -- 7 Introduction to Quiver Varieties -- 8 On Additive Deligne-Simpson Problems -- 9 Applications of Quiver Varieties to Moduli Spaces of Connections on P1. |
| Record Nr. | UNISA-996418257003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers / / edited by Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama
| Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers / / edited by Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 371 p. 56 illus., 1 illus. in color.) |
| Disciplina | 512.24 |
| Collana | Algorithms and Computation in Mathematics |
| Soggetto topico |
Algebra
Field theory (Physics) Geometry, Algebraic Associative rings Rings (Algebra) Categories (Mathematics) Algebra, Homological Differential equations Differential equations, Partial Field Theory and Polynomials Algebraic Geometry Associative Rings and Algebras Category Theory, Homological Algebra Ordinary Differential Equations Partial Differential Equations |
| ISBN | 3-030-26454-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I First Byway: Gröbner Bases -- 1 From Analytical Mechanical Problems to Rewriting Theory Through M. Janet -- 2 Gröbner Bases in D-modules: Application to Bernstein-Sato Polynomials -- 3 Introduction to Algorithms for D-Modules with Quiver D-Modules -- 4 Noncommutative Gröbner Bases: Applications and Generalizations -- 5 Introduction to Computational Algebraic Statistics -- Part II Second Byway: Quivers -- 6 Introduction to Representations of Quivers -- 7 Introduction to Quiver Varieties -- 8 On Additive Deligne-Simpson Problems -- 9 Applications of Quiver Varieties to Moduli Spaces of Connections on P1. |
| Record Nr. | UNINA-9910484850503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||