Results 161 to 170 of about 523 (176)

Coupling Matrix Synthesis Using Groebner Basis

2022 24th International Microwave and Radar Conference (MIKON), 2022
Jedrzej Michalczyk, Jerzy Julian Michalski   +1 more
openaire   +1 more source

Automatic selection of the Groebner Basis’ monomial order employed for the synthesis of the inverse kinematic model of non-redundant open-chain robotic systems

Mechanics Based Design of Structures and Machines, 2023
JOSÉ Guzmán-Giménez, MIGUEL Díaz-Rodríguez, Angel Valera   +2 more
exaly  

Groebner Basis

2016
Joseph L. Awange, Béla Paláncz
openaire   +1 more source

Using the Groebner basis algorithm to find proofs of unsatisfiability

Proceedings of the twenty-eighth annual ACM symposium on Theory of computing - STOC '96, 1996
Matthew Clegg, Jeff Edmonds, Russell Impagliazzo   +2 more
openaire   +1 more source

Solve the Polynomial Functions Conditional Extreme by Applying the Groebner Basis Method

Open Journal of Applied Sciences, 2022
exaly  

Groebner Basis

2005
openaire   +1 more source

Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction

Microprocessors and Microsystems, 2015
Farimah Farahmandi, Bijan Alizadeh
exaly  

Application of Groebner Basis Methodology to Nonlinear Static Cable Analysis

Journal of Offshore Mechanics and Arctic Engineering, 2013
John Peddieson
exaly  

Computation of feedback control for time optimal state transfer using Groebner basis

Systems and Control Letters, 2015
Deepak U Patil, Ameer K Mulla, Debraj Chakraborty   +2 more
exaly  

An Assessment of Groebner Basis Methods for a Simplified Biomolecular Folding Model

2023
Shaunak Sen
exaly