Semantic Scholar uses AI to extract papers important to this topic.
Demuth tests generalize Martin-Lof tests (Gm)m∈N in that one can exchange the m-th component a computably bounded number of times… Expand Learning theoretic aspects of mathematics and logic have been studied by many authors. They study how mathematical and logical… Expand We present two automatic program analyses. The first analysis checks if a given polynomial relation holds among the program… Expand In the first part of this thesis, we introduce a specific class of Linear Matrix Inequalities (LMI) whose optimal solution can be… Expand O INTRODUCTION 1. Fundamental Problem of Algebra 2. Fundamental Problem of Classical Algebraic Geometry 3. Fundamental Problem of… Expand The (semi)standard Young tableau have been known since Hodge and Littlewood to naturally index a basis for the multihomogeneous… Expand Commutative Algebra is best understood with knowledge of the geometric ideas that have played a great role in its formation, in… Expand Unification in acommunitativc theory Emaybereduced tosolving linear equations in the corresponding semiring S(E) . The… Expand Without recourse to the normal basis theorem, some (mk, k) cyclic codes are put into quasi-cyclic form, and their weight… Expand ƒ = k[xi9 • • • , #» , %n+i, • • • » #iv] = £[-X"i, • • • , XivJ/O, where Q = (gi, • • • , q8) is a, finitely generated ideal… Expand