default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICMS 2014: Seoul, South Korea
- Hoon Hong
, Chee Yap:
Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Lecture Notes in Computer Science 8592, Springer 2014, ISBN 978-3-662-44198-5
Invited Talks
- Jonathan M. Borwein:
Experimental Computation and Visual Theorems. 1-8 - Bruno Buchberger:
Soft Math Math Soft. 9-15
Mathematical Theory Exploration
- Mark Adams:
Flyspecking Flyspeck. 16-20 - Youngjoo Chung:
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions. 21-25 - Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu:
Representing, Archiving, and Searching the Space of Mathematical Knowledge. 26-30 - Patrick Ion:
Early Examples of Software in Mathematical Knowledge Management. 31-35 - Michael Kohlhase, Mihnea Iancu:
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. 36-40 - Alexander Maletzky, Bruno Buchberger:
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. 41-48 - Wolfgang Windsteiger:
Theorema 2.0: A System for Mathematical Theory Exploration. 49-52
Computational Group Theory
- Alexandre V. Borovik, Sükrü Yalçinkaya:
New Approaches in Black Box Group Theory. 53-58 - Heiko Dietrich, Paolo Faccin, Willem A. de Graaf:
A GAP Package for Computing with Real Semisimple Lie Algebras. 59-66 - Attila Egri-Nagy, Andrew R. Francis, Volker Gebhardt:
Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP. 67-74 - Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv:
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups. 75-82 - Bettina Eick:
Approximating Generators for Integral Arithmetic Groups. 83-86 - Alexander Hulpke:
Software for Groups: Theory and Practice. 87-91 - Mark van Hoeij, Raimundas Vidunas:
Computation of Genus 0 Belyi Functions. 92-98 - Yasuhiro Momose, Yasuhide Numata:
On Computation of the First Baues-Wirsching Cohomology of a Freely-Generated Small Category. 99-105
Coding Theory
- Aysegul Bayram, Elif Segah Oztas, Irfan Siap:
Codes over a Non Chain Ring with Some Applications. 106-110 - Sunghyu Han:
On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e. 111-114 - Jon-Lark Kim:
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32. 115-118 - Kwankyu Lee:
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes. 119-123 - Elif Segah Oztas, Irfan Siap, Bahattin Yildiz:
Reversible Codes and Applications to DNA. 124-128
Computational Topology
- Henry Adams, Andrew Tausz, Mikael Vejdemo-Johansson:
javaPlex: A Research Software Package for Persistent (Co)Homology. 129-136 - Ulrich Bauer, Michael Kerber, Jan Reininghaus, Hubert Wagner:
PHAT - Persistent Homology Algorithms Toolbox. 137-143 - Emerson G. Escolar, Yasuaki Hiraoka:
Computing Persistence Modules on Commutative Ladders of Finite Type. 144-151 - Michael Joswig, Frank H. Lutz, Mimi Tsuruga:
Heuristics for Sphere Recognition. 152-159 - Mateusz Juda, Marian Mrozek:
CAPD: : RedHom v2 - Homology Software Based on Reduction Algorithms. 160-166 - Clément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette Yvinec:
The Gudhi Library: Simplicial Complexes and Persistent Homology. 167-174
Numerical Algebraic Geometry
- Daniel A. Brake, Daniel J. Bates, Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler:
Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets. 175-182 - Tianran Chen, Tsung-Lin Lee, Tien-Yien Li:
Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods. 183-190
Geometry
- Eric Berberich:
CGAL - Reliable Geometric Computing for Academia and Industry. 191-197 - Panagiotis Cheilaris, Sandeep Kumar Dey, Maria Gabrani, Evanthia Papadopoulou:
Implementing the L ∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis. 198-205 - Deok-Soo Kim, Youngsong Cho, Jae-Kwan Kim, Joonghyun Ryu, Mokwon Lee, Jehyun Cha, Chanyoung Song:
BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex. 206-213 - Shuichi Moritsugu:
Integrating Circumradius and Area Formulae for Cyclic Pentagons. 214-221 - Douglas Navarro Guevara, Adrian Navarro Alvarez:
Computer Aided Geometry. 222-229 - Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang:
The Sustainability of Digital Educational Resources. 230-234 - Wei Su, Paul S. Wang, Chuan Cai, Lian Li:
A Touch-Operation-Based Dynamic Geometry System: Design and Implementation. 235-239 - Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song:
OpenGeo: An Open Geometric Knowledge Base. 240-245
Curves and Surfaces
- Daniel J. Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler:
On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities. 246-252 - Eric Berberich:
Robustly and Efficiently Computing Algebraic Curves and Surfaces. 253-260 - Zhiwang Gan, Meng Zhou:
Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods. 261-268 - Kai Jin:
Isotopic ε-Approximation of Algebraic Curves - (Extended Abstract). 269-276 - Jyh-Ming Lien, Vikram Sharma, Gert Vegter, Chee Yap:
Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision. 277-282
Quantified Reasoning
- Changbo Chen, Marc Moreno Maza:
Real Quantifier Elimination in the RegularChains Library. 283-290 - Eugene Goldberg, Panagiotis Manolios:
Software for Quantifier Elimination in Propositional Logic. 291-294 - Ajith K. John, Supratik Chakraborty:
Quantifier Elimination for Linear Modular Constraints. 295-302 - Konstantin Korovin, Margus Veanes:
Skolemization Modulo Theories. 303-306 - Florian Lonsing, Uwe Egly:
Incremental QBF Solving by DepQBF. 307-314 - Victor Magron:
NLCertify: A Tool for Formal Nonlinear Optimization. 315-320
Special Functions and Concrete Mathematics
- Katsuyoshi Ohara, Shinichi Tajima, Akira Terui:
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. 321-324 - Juri Rappoport:
Mathematical Software for Modified Bessel Functions. 325-332 - Joonghyun Ryu, Mokwon Lee, Jehyun Cha, Chanyoung Song, Deok-Soo Kim:
BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins. 333-340 - Matthew Skerritt:
Computation of an Improved Lower Bound to Giuga's Primality Conjecture. 341-345 - Shinichi Tajima, Katsuyoshi Ohara, Akira Terui:
An Extension and Efficient Calculation of the Horner's Rule for Matrices. 346-351
Groebner Bases
- John Abbott, Anna Maria Bigatti:
What Is New in CoCoA? 352-358 - Joseph L. Awange, Béla Paláncz, Robert H. Lewis:
Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis. 359-366 - Joseph L. Awange, Béla Paláncz, Robert H. Lewis:
Groebner Basis in Geodesy and Geoinformatics. 367-373 - Bruno Buchberger, Alexander Maletzky:
Groebner Bases in Theorema. 374-381 - Amir Hashemi:
Effective Computation of Radical of Ideals and Its Application to Invariant Theory. 382-389 - Heinz Kredel:
Generic and Parallel Groebner Bases in JAS - (Extended Abstract). 390-397 - Y. Jane Liu, John Peddieson:
Application of Groebner Basis Methodology to Nonlinear Mechanics Problems. 398-405 - Antonio Montes, Michael Wibmer:
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover. 406-413 - Katsusuke Nabeshima, Shinichi Tajima:
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology. 414-418 - Masayuki Noro, Kazuhiro Yokoyama:
Verification of Gröbner Basis Candidates. 419-424
Triangular Decompositions of Polynomial Systems
- Changbo Chen, Marc Moreno Maza:
Cylindrical Algebraic Decomposition in the RegularChains Library. 425-433 - Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Hierarchical Comprehensive Triangular Decomposition. 434-441 - Robert M. Corless, Steven E. Thornton:
A Package for Parametric Matrix Computations. 442-449 - Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. 450-457 - Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport:
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. 458-465 - Amir Hashemi, Zahra Touraji:
An Improvement of Rosenfeld-Gröbner Algorithm. 466-471 - Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik:
Doing Algebraic Geometry with the RegularChains Library. 472-479 - Peng Xia, Bao-Xin Shang, Na Lei:
On Multivariate Birkhoff Rational Interpolation. 480-483 - Yang Zhang:
Computing Moore-Penrose Inverses of Ore Polynomial Matrices. 484-491
Parametric Polynomial Systems
- Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio:
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. 492-499 - Francisco Botana, Tomás Recio:
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. 500-503 - Changbo Chen, Marc Moreno Maza:
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. 504-511 - Ryoya Fukasaku:
QE Software Based on Comprehensive Gröbner Systems. 512-517 - Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
SyNRAC: A Toolbox for Solving Real Algebraic Constraints. 518-522 - Katsusuke Nabeshima, Shinichi Tajima:
An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters. 523-530 - Akira Nagai, Shutaro Inoue:
An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems. 531-536 - Jie Zhou, Dingkang Wang:
A Method to Determine if Two Parametric Polynomial Systems Are Equal. 537-544
Mathematical Web/Mobile Interfaces and Visualization
- Mitsushi Fujimoto:
An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices. 545-548 - Kenji Fukazawa:
New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic. 549-553 - Akemi Gálvez, Kiyoshi Kitahara, Masataka Kaneko:
IFSGen4 : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in. 554-561 - Massimiliano Gubinelli, Joris van der Hoeven, François Poulain, Denis Raux:
GNU $_{\scriptsize{\rm MACS}}$ towards a Scientific Office Suite. 562-569 - Andrés Iglesias, Akemi Gálvez:
Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques. 570-577 - Kiyoshi Kitahara, Tadashi Takahashi, Masataka Kaneko:
On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education. 578-585 - Andrea Kohlhase:
Math Web Search Interfaces and the Generation Gap of Mathematicians. 586-593 - Hideyo Makishita:
Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses. 594-600 - Toshifumi Nomachi, Toshihiko Koshiba, Shunji Ouchi:
Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions. 601-606 - Shunji Ouchi, Yoshifumi Maeda, Kiyoshi Kitahara, Naoki Hamaguchi:
Creating Interactive Graphics for Mathematics Education Utilizing KETpic. 607-613 - Marco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang:
A Tablet-Compatible Web-Interface for Mathematical Collaboration. 614-620 - Shizuka Shirai, Tetsuo Fukui:
Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method. 621-628 - Setsuo Takato, Naoki Hamaguchi, Haiduke Sarafian:
Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models. 629-634 - Wei Su, Paul S. Wang, Lian Li:
A Touch-Based Mathematical Expression Editor. 635-640 - Satoshi Yamashita, Yoshifumi Maeda, Hisashi Usui, Kiyoshi Kitahara, Hideyo Makishita, Kazushi Ahara:
Establishment of KETpic Programming Styles for Drawing. 641-646
General Session
- John Abbott, Anna Maria Bigatti, Christof Söger:
Integration of Libnormaliz in CoCoALib and CoCoA 5. 647-653 - Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders:
Elements of Design for Containers and Solutions in the LinBox Library - Extended Abstract. 654-662 - Winfried Bruns, Christof Söger:
Recent Developments in Normaliz. 663-668 - Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
The Basic Polynomial Algebra Subprograms. 669-676 - Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha:
Function Interval Arithmetic. 677-684 - Pascal Giorgi, Bastien Vialla:
Generating Optimized Sparse Matrix Vector Product over Finite Fields. 685-690 - Gert-Martin Greuel, Wolfram Sperber:
swMATH - An Information Service for Mathematical Software. 691-701 - Tatsuyoshi Hamada:
MathLibre: Modifiable Desktop Environment for Mathematics. 702-705 - Tamio Koyama, Hiromasa Nakayama, Katsuyoshi Ohara, Tomonari Sei, Nobuki Takayama:
Software Packages for Holonomic Gradient Method. 706-712 - Olga Kupriianova, Christoph Quirin Lauter:
Metalibm: A Mathematical Functions Code Generator. 713-717 - Norbert Th. Müller, Martin Ziegler:
From Calculus to Algorithms without Errors. 718-724 - Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie:
Dense Arithmetic over Finite Fields with the CUMODP Library. 725-732
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-26 00:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
