| 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 |
| Q(V—3)-Integral Points on a Mordell Curve
|
2020 |
Bianchi, Francesca |
| Computations with Algebraic Surfaces
|
2020 |
Elsenhans, Andreas-Stephan |
| Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups
|
2020 |
Moede, Tobias |
| Classification Results for Hyperovals of Generalized Quadrangles
|
2020 |
Bruyn, Bart De |
| The Program GENERATION in the Software Package QEXTNEWEDITION
|
2020 |
Bouyukliev, Iliya |
| Algebraic Polytopes in Normaliz
|
2020 |
Bruns, Winfried |
| Markov Transition Matrix Analysis of Mathematical Expression Input Models
|
2020 |
Quinby, Francis |
| Evaluating Fractional Derivatives of the Riemann Zeta Function
|
2020 |
Farr, Ricky E. |
| Homomorphic Encryption and Some Black Box Attacks
|
2020 |
Borovik, Alexandre |
| Classification of Linear Codes by Extending Their Residuals
|
2020 |
Bouyuklieva, Stefka |
| Real Tropical Hyperfaces by Patchworking in polymake
|
2020 |
Joswig, Michael |
Tag hinzufügen