| 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 |
| Employing C++ Templates in the Design of a Computer Algebra Library
|
2020 |
Brandt, Alexander |
| Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza
|
2020 |
Buzunariz, Miguel Angel Marco |
| Phase Portraits of Bi-dimensional Zeta Values
|
2020 |
Bouillot, Olivier |
| Prototyping Controlled Mathematical Languages in Jupyter Notebooks
|
2020 |
Schaefer, Jan Frederik |
| Method to Create Multiple Choice Exercises for Computer Algebra System
|
2020 |
Hamada, Tatsuyoshi |
| A Content Dictionary for In-Object Comments
|
2020 |
Hellström, Lars |
| Implementing the Tangent Graeffe Root Finding Method
|
2020 |
Hoeven, Joris van der |
| Evaluating Fractional Derivatives of the Riemann Zeta Function
|
2020 |
Farr, Ricky E. |
| Homomorphic Encryption and Some Black Box Attacks
|
2020 |
Borovik, Alexandre |
Tag hinzufügen