Researchers have developed a novel algebraic model of DNA hybridization, a process central to most biotechnology devices that monitor changes in cell's gene expression or characterize a cell's genome.

The study of differential algebraic geometry and model theory occupies a pivotal position at the interface of algebra, geometry, and logic. Differential algebraic geometry investigates solution sets ...

We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model ...