| 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 |
| Slack Ideals in Macaulay2
|
2020 |
Macchia, Antonio |
| A Convex Programming Approach to Solve Posynomial Systems
|
2020 |
Akian, Marianne |
| GeoLogic — Graphical Interactive Theorem Prover for Euclidean Geometry
|
2020 |
Olšák, Miroslav |
| Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
|
2020 |
Brown, Christopher W. |
| FunGrim: A Symbolic Library for Special Functions
|
2020 |
Johansson, Fredrik |
| Mathematical World Knowledge Contained in the Multilingual Wikipedia Project
|
2020 |
Halbach, Dennis Tobias |
| Polymake.jl: A New Interface to polymake
|
2020 |
Kaluba, Marek |
| MORLAB - A Model Order Reduction Framework in MATLAB and Octave
|
2020 |
Benner, Peter |
| FlexRiLoG—A SageMath Package for Motions of Graphs
|
2020 |
Grasegger, Georg |
| Certifying Irreducibility in Z[x]
|
2020 |
Abbott, John |
| 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 |
Tag hinzufügen