Published in Singular version 4-0-3, 2016
This library includes the implementation of modular computation of syzygy modules over algebraic number fields
Recommended citation: D. K. Boku, W. Decker, and C. Fieker. (2016). nfmodsyz.lib: A Singular version 4-0-3 library for computing syzygy modules over algebraic number fields.
Published in Singular version 4-0-3 , 2016
This library includes the implementation of modular computation of Groebner bases over function fields
Recommended citation: D. K. Boku, W. Decker, and C. Fieker. (2016). ffmodstd.lib A Singular version 4-0-3 library for computing Groebner bases of ideals in polynomial rings over algebraic function fields.
Published in Singular version 4-0-2, 2015
This library includes the implementation of the nfmodstd algorithm given in the Boku et. al. paper nfmodstd.pdf
Recommended citation: D. K. Boku, W. Decker, and C. Fieker. (2015). nfmodstd.lib A Singular version 4-0-2 library for computing Groebner bases of ideals in polynomial rings over algebraic number fields.
Published in Poceedings of PASCO, 2015
This paper presents an efficient method for computing the above mentioned bases using modular algorithms over algebraic number fields.
Recommended citation: D. K. Boku, W. Decker, C. Fieker, and A. Steenpass (2015)" Groebner bases over algebraic number fields."New York, NY, USA. ACM.