| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Maletzky, Bruno Buchberger |
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema.  |
ICMS  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenghong Chen, Xiaoxian Tang, Bican Xia |
Hierarchical Comprehensive Triangular Decomposition. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | John Abbott, Anna Maria Bigatti |
What Is New in CoCoA? |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. Jane Liu, John Peddieson |
Application of Groebner Basis Methodology to Nonlinear Mechanics Problems. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Eick |
Approximating Generators for Integral Arithmetic Groups. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kupriianova, Christoph Quirin Lauter |
Metalibm: A Mathematical Functions Code Generator. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Zahra Touraji |
An Improvement of Rosenfeld-Gröbner Algorithm. |
ICMS |
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. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsushi Fujimoto |
An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Emerson G. Escolar, Yasuaki Hiraoka |
Computing Persistence Modules on Commutative Ladders of Finite Type. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Adams, Andrew Tausz, Mikael Vejdemo-Johansson |
javaPlex: A Research Software Package for Persistent (Co)Homology. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Masayuki Noro, Kazuhiro Yokoyama |
Verification of Gröbner Basis Candidates. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Kredel |
Generic and Parallel Groebner Bases in JAS - (Extended Abstract). |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre V. Borovik, Sükrü Yalçinkaya |
New Approaches in Black Box Group Theory. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang |
The Sustainability of Digital Educational Resources. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Moritsugu |
Integrating Circumradius and Area Formulae for Cyclic Pentagons. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Winfried Bruns, Christof Söger |
Recent Developments in Normaliz. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Mihnea Iancu |
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajith K. John, Supratik Chakraborty |
Quantifier Elimination for Linear Modular Constraints. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Youngjoo Chung |
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Navarro Guevara, Adrian Navarro Alvarez |
Computer Aided Geometry. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideyo Makishita |
Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Korovin, Margus Veanes |
Skolemization Modulo Theories. |
ICMS |
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. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Goldberg, Panagiotis Manolios |
Software for Quantifier Elimination in Propositional Logic. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuyoshi Hamada |
MathLibre: Modifiable Desktop Environment for Mathematics. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Montes, Michael Wibmer |
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Windsteiger |
Theorema 2.0: A System for Mathematical Theory Exploration. |
ICMS |
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. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Soft Math Math Soft. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu |
Representing, Archiving, and Searching the Space of Mathematical Knowledge. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshifumi Nomachi, Toshihiko Koshiba, Shunji Ouchi |
Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions. |
ICMS |
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. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Giorgi, Bastien Vialla |
Generating Optimized Sparse Matrix Vector Product over Finite Fields. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoya Fukasaku |
QE Software Based on Comprehensive Gröbner Systems. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsusuke Nabeshima, Shinichi Tajima |
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | John Abbott, Anna Maria Bigatti, Christof Söger |
Integration of Libnormaliz in CoCoALib and CoCoA 5. |
ICMS |
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. |
ICMS |
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 |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Joswig, Frank H. Lutz, Mimi Tsuruga |
Heuristics for Sphere Recognition. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Jin |
Isotopic ε-Approximation of Algebraic Curves - (Extended Abstract). |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Th. Müller, Martin Ziegler 0001 |
From Calculus to Algorithms without Errors. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Ion |
Early Examples of Software in Mathematical Knowledge Management. |
ICMS |
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. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Bauer, Michael Kerber, Jan Reininghaus, Hubert Wagner |
PHAT - Persistent Homology Algorithms Toolbox. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Hulpke |
Software for Groups: Theory and Practice. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette Yvinec |
The Gudhi Library: Simplicial Complexes and Persistent Homology. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger, Alexander Maletzky |
Groebner Bases in Theorema. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Berberich |
CGAL - Reliable Geometric Computing for Academia and Industry. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Skerritt |
Computation of an Improved Lower Bound to Giuga's Primality Conjecture. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan M. Borwein |
Experimental Computation and Visual Theorems. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shunji Ouchi, Yoshifumi Maeda, Kiyoshi Kitahara, Naoki Hamaguchi |
Creating Interactive Graphics for Mathematics Education Utilizing KETpic. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Dietrich, Paolo Faccin, Willem A. de Graaf |
A GAP Package for Computing with Real Semisimple Lie Algebras. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Marc Moreno Maza |
Real Quantifier Elimination in the RegularChains Library. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamio Koyama, Hiromasa Nakayama, Katsuyoshi Ohara, Tomonari Sei, Nobuki Takayama |
Software Packages for Holonomic Gradient Method. |
ICMS |
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. |
ICMS |
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. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Adams |
Flyspecking Flyspeck. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Juri Rappoport |
Mathematical Software for Modified Bessel Functions. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark van Hoeij, Raimundas Vidunas |
Computation of Genus 0 Belyi Functions. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiro Momose, Yasuhide Numata |
On Computation of the First Baues-Wirsching Cohomology of a Freely-Generated Small Category. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Marc Moreno Maza |
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Elif Segah Oztas, Irfan Siap, Bahattin Yildiz |
Reversible Codes and Applications to DNA. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwankyu Lee |
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aysegul Bayram, Elif Segah Oztas, Irfan Siap |
Codes over a Non Chain Ring with Some Applications. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Xia, Bao-Xin Shang, Na Lei |
On Multivariate Birkhoff Rational Interpolation. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Kohlhase |
Math Web Search Interfaces and the Generation Gap of Mathematicians. |
ICMS |
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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Botana, Tomás Recio |
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon-Lark Kim |
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | John Abbott, Anna Maria Bigatti |
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. |
ICMS |
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. |
ICMS |
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? |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Eick, Max Horn |
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases. |
ICMS |
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. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban, Krystof Hoder, Andrei Voronkov |
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocío Blanco |
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin von Gagern, Christian Mercat |
A Library of OpenGL-Based Mathematical Image Filters. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Mehlhorn |
Reliable and Efficient Geometric Computing. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiromasa Nakayama, Kenta Nishiyama |
An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Harrison 0001 |
A Formal Proof of Pick's Theorem - (Extended Abstract). |
ICMS |
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. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie |
Efficient Evaluation of Large Polynomials. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrii V. Pasechnik, Keshav Kini |
A GAP Package for Computation with Coherent Configurations. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license