Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paula Hähndel, Rebecca Waldecker |
Questions on Orbital Graphs. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain |
A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors). |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Katja Bercic, Janos Vidali |
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yihe Dong |
NLP-Based Detection of Mathematics Subject Classification. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yihe Dong |
NLP and Large-Scale Information Retrieval on Mathematical Texts. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tianran Chen |
libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfaces. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Wood, Vladimir Shpilrain, Kayvan Najarian, Ali Mostashari, Delaram Kahrobaei |
Private-Key Fully Homomorphic Encryption for Private Classification. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001 |
Numerical Integration in Arbitrary-Precision Ball Arithmetic. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yongsheng Rao, Hao Guan, Ruxian Chen, Yu Zuo, Ying Wang |
A Novel Dynamic Mathematics System Based on the Internet. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel |
CindyJS - Mathematical Visualization on Modern Devices. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kahle |
On the Feasibility of Semi-algebraic Sets in Poisson Regression. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Navas-Palencia, Argimiro Arratia |
On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and z. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport |
Complexity of Integration, Special Values, and Recent Developments. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Montag, Jürgen Richter-Gebert |
CindyGL: Authoring GPU-Based Interactive Mathematical Content. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jakob von Raumer |
Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ranganathan Padmanabhan, Yang Zhang 0045 |
Automated Deduction in Ring Theory. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Janko Böhm, Wolfram Decker, Claus Fieker, Santiago Laplagne, Gerhard Pfister |
Bad Primes in Computational Algebraic Geometry. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Janko Böhm, Magdaleen S. Marais, André F. van der Merwe |
3D Printing Dimensional Calibration Shape: Clebsch Cubic. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Fish, Alexei Lisitsa 0001, David Stanovský, Sarah Swartwood |
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Trébuchet, Bernard Mourrain, Marta Abril Bucero |
Border Basis for Polynomial System Solving and Optimization. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Setsuo Takato |
What is and How to Use - Linkage Between Dynamic Geometry Software and Graphics Capabilities -. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Ion |
The Effort to Realize a Global Digital Mathematics Library. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Di Puglia Pugliese, Manlio Gaudioso, Francesca Guerriero, Giovanna Miglionico |
An Algorithm to Find the Link Constrained Steiner Tree in Undirected Graphs. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans Schönemann |
Extending Singular with New Types and Algorithms. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hagen Chrapary, Yue Ren |
The Software Portal swMATH: A State of the Art Report and Next Steps. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin von Gagern, Jürgen Richter-Gebert |
CindyJS Plugins - Extending the Mathematical Visualization Framework. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ewgenij Gawrilow, Simon Hampe, Michael Joswig |
The polymake XML File Format. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Enxhell Luzhnica, Michael Kohlhase |
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Koprucki, Karsten Tabelow |
Mathematical Models: A Research Data Category? |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing |
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, James Farmer, Stefan Heinz 0001, Michael Perregaard |
Parallelization of the FICO Xpress-Optimizer. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masataka Kaneko |
The Actual Use of in Education. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Haiduke Sarafian |
Theoretical Physics, Applied Mathematics and Visualizations. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jack J. Dongarra |
With Extreme Scale Computing the Rules Have Changed. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Sperber |
Mathematical Research Data and Information Services. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger |
Normal Forms for Operators via Gröbner Bases in Tensor Algebras. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans Schönemann |
Primary Decomposition in Singular. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker |
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Borndörfer, Sebastian Schenker, Martin Skutella, Timo Strunk |
PolySCIP. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yinping Liu, Ruoxia Yao, Zhibin Li 0005, Le Yang, Zhian Zhang |
An Online Computing and Knowledge Platform for Differential Equations. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi |
Recursive Double-Size Fixed Precision Arithmetic. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Yamashita |
The Programming Style for Drawings from to. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Gert Gräbe |
Semantic-Aware Fingerprints of Symbolic Research Data. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuji Shinano, Timo Berthold, Stefan Heinz 0001 |
A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fatemeh Mohammadi |
Combinatorial and Geometric View of the System Reliability Theory. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev |
Math-Net.Ru Video Library: Creating a Collection of Scientific Talks. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano |
PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Evain |
The Pycao Software for 3D-Modelling. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mahmudul Hasan 0007, Shahadat Hossain, Ahamad Imtiaz Khan, Nasrin Hakim Mithila, Ashraful Huq Suny |
DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian Matrices. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Hamaguchi, Setsuo Takato |
Generating Data for 3D Models. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Matthew England 0001 |
Need Polynomial Systems Be Doubly-Exponential? |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Ángel Marco Buzunáriz, Marcos Rodríguez |
SIROCCO: A Library for Certified Polynomial Root Continuation. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Maletzky |
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Helge Holzmann, Mila Runnwerth, Wolfram Sperber |
Linking Mathematical Software in Web Archives. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse |
Towards the Automatic Discovery of Theorems in GeoGebra. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katsuki Fujisawa, Toshio Endo, Yuichiro Yasui |
Advanced Computing and Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato |
On the Implementation of CGS Real QE. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Stam's Identities Collection: A Case Study for Math Knowledge Bases. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Anders Mörtberg |
Some Wellfounded Trees in UniMath - Extended Abstract. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Dana S. Scott |
Automating Free Logic in Isabelle/HOL. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shigeki Kobayashi, Setsuo Takato |
Cooperation of KeTCindy and Computer Algebra System. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chun Yu Hong, Matthias Köppe, Yuan Zhou 0002 |
Software for Cut-Generating Functions in the Gomory-Johnson Model and Beyond. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr. |
Decomposing Solution Sets of Polynomial Systems Using Derivatives. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Rahli |
Exercising Nuprl's Open-Endedness. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mila Runnwerth |
Mathematical Videos and Affiliated Supplementaries in TIB's AV Portal. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai |
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Evain |
Calibration of Accelerometers and the Geometry of Quadrics. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mokwon Lee, Kokichi Sugihara, Deok-Soo Kim |
Robust Construction of the Additively-Weighted Voronoi Diagram via Topology-Oriented Incremental Algorithm. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Kredel |
Common Divisors of Solvable Polynomials in JAS. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anders Nedergaard Jensen |
An Implementation of Exact Mixed Volume Computation. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
The GDML and EuKIM Projects: Short Report on the Initiative. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Keiji Kimura, Hayato Waki |
Mixed Integer Nonlinear Program for Minimization of Akaike's Information Criterion. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Bruns, Richard Sieg, Christof Söger |
The Subdivision of Large Simplicial Cones in Normaliz. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew J. Sommese (eds.) |
Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven |
Mathematical Font Art. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Agent-Based HOL Reasoning. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hisashi Usui |
How to Generate Figures at the Preferred Position of a TeX Document. |
ICMS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv |
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha |
Function Interval Arithmetic. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jie Zhou, Dingkang Wang |
A Method to Determine if Two Parametric Polynomial Systems Are Equal. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Cheilaris, Sandeep Kumar Dey, Maria Gabrani, Evanthia Papadopoulou |
Implementing the L ∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joonghyun Ryu, Mokwon Lee, Jehyun Cha, Chanyoung Song, Deok-Soo Kim |
BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai |
SyNRAC: A Toolbox for Solving Real Algebraic Constraints. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio |
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Marc Moreno Maza |
Cylindrical Algebraic Decomposition in the RegularChains Library. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi |
Effective Computation of Radical of Ideals and Its Application to Invariant Theory. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Tajima, Katsuyoshi Ohara, Akira Terui |
An Extension and Efficient Calculation of the Horner's Rule for Matrices. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Victor Magron |
NLCertify: A Tool for Formal Nonlinear Optimization. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Su 0008, Paul S. Wang, Lian Li |
A Touch-Based Mathematical Expression Editor. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gert-Martin Greuel, Wolfram Sperber |
swMATH - An Information Service for Mathematical Software. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Uwe Egly |
Incremental QBF Solving by DepQBF. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Berberich |
Robustly and Efficiently Computing Algebraic Curves and Surfaces. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang |
A Tablet-Compatible Web-Interface for Mathematical Collaboration. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, Steven E. Thornton |
A Package for Parametric Matrix Computations. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhang 0045 |
Computing Moore-Penrose Inverses of Ore Polynomial Matrices. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joseph L. Awange, Béla Paláncz, Robert H. Lewis |
Groebner Basis in Geodesy and Geoinformatics. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sunghyu Han |
On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsuyoshi Ohara, Shinichi Tajima, Akira Terui |
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mateusz Juda, Marian Mrozek |
CAPD: : RedHom v2 - Homology Software Based on Reduction Algorithms. |
ICMS |
2014 |
DBLP DOI BibTeX RDF |
|