LEADER 05342nam 2200649 a 450 001 9910779006003321 005 20230802005047.0 010 $a1-280-66987-X 010 $a9786613646804 010 $a981-4383-46-5 035 $a(CKB)2550000000101406 035 $a(EBL)919125 035 $a(OCoLC)794328416 035 $a(SSID)ssj0000656336 035 $a(PQKBManifestationID)12257105 035 $a(PQKBTitleCode)TC0000656336 035 $a(PQKBWorkID)10631529 035 $a(PQKB)10388982 035 $a(MiAaPQ)EBC919125 035 $a(WSP)00002673 035 $a(Au-PeEL)EBL919125 035 $a(CaPaEBR)ebr10563499 035 $a(CaONFJC)MIL364680 035 $a(iGPub)WSPCB0002891 035 $a(EXLCZ)992550000000101406 100 $a20120611d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHarmony of Gro?bner bases and the modern industrial society$b[electronic resource] $ethe second CREST-SBM International Conference, Osaka, Japan, 28 June-2 July 2010 /$feditor, Takayuki Hibi 210 $aSingapore $cWorld Scientific Pub. Co.$d2012 215 $a1 online resource (385 p.) 300 $aDescription based upon print version of record. 311 $a981-4383-45-7 320 $aIncludes bibliographical references and index. 327 $aPreface; CONTENTS; Multidegree for Bifiltered D-modules and Hypergeometric Systems R. Arcadias; Introduction; 1. Bifiltered free resolution of D-modules; 2. Multidegree for bifiltered D-modules; 3. Examples from the theory of hypergeometric systems; 3.1. V -filtration along the origin; 3.2. V -filtration along coordinate hyperplanes; 3.3. Dependency of the multidegree on the parameters; 3.4. Positivity; 4. Proof of Theorem 2.1; Acknowledgements; References; Desingularization Algorithms: A Comparison from the Practical Point of View R. Blanco and A. Fruhbis-Kruger; 1. Introduction 327 $a2. Algorithms re.ning Hironaka's approach in the general case3. Combinatorial algorithms for the binomial case; 4. Algorithmic resolution in low dimensions; 4.1. Resolution of surfaces by Jung's approach; 4.2. Beyond the geometric case: Lipman's construction for two dimensional schemes; 5. Comparisons and timings; Acknowledgments; References; Computing Localizations Iteratively F. J. Castro-Jimenez and A. Leykin; Introduction; 1. Preliminaries; 1.1. Weyl algebra; 1.2. Grobner bases; 1.3. Holonomic D-modules; 2. Iterative algorithm; 2.1. Iterative approach; 2.2. Stopping criterion 327 $a2.3. Annihilator order of a planar curve3. Discussion and open problems; 3.1. Isolated hypersurface singularities; 3.2. Weyl closure; 4. Acknowledgements; References; KNOPPIX/Math: A Live System for Mathematics T. Hamada and KNOPPIX/Math Committers; 1. Introduction; 2. History; 3. The objectives of KNOPPIX/Math; 4. How to boot KNOPPIX/Math; References; Running Markov Chain without Markov Basis H. Hara, S. Aoki and A. Takemura; 1. Introduction; 2. Markov basis and lattice basis; 3. Sampling contingency tables with a lattice basis; 3.1. Generating moves by using a lattice basis 327 $a3.2. A lattice basis for higher Lawrence configuration4. Numerical experiments; 4.1. No-three-factor interaction model; 4.2. Discrete logistic regression model; References; Degree Bounds for a Minimal Markov Basis for the Threestate Toric Homogeneous Markov Chain Model D. Haws, A. Mart?n del Campo and R. Yoshida; 1. Introduction; 2. Notation; 2.1. Model (a); 2.2. Model (b); 2.3. Model (c); 2.4. Model (d); 2.5. Sufficient statistics, ideals, and Markov basis; 2.6. State graph; 3. Smith Normal Form; 4. Semigroup; 4.1. Model (a); 4.2. Model (b); 4.3. Model (c); 4.4. Model (d) 327 $a5. Polytope Structure6. Computational Results; 7. Conclusions and Open Problems; Appendix A. Supporting Hyperplanes; References; First Steps toward the Geometry of Cophylogeny P. Huggins, M. Owen and R. Yoshida; 1. Introduction; 2. Spaces of cophylogenetic trees; 3. Cophylogenetic reconstruction; 3.1. Retraction onto spaces of cophylogenetic trees; 3.2. Balanced minimum coevolution; 4. Cophylogenetic invariants; 5. Open problems; 6. Proof of Theorem 2.2; Acknowledgements; References 327 $aCones of Elementary Imsets and Supermodular Functions: A Review and Some New Results T. Kashimura, T. Sei, A. Takemura and K. Tanaka 330 $aThis volume consists of research papers and expository survey articles presented by the invited speakers of the conference on "Harmony of Gro?bner Bases and the Modern Industrial Society". Topics include computational commutative algebra, algebraic statistics, algorithms of D-modules and combinatorics. This volume also provides current trends on Gro?bner bases and will stimulate further development of many research areas surrounding Gro?bner bases. 606 $aGro?bner bases$vCongresses 607 $aDeveloped countries$vCongresses 615 0$aGro?bner bases 676 $a512.44 701 $aHibi$b Takayuki$0509877 712 12$aCREST-SBM International Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779006003321 996 $aHarmony of Gro?bner bases and the modern industrial society$93868605 997 $aUNINA