Results 201 to 210 of about 4,148,143 (214)
Some of the next articles are maybe not open access.

Solving Multivariate Polynomial Matrix Diophantine Equations with Gröbner Basis Method

Journal of Systems Science and Complexity, 2021
Fanghui Xiao, Dong Lu, Dingkang Wang
semanticscholar   +1 more source

Gröbner Basis Cryptanalysis of Anemoi

International Conference on the Theory and Application of Cryptographic Techniques
Luca Campa, Arnab Roy
semanticscholar   +1 more source

Formal verification of integer multipliers by combining Gröbner basis with logic reduction

Design, Automation and Test in Europe, 2016
Amr A. R. Sayed-Ahmed   +4 more
semanticscholar   +1 more source

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method

Journal of automated reasoning, 2017
Jie Zhou, Dingkang Wang, Yao Sun
semanticscholar   +1 more source

Approximate hardware generation using symbolic computer algebra employing grobner basis

Design, Automation and Test in Europe, 2018
Saman Fröhlich   +2 more
semanticscholar   +1 more source

Universal Gröbner Basis for Parametric Polynomial Ideals

International Congress on Mathematical Software, 2018
A. Hashemi   +2 more
semanticscholar   +1 more source

Bifurcation manifolds in predator-prey models computed by Gröbner basis method.

Mathematical Biosciences, 2019
Veronika Hajnová, L. Přibylová
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy