Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexander Maletzky, Bruno Buchberger |
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 41-48, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenghong Chen, Xiaoxian Tang, Bican Xia |
Hierarchical Comprehensive Triangular Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 434-441, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 523-530, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Abbott, Anna Maria Bigatti |
What Is New in CoCoA? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 352-358, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Y. Jane Liu, John Peddieson |
Application of Groebner Basis Methodology to Nonlinear Mechanics Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 398-405, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Eick |
Approximating Generators for Integral Arithmetic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 83-86, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kiyoshi Kitahara, Tadashi Takahashi, Masataka Kaneko |
On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 578-585, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Olga Kupriianova, Christoph Quirin Lauter |
Metalibm: A Mathematical Functions Code Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 713-717, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Zahra Touraji |
An Improvement of Rosenfeld-Gröbner Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 466-471, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik |
Doing Algebraic Geometry with the RegularChains Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 472-479, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akira Nagai, Shutaro Inoue |
An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 531-536, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mitsushi Fujimoto |
An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 545-548, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akemi Gálvez, Kiyoshi Kitahara, Masataka Kaneko |
IFSGen4 : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 554-561, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emerson G. Escolar, Yasuaki Hiraoka |
Computing Persistence Modules on Commutative Ladders of Finite Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 144-151, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henry Adams, Andrew Tausz, Mikael Vejdemo-Johansson |
javaPlex: A Research Software Package for Persistent (Co)Homology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 129-136, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Noro, Kazuhiro Yokoyama |
Verification of Gröbner Basis Candidates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 419-424, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Kredel |
Generic and Parallel Groebner Bases in JAS - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 390-397, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre V. Borovik, Sükrü Yalçinkaya |
New Approaches in Black Box Group Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 53-58, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang |
The Sustainability of Digital Educational Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 230-234, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shuichi Moritsugu |
Integrating Circumradius and Area Formulae for Cyclic Pentagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 214-221, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Iglesias 0001, Akemi Gálvez |
Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 570-577, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Bruns, Christof Söger |
Recent Developments in Normaliz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 663-668, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase, Mihnea Iancu |
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 36-40, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ajith K. John, Supratik Chakraborty |
Quantifier Elimination for Linear Modular Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 295-302, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Youngjoo Chung |
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 21-25, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Navarro Guevara, Adrian Navarro Alvarez |
Computer Aided Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 222-229, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hideyo Makishita |
Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 594-600, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin, Margus Veanes |
Skolemization Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 303-306, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sardar Anisul Haque, Xin Li 0009, Farnam Mansouri, Marc Moreno Maza, Wei Pan 0001, Ning Xie 0001 |
Dense Arithmetic over Finite Fields with the CUMODP Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 725-732, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Gubinelli, Joris van der Hoeven, François Poulain, Denis Raux |
GNU $_{\scriptsize{\rm MACS}}$ towards a Scientific Office Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 562-569, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Goldberg, Panagiotis Manolios |
Software for Quantifier Elimination in Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 291-294, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Russell J. Bradford, James H. Davenport, David J. Wilson |
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 450-457, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuyoshi Hamada |
MathLibre: Modifiable Desktop Environment for Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 702-705, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Montes, Michael Wibmer |
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 406-413, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Windsteiger |
Theorema 2.0: A System for Mathematical Theory Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 49-52, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Deok-Soo Kim, Youngsong Cho, Jae-Kwan Kim 0001, Joonghyun Ryu, Mokwon Lee, Jehyun Cha, Chanyoung Song |
BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 206-213, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jyh-Ming Lien, Vikram Sharma 0001, Gert Vegter, Chee Yap |
Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 277-282, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Soft Math Math Soft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 9-15, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joseph L. Awange, Béla Paláncz, Robert H. Lewis |
Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 359-366, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu |
Representing, Archiving, and Searching the Space of Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 26-30, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Toshifumi Nomachi, Toshihiko Koshiba, Shunji Ouchi |
Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 601-606, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwang Gan, Meng Zhou 0001 |
Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 261-268, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 621-628, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bastien Vialla |
Generating Optimized Sparse Matrix Vector Product over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 685-690, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie |
The Basic Polynomial Algebra Subprograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 669-676, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Fukasaku |
QE Software Based on Comprehensive Gröbner Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 512-517, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 414-418, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Abbott, Anna Maria Bigatti, Christof Söger |
Integration of Libnormaliz in CoCoALib and CoCoA 5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 647-653, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 183-190, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong, Chee Yap (eds.) |
Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![Springer, 978-3-662-44198-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Joswig, Frank H. Lutz, Mimi Tsuruga |
Heuristics for Sphere Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 152-159, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kai Jin |
Isotopic ε-Approximation of Algebraic Curves - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 269-276, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Th. Müller, Martin Ziegler 0001 |
From Calculus to Algorithms without Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 718-724, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Setsuo Takato, Naoki Hamaguchi, Haiduke Sarafian |
Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 629-634, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Ion |
Early Examples of Software in Mathematical Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 31-35, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 175-182, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 246-252, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Bauer, Michael Kerber, Jan Reininghaus, Hubert Wagner |
PHAT - Persistent Homology Algorithms Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 137-143, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hulpke |
Software for Groups: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 87-91, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Clément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette Yvinec |
The Gudhi Library: Simplicial Complexes and Persistent Homology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 167-174, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger, Alexander Maletzky |
Groebner Bases in Theorema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 374-381, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Berberich |
CGAL - Reliable Geometric Computing for Academia and Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 191-197, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Skerritt |
Computation of an Improved Lower Bound to Giuga's Primality Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 341-345, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Borwein |
Experimental Computation and Visual Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 1-8, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shunji Ouchi, Yoshifumi Maeda, Kiyoshi Kitahara, Naoki Hamaguchi |
Creating Interactive Graphics for Mathematics Education Utilizing KETpic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 607-613, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Dietrich, Paolo Faccin, Willem A. de Graaf |
A GAP Package for Computing with Real Semisimple Lie Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 59-66, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Marc Moreno Maza |
Real Quantifier Elimination in the RegularChains Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 283-290, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tamio Koyama, Hiromasa Nakayama, Katsuyoshi Ohara, Tomonari Sei, Nobuki Takayama |
Software Packages for Holonomic Gradient Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 706-712, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Su 0008, Paul S. Wang, Chuan Cai, Lian Li |
A Touch-Operation-Based Dynamic Geometry System: Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 235-239, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Fukazawa |
New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 549-553, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Yamashita, Yoshifumi Maeda, Hisashi Usui, Kiyoshi Kitahara, Hideyo Makishita, Kazushi Ahara |
Establishment of KETpic Programming Styles for Drawing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 641-646, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Adams |
Flyspecking Flyspeck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 16-20, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Juri Rappoport |
Mathematical Software for Modified Bessel Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 325-332, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark van Hoeij, Raimundas Vidunas |
Computation of Genus 0 Belyi Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 92-98, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dongming Wang 0001, Xiaoyu Chen 0001, Wenya An, Lei Jiang, Dan Song 0010 |
OpenGeo: An Open Geometric Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 240-245, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiro Momose, Yasuhide Numata |
On Computation of the First Baues-Wirsching Cohomology of a Freely-Generated Small Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 99-105, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Marc Moreno Maza |
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 504-511, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elif Segah Oztas, Irfan Siap, Bahattin Yildiz |
Reversible Codes and Applications to DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 124-128, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kwankyu Lee |
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 119-123, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, David J. Wilson, Russell J. Bradford, James H. Davenport |
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 458-465, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aysegul Bayram, Elif Segah Oztas, Irfan Siap |
Codes over a Non Chain Ring with Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 106-110, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peng Xia, Bao-Xin Shang, Na Lei |
On Multivariate Birkhoff Rational Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 480-483, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Kohlhase |
Math Web Search Interfaces and the Generation Gap of Mathematicians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 586-593, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Attila Egri-Nagy, Andrew R. Francis, Volker Gebhardt |
Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 67-74, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Botana, Tomás Recio |
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 500-503, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jon-Lark Kim |
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, pp. 115-118, 2014, Springer, 978-3-662-44198-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Abbott, Anna Maria Bigatti |
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 73-76, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Burçin Eröcal, William Stein |
The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 12-27, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Arthan |
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 148, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Eick, Max Horn |
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 50-53, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Reimer Behrends, Alexander Konovalov 0001, Steve Linton, Frank Lübeck, Max Neunhöffer |
Towards High-Performance Computational Algebra with GAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 58-61, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Josef Urban, Krystof Hoder, Andrei Voronkov |
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 155-166, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rocío Blanco |
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 217-220, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin von Gagern, Christian Mercat |
A Library of OpenGL-Based Mathematical Image Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 174-185, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Mehlhorn |
Reliable and Efficient Geometric Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 10-11, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hiromasa Nakayama, Kenta Nishiyama |
An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 221-232, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John Harrison 0001 |
A Formal Proof of Pick's Theorem - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 152-154, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Reininghaus, David Günther, Ingrid Hotz, Steffen Prohaska, Hans-Christian Hege |
TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 198-208, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie |
Efficient Evaluation of Large Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 342-353, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dmitrii V. Pasechnik, Keshav Kini |
A GAP Package for Computation with Coherent Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 69-72, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|