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 Progress in Expressive Image Synthesis II : Extended and Selected Results from the Symposium MEIS2014 / / edited by Hiroyuki Ochiai, Ken Anjyo
| Mathematical Progress in Expressive Image Synthesis II : Extended and Selected Results from the Symposium MEIS2014 / / edited by Hiroyuki Ochiai, Ken Anjyo |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Tokyo : , : Springer Japan : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (165 p.) |
| Disciplina | 006.6869 |
| Collana | Mathematics for Industry |
| Soggetto topico |
Applied mathematics
Engineering mathematics Optical data processing Computer science—Mathematics Computer mathematics Computer-aided engineering Mathematical and Computational Engineering Computer Imaging, Vision, Pattern Recognition and Graphics Mathematical Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 4-431-55483-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Geometry -- A Geometric Approach to Elasticity, Contact and Design -- Computer Graphics in Minimal Surface Theory -- Explicit Formula and Extension of the Discrete Power Function Associated with the Circle Patterns of Schramm Type -- On Connectivity of Discretized 2D Explicit Curve -- Part II Animation -- Fast Implicit Simulation of Flexible Trees -- Probe-type Deformers -- Controllable Skeleton-sheets Representation via Shape Diameter Function -- Super resolution from Principal Component Models by RKHS Sampling -- Part III Visual Perception and Illusion -- From Mathematical Study of Visual Information Processing in the Brain to Image Processing -- Computational Creation of a New Illusionary Solid Sign with Shading Effect -- Part IV Simulation and Sampling -- Mathematical Model for Epidermal Homeostasis -- A Prior Reduced Model of Dynamical Systems -- Real-time Volume Visualization for Large-scale Grid-based Fluid Simulations on Distributed Multi-GPU Systems -- Importance Sampling for Cloth Rendering under Environment Light. |
| Record Nr. | UNINA-9910299830903321 |
| Tokyo : , : Springer Japan : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Progress in Expressive Image Synthesis III : Selected and Extended Results from the Symposium MEIS2015 / / edited by Yoshinori Dobashi, Hiroyuki Ochiai
| Mathematical Progress in Expressive Image Synthesis III : Selected and Extended Results from the Symposium MEIS2015 / / edited by Yoshinori Dobashi, Hiroyuki Ochiai |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (155 p.) |
| Disciplina | 620 |
| Collana | Mathematics for Industry |
| Soggetto topico |
Applied mathematics
Engineering mathematics Optical data processing Computer science—Mathematics Computer mathematics Computer-aided engineering Mathematical and Computational Engineering Computer Imaging, Vision, Pattern Recognition and Graphics Mathematical Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 981-10-1076-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Geometry -- Geometry and Mechanics of Fibers: Some Numerical Models -- Tetrisation of Triangular Meshes and Its Application in Shape Blending -- A Construction Method for Discrete Constant Negative Gaussian Curvature Surfaces -- Fabrication-Aware Geometry Processing -- Part II Artificial Animation -- Revisiting Vorticity: Pushing Fluid Solvers to the Next Level -- Active Comicing for Freehand Drawing Animation -- A Multilayered Model for Artificial Intelligence of Game Characters as Agent Architecture -- Part III Illusion, Patterns, and Visualization -- Visual Media Culture Supported by Human Depth Illusion -- Wang Tile Modeling of Wall Patterns -- High-Resolution Visualization Library for the Exascale Supercomputer -- Part IV Curves -- Drawing Curves -- Aesthetic Design with Log-Aesthetic Curves and Surfaces -- Attractive Plane Curves in Differential Geometry -- dNLS Flow on Discrete Space Curves -- Index. |
| Record Nr. | UNINA-9910254221703321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Research for Blockchain Economy : 3rd International Conference MARBLE 2022, Vilamoura, Portugal / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt
| Mathematical Research for Blockchain Economy : 3rd International Conference MARBLE 2022, Vilamoura, Portugal / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (274 pages) |
| Disciplina | 296 |
| Collana | Lecture Notes in Operations Research |
| Soggetto topico |
Financial services industry
Mathematical optimization Econometrics Computer science - Mathematics Business enterprises - Finance Financial Services Optimization Quantitative Economics Mathematical Applications in Computer Science Corporate Finance |
| ISBN | 3-031-18679-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Towards Equity in Proof-of-Work Mining Rewards -- 1 Introduction -- 2 Background & -- Related Work -- 2.1 Reward Protocols -- 2.2 Reward Analyses -- 3 Computational Coinage Framework -- 3.1 Miner Metrics -- 3.2 Blockchain Metrics -- 3.3 Coin Metrics -- 4 Inequity in Bitcoin -- 4.1 Inequitable Hash-Time-to-Issuance -- 4.2 An Increasing Hashcap-to-Coinage Ratio -- 4.3 Subsidy Through the Fungibility Dilution Factor -- 4.4 An Increasing Hash-Restitution Time -- 5 Equitable Reward Constraints -- 5.1 Undiluted Reward Constraints -- 5.2 Prompt Restitution Constraints -- 5.3 Equitable Coin Supply Growth -- 6 Conclusion -- References -- Market Equilibria and Risk Diversification in Blockchain Mining Economies -- 1 Introduction -- 2 Model: Mining Economies -- 3 Proportional Response Dynamics -- 4 Experiments -- 4.1 Data Set and Experimental Setup -- 4.2 Empirical Results -- 5 Conclusions -- A Technical Materials: Proof of Theorem 1 -- References -- On the Impact of Vote Delegation -- 1 Introduction -- 2 Related Literature on Vote Delegation -- 3 Model -- 4 Results -- 4.1 Free Delegation -- 4.2 Capped Delegation -- 4.3 Asymptotic Behavior of Delegation -- 5 Discussion and Conclusion -- References -- Decentralized Governance of Stablecoins with Closed Form Valuation -- 1 Introduction -- 2 Model -- 3 Stackelberg Equilibrium Analysis -- 3.1 TEXT w/o Participation Constraint -- 3.2 TEXT w/ Participation Constraint -- 4 Governance Attack Vector -- 5 Conclusion -- A Derivative Analysis -- A.1 Sensitivity of the Expected Collateral Shortfall -- A.2 Vault Objective Sensitivities -- A.3 GOV Objective Sensitivities -- B Proofs -- References -- Griefing Factors and Evolutionary In-Stabilities in Blockchain Mining Games -- 1 Introduction -- 2 Preliminaries -- 2.1 Model and Nash Equilibrium Allocations.
3 Evolutionary Stable Allocations and Griefing Factors -- 4 Griefing in Blockchain Mining -- 5 Dynamic Adjustments of Mining Allocations -- 6 Conclusions and Open Questions -- A Omitted Proofs -- References -- Data-Driven Analysis of Central Bank Digital Currency (CBDC) Projects Drivers -- 1 Introduction -- 2 Preliminaries -- 2.1 Central Bank Digital Currency (CBDC) -- 2.2 CBDC Project Index (CBDCPI) -- 3 Data and Methodology -- 3.1 Data -- 3.2 Methodology -- 4 Results -- 5 Conclusion -- A Appendix -- A.1 CBDC Projects Status -- A.2 Top 10 Features for the Random Forest Classifier with Aggregated Data -- A.3 Top 10 Features for the Random Forest Classifier with Full Data -- References -- Dissimilar Redundancy in DeFi -- 1 Introduction -- 2 Background -- 2.1 Smart Contracts -- 2.2 Scaling Solutions -- 2.3 Smart Contract Vulnerabilities -- 3 Methodology -- 3.1 Overview -- 3.2 The Technical Challenges -- 4 Evaluation -- 4.1 Development-Time Testing -- 4.2 Real-World Deployment -- 5 Limitations -- 5.1 Transaction Fees -- 5.2 Development Cost -- 5.3 Storage Layout -- 6 Related work -- 6.1 Ethereum Clients -- 6.2 Differential Fuzzing -- 7 Conclusion -- References -- DeFi Survival Analysis: Insights into Risks and User Behaviors -- 1 Introduction -- 2 Methods -- 2.1 Data -- 2.2 Survival Analysis for DeFi -- 3 Results -- 3.1 What do Users do After a Deposit? -- 3.2 How Long Until Borrows are Repaid or Liquidated? -- 3.3 How Does Coin Type Influence Liquidations? -- 4 Related Work -- 5 Discussion and Future Work -- References -- Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities -- 1 Introduction -- 1.1 Contributions -- 2 Background -- 2.1 Out-of-Gas Denial of Service Vulnerabilities -- 3 Description of Gas Gauge -- 3.1 Detection Phase -- 3.2 Identification Phase -- 3.3 Correction Phase -- 4 Experimental Evaluation. 4.1 Evaluation of the Detection Phase -- 4.2 Performance Analysis of the Detection Phase -- 4.3 Evaluation of the Identification Phase -- 4.4 The Evaluation of the Correction Phase -- 4.5 Limitations of Gas Gauge -- 5 Case Study -- 6 Related Work -- 7 Conclusions and Future Work -- Appendix A Threshold Calculator Code Modification -- Appendix B Code Modification for Nested Loops -- Appendix C Output of the Correction Phase -- Appendix D Experimental Setup -- Appendix E Factors Impacting the Run-time of the Detection Phase -- Appendix F Evaluation of the Methods for the Identification Phase -- References -- Tweakable mathcalSleeve: A Novel mathcalSleeve Construction Based on Tweakable Hash Functions -- 1 Introduction -- 2 Background -- 3 The Tweakable mathcalSleeve -- 3.1 The Generic Sleeve: GenmathcalSleeve -- 4 Security Analysis -- 4.1 Generic Attack Security and Unforgeability of Fallback Scheme -- 4.2 Tweakable mathcalSleeve is at Least as Secure as an ECDSA One -- 4.3 The Security of GenmathcalSleeve -- 5 Implementation and Performance -- 6 Formal Methods Analysis -- 7 Final Remarks -- A High-level Diagram of the Tweakable mathcalSleeve Construction -- References -- Interhead Hydra: Two Heads are Better than One -- 1 Introduction -- 2 Background -- 3 Overview -- 3.1 The General Setting -- 3.2 The Approach -- 3.3 Desired Properties and Challenges -- 4 The State Machine -- 4.1 The Interhead State Machine -- 5 The Protocols -- 6 Analysis -- 6.1 Security -- 7 Conclusion -- A In-Depth Background -- A.1 EUTxOMA -- A.2 Thread Token -- B Hydra-Specific Concepts -- B.1 General Purpose Token -- B.2 The Multi-Threaded CEM -- C The CEM Construction -- C.1 Parameters -- C.2 The Orderly Phase -- C.3 The Conversion Phase -- C.4 The Punish Phase -- References -- Prediction Markets, Automated Market Makers, and Decentralized Finance (DeFi). 1 Introduction -- 2 Existing Models for Prediction Market Makers -- 2.1 Prediction Market and Market Makers -- 2.2 Logarithmic Market Scoring Rules (LMSR) -- 2.3 Constant Product/Sum/Mean AMMs -- 3 Constant Ellipse AMMs -- 4 Supply-and-Demand, Liquid Sensitivity, and Price Fluctuation -- 4.1 LS-LMSR -- 4.2 Constant Product and Constant Mean -- 4.3 Constant Ellipse -- 4.4 Front Running Attacks Based on Slippage -- 5 Price Amplitude -- 6 Implementation and Performance -- 6.1 Gas Cost and Comparison -- 7 Conclusion -- References -- Wombat-An Efficient Stableswap Algorithm -- 1 Introduction -- 2 Wombat's Design -- 2.1 Wombat's Invariant Curve -- 2.2 Enhanced Wombat's Invariant Curve -- 2.3 Gas Comparison -- 2.4 Swap Mechanism -- 2.5 Slippage Analysis -- 3 Desirable Properties of AMMs -- 3.1 Path Independence -- 3.2 Liquidity Sensitivity -- 4 Arbitrage Block -- 4.1 Changes in the Asset and Liability -- 4.2 Maintain Global Equilibrium with r*=1 -- 4.3 Withdrawal Fees and Deposit Gains -- 5 Swap with Haircut Fees -- 6 Exact Swap, Withdraw, and Deposit when r*=1 -- 7 Conclusions -- A Screenshots of Uniswap and Curve -- B Proof of Theorem 2 -- References -- Multi-Tier Reputation for Data Cooperatives -- 1 Introduction -- 1.1 Problem Definition and Motivation -- 1.2 Our Contributions -- 1.3 Organization of the Paper -- 2 Literature Review -- 2.1 Data Cooperatives -- 2.2 Blockchain Systems -- 2.3 Reputation Systems: Formalization -- 2.4 Multi-Tier Selection Protocol -- 3 Description of the Proposed Blockchain System -- 3.1 Design Requirements for Data Cooperative -- 3.2 Architecture Overview -- 3.3 Choice of Blockchain System -- 3.4 Choice of Reputation System -- 3.5 Reputation as Weighted-Stake -- 4 Security Analysis -- 5 Experimental Results and Discussion -- 5.1 Datasets -- 5.2 Experiments and Discussion -- 6 Conclusion -- References. |
| Record Nr. | UNINA-9910672438603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Research for Blockchain Economy [[electronic resource] ] : 2nd International Conference MARBLE 2020, Vilamoura, Portugal / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt
| Mathematical Research for Blockchain Economy [[electronic resource] ] : 2nd International Conference MARBLE 2020, Vilamoura, Portugal / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VII, 177 p. 70 illus., 66 illus. in color.) |
| Disciplina | 332.10688 |
| Collana | Springer Proceedings in Business and Economics |
| Soggetto topico |
Financial services industry
Mathematical optimization Econometrics Computer science - Mathematics Business enterprises - Finance Financial Services Optimization Quantitative Economics Mathematical Applications in Computer Science Corporate Finance |
| ISBN | 3-030-53356-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Smart Contract Derivatives -- Bitcoin Crypto–Bounties for Quantum Capable Adversaries -- An Econophysical Analysis of the Blockchain Ecosystem -- Stress Testing Diversified Portfolios: The Case of the CoinShares Gold and Cryptoassets Index -- Selfish Mining in Ethereum -- The Speculative (In)Efficiency of the CME Bitcoin Futures Market -- Carbon Trading with Blockchain -- Economic Games as Estimators -- Promise: Leveraging Future Gains for Collateral Reduction -- Step on the Gas? A Better Approach for Recommending the Ethereum Gas Price. |
| Record Nr. | UNINA-9910768169903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Research for Blockchain Economy : 2nd International Conference MARBLE 2020, Vilamoura, Portugal / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt
| Mathematical Research for Blockchain Economy : 2nd International Conference MARBLE 2020, Vilamoura, Portugal / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer International Publishing, 2020 |
| Descrizione fisica | 1 online resource (VII, 177 p. 70 illus., 66 illus. in color.) |
| Disciplina |
332.10688
005.758 |
| Collana | Springer Proceedings in Business and Economics |
| Soggetto topico |
Financial services industry
Mathematical optimization Econometrics Computer science - Mathematics Business enterprises - Finance Financial Services Optimization Quantitative Economics Mathematical Applications in Computer Science Corporate Finance |
| ISBN | 3-030-53356-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Smart Contract Derivatives -- Bitcoin Crypto–Bounties for Quantum Capable Adversaries -- An Econophysical Analysis of the Blockchain Ecosystem -- Stress Testing Diversified Portfolios: The Case of the CoinShares Gold and Cryptoassets Index -- Selfish Mining in Ethereum -- The Speculative (In)Efficiency of the CME Bitcoin Futures Market -- Carbon Trading with Blockchain -- Economic Games as Estimators -- Promise: Leveraging Future Gains for Collateral Reduction -- Step on the Gas? A Better Approach for Recommending the Ethereum Gas Price. |
| Record Nr. | UNINA-9910863195003321 |
| Springer International Publishing, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Research for Blockchain Economy : 1st International Conference MARBLE 2019, Santorini, Greece / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt
| Mathematical Research for Blockchain Economy : 1st International Conference MARBLE 2019, Santorini, Greece / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (viii, 249 pages) : illustrations |
| Disciplina | 005.824 |
| Collana | Springer Proceedings in Business and Economics |
| Soggetto topico |
Financial engineering
Game theory Computer science - Mathematics Econometrics Business enterprises - Finance Financial Engineering Game Theory Mathematical Applications in Computer Science Quantitative Economics Corporate Finance |
| ISBN | 3-030-37110-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Topological analysis of bitcoin's lightning network -- Token locking for governance -- Collusion attack from hubs in the blockchain offline channel network -- Sharing of encrypted files in block chain made simpler -- Digital currencies: A multivariate GARCH approach -- Compact storage of superblocks for NIPoPoW applications -- On comparing the Influences of exogenous information on bitcoin prices and stock index values -- Performance of tip selection schemes in DAG blockchains -- Committing to quantum resistance, better: A speed-and-risk-configurable defence for bitcoin against a fast quantum computing attack -- Neural networks for cryptocurrency evaluation and price fluctuation forecasting -- Decentralized incentive-compatible and sybilproof transaction advertisement -- PoolSim: A discrete-event mining pool simulation framework -- Oceanic games: centralization risks and incentives in blockchain mining -- Smart contract-driven mechanism design to mitigate information diffusion in social networks -- Balancing cryptoassets and gold: A weighted-risk-contribution index for the alternative asset space -- An introduction to the use of zk-SNARKs in blockchains. |
| Record Nr. | UNINA-9910768162803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Mathematical Software - ICMS 2010 : 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 : 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. | UNINA-9910484153303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Software -- ICMS 2014 [[electronic resource] ] : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / / edited by Hoon Hong, Chee Yap
| Mathematical Software -- ICMS 2014 [[electronic resource] ] : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / / edited by Hoon Hong, Chee Yap |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXXII, 735 p. 194 illus.) |
| Disciplina | 510.285 |
| 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-662-44199-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Experimental Computation and Visual Theorems -- Soft Math Math Soft -- Flyspecking Flyspeck -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing with Real Semisimple Lie Algebras -- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category -- Codes over a Non Chain Ring with Some Applications -- On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e -- Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package for Persistent (Co)Homology -- PHAT – Persistent Homology Algorithms Toolbox -- Computing Persistence Modules on Commutative Ladders of Finite Type -- Heuristics for Sphere Recognition -- CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms -- The Gudhi Library: Simplicial Complexes and Persistent Homology -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods -- Geometry CGAL – Reliable Geometric Computing for Academia and Industry -- Implementing the L∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis -- BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex -- Integrating Circumradius and Area Formulae for Cyclic Pentagons -- Computer Aided Geometry -- The Sustainability of Digital Educational Resources -- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation -- OpenGeo: An Open Geometric Knowledge Base -- On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities -- Robustly and Efficiently Computing Algebraic Curves and Surfaces -- Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods -- Isotopic Approximation of Algebraic Curves -- Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision -- Real Quantifier Elimination in the RegularChains Library -- Software for Quantifier Elimination in Propositional Logic -- Quantifier Elimination for Linear Modular Constraints -- Skolemization Modulo Theories -- Incremental QBF Solving by DepQBF -- NLCertify: A Tool for Formal Nonlinear Optimization -- Developing Linear Algebra Packages on Risa/Asir for Eigenproblems -- Mathematical Software for Modified Bessel Functions -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved Lower Bound to Giuga’s Primality Conjecture -- An Extension and Efficient Calculation of the Horner’s Rule for Matrices -- What Is New in CoCoA? -- Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis -- Groebner Basis in Geodesy and Geoinformatics -- Groebner Bases in Theorema -- Effective Computation of Radical of Ideals and Its Application to Invariant Theory -- Generic and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems -- Software for Discussing Parametric Polynomial Systems: The Gröbner Cover -- An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology -- Verification of Gröbner Basis Candidates -- Cylindrical Algebraic Decomposition in the RegularChains Library -- Hierarchical Comprehensive Triangular Decomposition -- A Package for Parametric Matrix Computations -- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting -- An Improvement of Rosenfeld-Gröbner Algorithm -- Doing Algebraic Geometry with the RegularChains Library -- On Multivariate Birkhoff Rational Interpolation -- Computing Moore-Penrose Inverses of Ore Polynomial Matrices -- Software Using the Gr¨obner Cover for Geometrical Loci Computation and Classification -- Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci -- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize -- QE Software Based on Comprehensive Gröbner Systems -- SyNRAC: A Tolbox for Solving Real Algebraic Constraints.-An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters -- An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gr¨obner Bases on General Computer Algebra Systems -- A Method to Determine if Two Parametric Polynomial Systems Are Equal -- An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices -- New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic -- IFSGen4LATEX: Interactive Graphical User Interface For Generation and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques -- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education -- Math Web Search Interfaces and the Generation Gap of Mathematicians -- Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses -- Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education Utilizing KETpic -- A Tablet-Compatible Web-Interface for Mathematical Collaboration -- Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method -- Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming Styles for Drawing -- Integration of Libnormaliz in CoCoALib and CoCoA 5 -- Elements of Design for Containers and Solutions in the LinBox Library -- Recent Developments in Normaliz -- The Basic Polynomial Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product over Finite Fields -- swMATH – An Information Service for Mathematical Software -- MathLibre: Modifiable Desktop Environment for Mathematics -- Software Packages for Holonomic Gradient Method -- Metalibm: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense Arithmetic over Finite Fields with the CUMODP Library. |
| Record Nr. | UNISA-996198259203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software -- ICMS 2014 : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / / edited by Hoon Hong, Chee Yap
| Mathematical Software -- ICMS 2014 : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / / edited by Hoon Hong, Chee Yap |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXXII, 735 p. 194 illus.) |
| Disciplina | 510.285 |
| 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-662-44199-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Experimental Computation and Visual Theorems -- Soft Math Math Soft -- Flyspecking Flyspeck -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing with Real Semisimple Lie Algebras -- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category -- Codes over a Non Chain Ring with Some Applications -- On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e -- Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package for Persistent (Co)Homology -- PHAT – Persistent Homology Algorithms Toolbox -- Computing Persistence Modules on Commutative Ladders of Finite Type -- Heuristics for Sphere Recognition -- CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms -- The Gudhi Library: Simplicial Complexes and Persistent Homology -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods -- Geometry CGAL – Reliable Geometric Computing for Academia and Industry -- Implementing the L∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis -- BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex -- Integrating Circumradius and Area Formulae for Cyclic Pentagons -- Computer Aided Geometry -- The Sustainability of Digital Educational Resources -- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation -- OpenGeo: An Open Geometric Knowledge Base -- On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities -- Robustly and Efficiently Computing Algebraic Curves and Surfaces -- Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods -- Isotopic Approximation of Algebraic Curves -- Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision -- Real Quantifier Elimination in the RegularChains Library -- Software for Quantifier Elimination in Propositional Logic -- Quantifier Elimination for Linear Modular Constraints -- Skolemization Modulo Theories -- Incremental QBF Solving by DepQBF -- NLCertify: A Tool for Formal Nonlinear Optimization -- Developing Linear Algebra Packages on Risa/Asir for Eigenproblems -- Mathematical Software for Modified Bessel Functions -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved Lower Bound to Giuga’s Primality Conjecture -- An Extension and Efficient Calculation of the Horner’s Rule for Matrices -- What Is New in CoCoA? -- Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis -- Groebner Basis in Geodesy and Geoinformatics -- Groebner Bases in Theorema -- Effective Computation of Radical of Ideals and Its Application to Invariant Theory -- Generic and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems -- Software for Discussing Parametric Polynomial Systems: The Gröbner Cover -- An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology -- Verification of Gröbner Basis Candidates -- Cylindrical Algebraic Decomposition in the RegularChains Library -- Hierarchical Comprehensive Triangular Decomposition -- A Package for Parametric Matrix Computations -- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting -- An Improvement of Rosenfeld-Gröbner Algorithm -- Doing Algebraic Geometry with the RegularChains Library -- On Multivariate Birkhoff Rational Interpolation -- Computing Moore-Penrose Inverses of Ore Polynomial Matrices -- Software Using the Gr¨obner Cover for Geometrical Loci Computation and Classification -- Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci -- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize -- QE Software Based on Comprehensive Gröbner Systems -- SyNRAC: A Tolbox for Solving Real Algebraic Constraints.-An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters -- An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gr¨obner Bases on General Computer Algebra Systems -- A Method to Determine if Two Parametric Polynomial Systems Are Equal -- An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices -- New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic -- IFSGen4LATEX: Interactive Graphical User Interface For Generation and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques -- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education -- Math Web Search Interfaces and the Generation Gap of Mathematicians -- Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses -- Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education Utilizing KETpic -- A Tablet-Compatible Web-Interface for Mathematical Collaboration -- Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method -- Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming Styles for Drawing -- Integration of Libnormaliz in CoCoALib and CoCoA 5 -- Elements of Design for Containers and Solutions in the LinBox Library -- Recent Developments in Normaliz -- The Basic Polynomial Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product over Finite Fields -- swMATH – An Information Service for Mathematical Software -- MathLibre: Modifiable Desktop Environment for Mathematics -- Software Packages for Holonomic Gradient Method -- Metalibm: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense Arithmetic over Finite Fields with the CUMODP Library. |
| Record Nr. | UNINA-9910484422003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
