Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Mathematics in computer science, 2020-06, Vol.14 (2), p.515-530
2020
Volltextzugriff (PDF)

Journal of symbolic computation, 2024-11, Vol.125, p.102327, Article 102327
2024
Volltextzugriff (PDF)

Open Access
Short proofs of ideal membership
Journal of symbolic computation, 2024-11, Vol.125, p.102325, Article 102325
2024
Volltextzugriff (PDF)

Journal of symbolic computation, 2022-11, Vol.113, p.211-241
2022
Volltextzugriff (PDF)

Open Access
On affine tropical F5 algorithms
Journal of symbolic computation, 2021-01, Vol.102, p.132-152
2021
Volltextzugriff (PDF)

Mathematical control and related fields, 2020, Vol.10 (1), p.47-88
2020
Volltextzugriff (PDF)

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023, p.298-306
2023
Volltextzugriff (PDF)

Journal of symbolic computation, 2016-09, Vol.76, p.107-141
2016
Volltextzugriff (PDF)

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023, p.517-525
2023
Volltextzugriff (PDF)

ACM communications in computer algebra, 2019-09, Vol.53 (3), p.126-129
2019
Volltextzugriff (PDF)

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023, p.372-380
2023
Volltextzugriff (PDF)

Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, 2022, p.489-497
2022
Volltextzugriff (PDF)

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020, p.70-77
2020
Volltextzugriff (PDF)

Open Access
On Affine Tropical F5 Algorithms
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, 2018, p.383-390
2018
Volltextzugriff (PDF)

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020, p.91-98
2020
Volltextzugriff (PDF)

Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, 2016, p.103-110
2016
Volltextzugriff (PDF)

Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, 2013, p.189-196
2013
Volltextzugriff (PDF)