| A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases
|
2020 |
Horigome, Noriyuki |
| Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set
|
2020 |
Hauenstein, Jonathan D. |
| Classifying Simplicial Dissections of Convex Polyhedra with Symmetry
|
2020 |
Betten, Anton |
| Isomorphism and Invariants of Parallelisms of Projective Spaces
|
2020 |
Topalova, Svetlana |
| A Formalization of Properties of Continuous Functions on Closed Intervals
|
2020 |
Fu, Yaoshun |
| Operational Research Literature as a Use Case for the Open Research Knowledge Graph
|
2020 |
Runnwerth, Mila |
| Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
|
2020 |
Greiner-Petter, André |
| Archiving and Referencing Source Code with Software Hentage
|
2020 |
Cosmo, Roberto Di |
| A Flow-Based Programming Environment for Geometrical Construction
|
2020 |
Nakamura, Kento |
| Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
|
2020 |
Nair, Akshar |
| Chordality Preserving Incremental Triangular Decomposition and Its Implementation
|
2020 |
Chen, Changbo |
| A Numerical Approach for Computing Euler Characteristics of Affine Varieties
|
2020 |
Li, Xiaxin |
| Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals
|
2020 |
Matsubara-Heo, Saiei-Jaeyeong |
| Towards Efficient Normalizers of Primitive Groups
|
2020 |
Siccha, Sergio |
| The GAP Package LiePRing
|
2020 |
Eick, Bettina |
| Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies
|
2020 |
Chalkis, Apostolos |
| Hyperplane Arrangements in polymake
|
2020 |
Kastner, Lars |
| Equality Checking for General Type Theories in Andromeda 2
|
2020 |
Bauer, Andrej |
| Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
|
2020 |
Chen, Changbo |
| A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
|
2020 |
Florescu, Dorian |
Tag hinzufügen