| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lars Hellström |
A Content Dictionary for In-Object Comments.  |
ICMS  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorian Florescu, Matthew England 0001 |
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Grasegger, Jan Legerský |
FlexRiLoG - A SageMath Package for Motions of Graphs. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Johansson 0001 |
FunGrim: A Symbolic Library for Special Functions. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Zhangpeng Zhu, Haoyu Chi |
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Siccha |
Towards Efficient Normalizers of Primitive Groups. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Tobias Halbach |
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza |
Employing C++ Templates in the Design of a Computer Algebra Library. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kastner, Marta Panizzut |
Hyperplane Arrangements in polymake. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan D. Hauenstein, Margaret H. Regan |
Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Ángel Marco Buzunáriz |
Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert |
A Convex Programming Approach to Solve Posynomial Systems. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Cosmo |
Archiving and Referencing Source Code with Software Heritage. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Joswig, Paul Vater |
Real Tropical Hyperfaces by Patchworking in polymake. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Eick, Michael R. Vaughan-Lee |
The GAP Package LiePRing. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama |
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic |
Equality Checking for General Type Theories in Andromeda 2. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriyuki Horigome, Akira Terui, Masahiko Mikawa |
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Bianchi |
[inline-graphic not available: see fulltext]-Integral Points on a Mordell Curve. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Runnwerth, Markus Stocker, Sören Auer |
Operational Research Literature as a Use Case for the Open Research Knowledge Graph. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliya Bouyukliev |
The Program Generation in the Software Package QextNewEdition. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Topalova, Stela Zhelezova |
Isomorphism and Invariants of Parallelisms of Projective Spaces. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaxin Li, Jose Israel Rodriguez, Botong Wang |
A Numerical Approach for Computing Euler Characteristics of Affine Varieties. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Farr, Sebastian Pauli, Filip Saidak |
Evaluating Fractional Derivatives of the Riemann Zeta Function. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefka Bouyuklieva, Iliya Bouyukliev |
Classification of Linear Codes by Extending Their Residuals. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris van der Hoeven, Michael B. Monagan |
Implementing the Tangent Graeffe Root Finding Method. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Betten, Tarun Mukthineni |
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Brown 0001, Glenn Christopher Daves |
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshar Nair, James H. Davenport, Gregory Sankaran |
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Winfried Bruns |
Algebraic Polytopes in Normaliz. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | John Abbott |
Certifying Irreducibility in ℤ[x]. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff (eds.) |
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr |
Markov Transition Matrix Analysis of Mathematical Expression Input Models. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen |
Chordality Preserving Incremental Triangular Decomposition and Its Implementation. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Frederik Schaefer, Kai Amann, Michael Kohlhase |
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart De Bruyn |
Classification Results for Hyperovals of Generalized Quadrangles. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | André Greiner-Petter, Moritz Schubotz, Akiko Aizawa, Bela Gipp |
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Benner, Steffen W. R. Werner |
MORLAB - A Model Order Reduction Framework in MATLAB and Octave. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Moede |
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Olsák |
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Kaluba, Benjamin Lorenz, Sascha Timme |
Polymake.jl: A New Interface to polymake. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Macchia, Amy Wiebe |
Slack Ideals in Macaulay2. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre V. Borovik, Sükrü Yalçinkaya |
Homomorphic Encryption and Some Black Box Attacks. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas-Stephan Elsenhans, Jörg Jahnel |
Computations with Algebraic Surfaces. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos |
Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura |
Method to Create Multiple Choice Exercises for Computer Algebra System. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bouillot |
Phase Portraits of Bi-dimensional Zeta Values. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kento Nakamura, Kazushi Ahara |
A Flow-Based Programming Environment for Geometrical Construction. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaoshun Fu, Wensheng Yu |
A Formalization of Properties of Continuous Functions on Closed Intervals. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor Brysiewicz |
Numerical Software to Compute Newton Polytopes. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr |
Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Caravantes, Laureano González-Vega |
On the Interference Problem for Ellipsoids: Experiments and Applications. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Breiding, Sascha Timme |
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeo Noda, Masataka Kaneko |
Collaborative Use of Mathematical Content Generated by CindyJS on Tablets. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Betten |
How Fast Can We Compute Orbits of Groups? |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David García-Puente |
Neural Ideals in SageMath. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shizuka Shirai, Tetsuo Fukui, Kentaro Yoshitomi, Mitsuru Kawazoe, Takahiro Nakahara, Yasuyuki Nakamura, Katsuya Kato, Tetsuya Taniguchi |
Intelligent Editor for Authoring Educational Materials in Mathematics e-Learning Systems. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Di Crescenzo, Delaram Kahrobaei, Matluba Khodjaeva, Vladimir Shpilrain |
Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian Groups. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bianca Sosnovski |
Recent Developments in Cayley Hash Functions. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Israel Rodriguez |
Solving the Likelihood Equations to Compute Euler Obstruction Functions. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert H. Lewis |
Image Analysis: Identification of Objects via Polynomial Systems. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Horácek, Martin Kreuzer |
3BA: A Border Bases Solver with a SAT Extension. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Leykin |
Homotopy Continuation in Macaulay2. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagen Chrapary, Wolfgang Dalitz |
Software Products, Software Versions, Archiving of Software, and swMATH. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lichtblau |
Solving Polynomial Systems Using Numeric Gröbner Bases. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhonggang Zeng |
Intuitive Interface for Solving Linear and Nonlinear System of Equations. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Betten |
Classifying Cubic Surfaces over Finite Fields Using Orbiter. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Monagan, Baris Tuncer |
Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rowland |
IntegerSequences: A Package for Computing with k-Regular Sequences. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelsey Horan, Delaram Kahrobaei |
The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Machado Martins, Markus Pfeiffer |
Francy - An Interactive Discrete Mathematics Framework for GAP. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar |
Universal Gröbner Basis for Parametric Polynomial Ideals. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel S. Katz, Neil P. Chue Hong |
Software Citation in Theory and Practice. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sohee Kang, Marco Pollanen, Sotirios Damouras, Bruce Cater |
Mathematics Classroom Collaborator (MC2): Technology for Democratizing the Classroom. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001 |
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Sanderson, Ryan R. Curtin |
A User-Friendly Hybrid Sparse Matrix Class in C++. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Vale-Enriquez, Christopher W. Brown 0001 |
Polynomial Constraints and Unsat Cores in Tarski. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jakubuv, Cezary Kaliszyk |
Towards a Unified Ordering for Superposition-Based Automated Reasoning. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, Manuel Kauers, George Labahn, Josef Urban (eds.) |
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Bates, Danielle A. Brake, Matt Niemerg |
Paramotopy: Parameter Homotopies in Parallel. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Ceria, Teo Mora, Andrea Visconti |
Efficient Computation of Squarefree Separator Polynomials. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Victor Y. Pan, Chee Yap |
Implementation of a Near-Optimal Complex Root Clustering Algorithm. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury |
A Rainbow Clique Search Algorithm for BLT-Sets. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Joswig, Lars Kastner |
New Counts for the Number of Triangulations of Cyclic Polytopes. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Yoshitomi |
Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random Assignments. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert H. Lewis, Béla Paláncz, Joseph L. Awange |
Fitting a Sphere via Gröbner Basis. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Austin, Scott C. Batson, Peter Curry, Bryan Williams |
Finding a Middle Ground for Computer-Aided Cryptography. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey B. Mulligan, James H. Davenport, Matthew England 0001 |
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Julia Sapiña |
Inferring Safe Maude Programs with ÁTAME. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiwen Kang, Ruriko Yoshida |
Estimating Tropical Principal Components Using Metropolis Hasting Algorithm. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Farmer |
A New Style of Mathematical Proof. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Yang 0039, Chee K. Yap |
On \mu μ -Symmetric Polynomials and D-Plus. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-San Cheng, Junyi Wen, Wenjian Zhang |
Plotting Planar Implicit Curves and Its Applications. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew England 0001 |
Machine Learning for Mathematical Software. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Sperber |
Mathematical Research Data, Software, Models, and the Publication-Based Approach. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Danielle A. Brake, Jonathan D. Hauenstein, Margaret H. Regan |
polyTop: Software for Computing Topology of Smooth Real Surfaces. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert H. Lewis |
Resultants, Implicit Parameterizations, and Intersections of Surfaces. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan D. Hauenstein, Avinash Kulkarni, Emre Can Sertöz, Samantha N. Sherman |
Certifying Reality of Projections. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Sunic |
Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanouil Christoforou, Angelos Mantzaflaris, Bernard Mourrain, Julien Wintz |
Axl, a Geometric Modeler for Semi-algebraic Shapes. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license