Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lars Hellström |
A Content Dictionary for In-Object Comments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 473-481, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 302-311, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georg Grasegger, Jan Legerský |
FlexRiLoG - A SageMath Package for Motions of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 442-450, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001 |
FunGrim: A Symbolic Library for Special Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 315-323, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Zhangpeng Zhu, Haoyu Chi |
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 281-291, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Siccha |
Towards Efficient Normalizers of Primitive Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 105-114, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Tobias Halbach |
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 353-361, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 342-352, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kastner, Marta Panizzut |
Hyperplane Arrangements in polymake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 232-240, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Margaret H. Regan |
Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 61-69, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Ángel Marco Buzunáriz |
Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 386-392, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert |
A Convex Programming Approach to Solve Posynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 241-250, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Di Cosmo |
Archiving and Referencing Source Code with Software Heritage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 362-373, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Joswig, Paul Vater |
Real Tropical Hyperfaces by Patchworking in polymake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 202-211, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Eick, Michael R. Vaughan-Lee |
The GAP Package LiePRing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 131-140, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama |
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 73-84, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic |
Equality Checking for General Type Theories in Andromeda 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 253-259, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 3-13, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Bianchi |
[inline-graphic not available: see fulltext]-Integral Points on a Mordell Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 39-50, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 327-334, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Iliya Bouyukliev |
The Program Generation in the Software Package QextNewEdition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 181-189, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Topalova, Stela Zhelezova |
Isomorphism and Invariants of Parallelisms of Projective Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 162-172, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaxin Li, Jose Israel Rodriguez, Botong Wang |
A Numerical Approach for Computing Euler Characteristics of Affine Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 51-60, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ricky E. Farr, Sebastian Pauli, Filip Saidak |
Evaluating Fractional Derivatives of the Riemann Zeta Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 94-101, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefka Bouyuklieva, Iliya Bouyukliev |
Classification of Linear Codes by Extending Their Residuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 173-180, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Michael B. Monagan |
Implementing the Tangent Graeffe Root Finding Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 482-492, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten, Tarun Mukthineni |
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 143-152, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001, Glenn Christopher Daves |
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 292-301, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 17-26, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Bruns |
Algebraic Polytopes in Normaliz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 193-201, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | John Abbott |
Certifying Irreducibility in ℤ[x]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 462-472, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![Springer, 978-3-030-52199-8 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 451-461, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen |
Chordality Preserving Incremental Triangular Decomposition and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 27-36, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jan Frederik Schaefer, Kai Amann, Michael Kohlhase |
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 406-415, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bart De Bruyn |
Classification Results for Hyperovals of Generalized Quadrangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 153-161, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 335-341, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Benner, Steffen W. R. Werner |
MORLAB - A Model Order Reduction Framework in MATLAB and Octave. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 432-441, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Moede |
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 125-130, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Olsák |
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 263-271, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marek Kaluba, Benjamin Lorenz, Sascha Timme |
Polymake.jl: A New Interface to polymake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 377-385, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Macchia, Amy Wiebe |
Slack Ideals in Macaulay2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 222-231, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre V. Borovik, Sükrü Yalçinkaya |
Homomorphic Encryption and Some Black Box Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 115-124, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas-Stephan Elsenhans, Jörg Jahnel |
Computations with Algebraic Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 87-93, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 212-221, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura |
Method to Create Multiple Choice Exercises for Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 419-425, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bouillot |
Phase Portraits of Bi-dimensional Zeta Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 393-405, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kento Nakamura, Kazushi Ahara |
A Flow-Based Programming Environment for Geometrical Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 426-431, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yaoshun Fu, Wensheng Yu |
A Formalization of Properties of Continuous Functions on Closed Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 272-280, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Taylor Brysiewicz |
Numerical Software to Compute Newton Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 80-88, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 297-304, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Caravantes, Laureano González-Vega |
On the Interference Problem for Ellipsoids: Experiments and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 89-97, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Breiding, Sascha Timme |
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 458-465, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takeo Noda, Masataka Kaneko |
Collaborative Use of Mathematical Content Generated by CindyJS on Tablets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 379-388, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten |
How Fast Can We Compute Orbits of Groups? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 62-70, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 182-190, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 431-437, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 137-146, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bianca Sosnovski |
Recent Developments in Cayley Hash Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 438-447, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jose Israel Rodriguez |
Solving the Likelihood Equations to Compute Euler Obstruction Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 405-413, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert H. Lewis |
Image Analysis: Identification of Objects via Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 305-309, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Horácek, Martin Kreuzer |
3BA: A Border Bases Solver with a SAT Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 209-217, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anton Leykin |
Homotopy Continuation in Macaulay2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 328-334, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hagen Chrapary, Wolfgang Dalitz |
Software Products, Software Versions, Archiving of Software, and swMATH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 123-127, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lichtblau |
Solving Polynomial Systems Using Numeric Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 335-342, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhonggang Zeng |
Intuitive Interface for Solving Linear and Nonlinear System of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 498-506, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten |
Classifying Cubic Surfaces over Finite Fields Using Orbiter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 55-61, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Baris Tuncer |
Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 359-368, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eric Rowland |
IntegerSequences: A Package for Computing with k-Regular Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 414-421, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kelsey Horan, Delaram Kahrobaei |
The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 218-226, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Machado Martins, Markus Pfeiffer |
Francy - An Interactive Discrete Mathematics Framework for GAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 352-358, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar |
Universal Gröbner Basis for Parametric Polynomial Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 191-199, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel S. Katz, Neil P. Chue Hong |
Software Citation in Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 289-296, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sohee Kang, Marco Pollanen, Sotirios Damouras, Bruce Cater |
Mathematics Classroom Collaborator (MC2): Technology for Democratizing the Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 280-288, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lisitsa 0001 |
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 343-351, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Sanderson, Ryan R. Curtin |
A User-Friendly Hybrid Sparse Matrix Class in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 422-430, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Vale-Enriquez, Christopher W. Brown 0001 |
Polynomial Constraints and Unsat Cores in Tarski. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 466-474, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jakubuv, Cezary Kaliszyk |
Towards a Unified Ordering for Superposition-Based Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 245-254, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![Springer, 978-3-319-96417-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Bates, Danielle A. Brake, Matt Niemerg |
Paramotopy: Parameter Homotopies in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 28-35, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michela Ceria, Teo Mora, Andrea Visconti |
Efficient Computation of Squarefree Separator Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 98-104, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Victor Y. Pan, Chee Yap |
Implementation of a Near-Optimal Complex Root Clustering Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 235-244, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury |
A Rainbow Clique Search Algorithm for BLT-Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 71-79, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Joswig, Lars Kastner |
New Counts for the Number of Triangulations of Cyclic Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 264-271, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Yoshitomi |
Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 492-497, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert H. Lewis, Béla Paláncz, Joseph L. Awange |
Fitting a Sphere via Gröbner Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 319-327, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Evan Austin, Scott C. Batson, Peter Curry, Bryan Williams |
Finding a Middle Ground for Computer-Aided Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 11-18, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 369-378, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Julia Sapiña |
Inferring Safe Maude Programs with ÁTAME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 1-10, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Qiwen Kang, Ruriko Yoshida |
Estimating Tropical Principal Components Using Metropolis Hasting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 272-279, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | William M. Farmer |
A New Style of Mathematical Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 175-181, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jing Yang 0039, Chee K. Yap |
On \mu μ -Symmetric Polynomials and D-Plus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 482-491, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jin-San Cheng, Junyi Wen, Wenjian Zhang |
Plotting Planar Implicit Curves and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 113-122, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001 |
Machine Learning for Mathematical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 165-174, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Sperber |
Mathematical Research Data, Software, Models, and the Publication-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 448-457, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Danielle A. Brake, Jonathan D. Hauenstein, Margaret H. Regan |
polyTop: Software for Computing Topology of Smooth Real Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 397-404, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert H. Lewis |
Resultants, Implicit Parameterizations, and Intersections of Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 310-318, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Avinash Kulkarni, Emre Can Sertöz, Samantha N. Sherman |
Certifying Reality of Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 200-208, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 19-27, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanouil Christoforou, Angelos Mantzaflaris, Bernard Mourrain, Julien Wintz |
Axl, a Geometric Modeler for Semi-algebraic Shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 128-136, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|