default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICMS 2020: Braunschweig, Germany
- Anna Maria Bigatti
, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff:
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Lecture Notes in Computer Science 12097, Springer 2020, ISBN 978-3-030-52199-8
Gröbner Bases in Theory and Practice
- Noriyuki Horigome, Akira Terui, Masahiko Mikawa:
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. 3-13
Real Algebraic Geometry
- Akshar Nair, James H. Davenport, Gregory Sankaran:
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? 17-26 - Changbo Chen:
Chordality Preserving Incremental Triangular Decomposition and Its Implementation. 27-36
Algebraic Geometry via Numerical Computation
- Francesca Bianchi:
[inline-graphic not available: see fulltext]-Integral Points on a Mordell Curve. 39-50 - Xiaxin Li, Jose Israel Rodriguez, Botong Wang:
A Numerical Approach for Computing Euler Characteristics of Affine Varieties. 51-60 - Jonathan D. Hauenstein, Margaret H. Regan:
Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set. 61-69
Computational Algebraic Analysis
- Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama:
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals. 73-84
Software for Number Theory and Arithmetic Geometry
- Andreas-Stephan Elsenhans, Jörg Jahnel:
Computations with Algebraic Surfaces. 87-93 - Ricky E. Farr, Sebastian Pauli, Filip Saidak:
Evaluating Fractional Derivatives of the Riemann Zeta Function. 94-101
Groups and Group Actions
- Sergio Siccha:
Towards Efficient Normalizers of Primitive Groups. 105-114 - Alexandre V. Borovik, Sükrü Yalçinkaya:
Homomorphic Encryption and Some Black Box Attacks. 115-124 - Tobias Moede:
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups. 125-130 - Bettina Eick, Michael R. Vaughan-Lee:
The GAP Package LiePRing. 131-140
The Classification Problem in Geometry
- Anton Betten, Tarun Mukthineni:
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry. 143-152 - Bart De Bruyn:
Classification Results for Hyperovals of Generalized Quadrangles. 153-161 - Svetlana Topalova, Stela Zhelezova:
Isomorphism and Invariants of Parallelisms of Projective Spaces. 162-172 - Stefka Bouyuklieva, Iliya Bouyukliev:
Classification of Linear Codes by Extending Their Residuals. 173-180 - Iliya Bouyukliev:
The Program Generation in the Software Package QextNewEdition. 181-189
Polyhedral Methods in Geometry and Optimization
- Winfried Bruns:
Algebraic Polytopes in Normaliz. 193-201 - Michael Joswig, Paul Vater:
Real Tropical Hyperfaces by Patchworking in polymake. 202-211 - Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos:
Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies. 212-221 - Antonio Macchia, Amy Wiebe:
Slack Ideals in Macaulay2. 222-231 - Lars Kastner, Marta Panizzut:
Hyperplane Arrangements in polymake. 232-240 - Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
A Convex Programming Approach to Solve Posynomial Systems. 241-250
Univalent Mathematics: Theory and Implementation
- Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic:
Equality Checking for General Type Theories in Andromeda 2. 253-259
Artificial Intelligence and Mathematical Software
- Miroslav Olsák:
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry. 263-271 - Yaoshun Fu, Wensheng Yu:
A Formalization of Properties of Continuous Functions on Closed Intervals. 272-280 - Changbo Chen, Zhangpeng Zhu, Haoyu Chi:
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. 281-291 - Christopher W. Brown, Glenn Christopher Daves:
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. 292-301 - Dorian Florescu, Matthew England:
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. 302-311
Databases in Mathematics
- Fredrik Johansson:
FunGrim: A Symbolic Library for Special Functions. 315-323
Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data
- Mila Runnwerth, Markus Stocker, Sören Auer:
Operational Research Literature as a Use Case for the Open Research Knowledge Graph. 327-334 - 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. 335-341 - Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza:
Employing C++ Templates in the Design of a Computer Algebra Library. 342-352 - Dennis Tobias Halbach:
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project. 353-361 - Roberto Di Cosmo:
Archiving and Referencing Source Code with Software Heritage. 362-373
The Jupyter Environment for Computational Mathematics
- Marek Kaluba, Benjamin Lorenz, Sascha Timme:
Polymake.jl: A New Interface to polymake. 377-385 - Miguel Ángel Marco-Buzunáriz:
Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza. 386-392 - Olivier Bouillot:
Phase Portraits of Bi-dimensional Zeta Values. 393-405 - Jan Frederik Schaefer, Kai Amann, Michael Kohlhase:
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. 406-415
General Session
- Tatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura:
Method to Create Multiple Choice Exercises for Computer Algebra System. 419-425 - Kento Nakamura, Kazushi Ahara:
A Flow-Based Programming Environment for Geometrical Construction. 426-431 - Peter Benner, Steffen W. R. Werner:
MORLAB - A Model Order Reduction Framework in MATLAB and Octave. 432-441 - Georg Grasegger, Jan Legerský:
FlexRiLoG - A SageMath Package for Motions of Graphs. 442-450 - Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr:
Markov Transition Matrix Analysis of Mathematical Expression Input Models. 451-461 - John Abbott:
Certifying Irreducibility in ℤ[x]. 462-472 - Lars Hellström:
A Content Dictionary for In-Object Comments. 473-481 - Joris van der Hoeven, Michael B. Monagan:
Implementing the Tangent Graeffe Root Finding Method. 482-492
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
