Results 201 to 210 of about 4,148,143 (214)

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

An Extension of Gröbner Basis Theory to Indexed Polynomials Without Eliminations

Journal of Systems Science and Complexity, 2020
Jiang Liu
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, Daniel Große, U. Kühne, Mathias Soeken, R. Drechsler   +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

Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm

Journal of Systems Science and Complexity, 2017
D. Kapur
semanticscholar   +1 more source

Approximate hardware generation using symbolic computer algebra employing grobner basis

Design, Automation and Test in Europe, 2018
Saman Fröhlich, Daniel Große, R. Drechsler   +2 more
semanticscholar   +1 more source

Universal Gröbner Basis for Parametric Polynomial Ideals

International Congress on Mathematical Software, 2018
A. Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar   +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

Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations

Mathematics and Computer Science, 2017
Z. Kovács
semanticscholar   +1 more source