We show that the combination of dynamic programming with partial-order decomposition algorithms enables us to solve sequencing problems in polynomial time for substantially larger classes of ...

By partitioning the real space into cylindrical cells where a pre-specified set of polynomials retain invariant signs, CAD facilitates quantifier elimination—a process that reformulates logical ...

Plant and Soil, Vol. 228, No. 1, THE 10TH INTERNATIONAL NITROGEN WORKSHOP (January (I) 2001), pp. 83-103 (21 pages) C and N mineralisation kinetics obtained in laboratory incubations during ...

Mathematicians have devised a new way to solve higher-order polynomial equations, ushering in a 'dramatic revision of a basic chapter in algebra'.

Mathematicians have devised a new way to solve higher-order polynomial equations, ushering in a 'dramatic revision of a basic chapter in algebra'.