Implementation, applications, and complexity of prefix Gröbner bases in monoid and group rings

von Zeckzer, Dirk
Veröffentlicht 2000

A catalogue of criteria for evaluating formal methods and its application

von Deiß, Thomas
Veröffentlicht 1997

AN ENHANCED INTERACTION AND FILTERING WIDGET

von Al-Zokari, Yasmin
Veröffentlicht in CGVCVIP (14. : 2020 : Online) International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing 2020, Big Data Analytics, Data Mining and Computational Intelligence 2020, and Theory in Practice in Modern Computing 2020 (2021)