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...
Mathematics in computer science, 2022-09, Vol.16 (2-3), Article 17
2022
Link zum Volltext

Open Access
Short proofs of ideal membership
Journal of symbolic computation, 2024-11, Vol.125, p.102325, Article 102325
2024
Link zum Volltext

Journal of symbolic computation, 2022-11, Vol.113, p.211-241
2022
Link zum Volltext


Computer Algebra in Scientific Computing, 2023, Vol.14139, p.39-68
2023
Link zum Volltext

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023, p.298-306
2023
Link zum Volltext

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020, p.83-90
2020
Link zum Volltext

ACM communications in computer algebra, 2019-06, Vol.53 (2), p.49-52
2019
Link zum Volltext