Automated theorem provingAutomated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics.
Platinum-based antineoplasticPlatinum-based antineoplastic drugs (informally called platins) are chemotherapeutic agents used to treat cancer. Their active moieties are coordination complexes of platinum. These drugs are used to treat almost half of people receiving chemotherapy for cancer. In this form of chemotherapy, commonly used drugs include cisplatin, oxaliplatin, and carboplatin, but several have been proposed or are under development. Addition of platinum-based chemotherapy drugs to chemoradiation in women with early cervical cancer seems to improve survival and reduce risk of recurrence.
Metal ammine complexIn coordination chemistry, metal ammine complexes are metal complexes containing at least one ammonia () ligand. "Ammine" is spelled this way due to historical reasons; in contrast, alkyl or aryl bearing ligands are spelt with a single "m". Almost all metal ions bind ammonia as a ligand, but the most prevalent examples of ammine complexes are for Cr(III), Co(III), Ni(II), Cu(II) as well as several platinum group metals. Ammine complexes played a major role in the development of coordination chemistry, specifically determination of the stereochemistry and structure.
BiosynthesisIn molecular biology, biosynthesis is a multi-step, enzyme-catalyzed process where substrates are converted into more complex products in living organisms. In biosynthesis, simple compounds are modified, converted into other compounds, or joined to form macromolecules. This process often consists of metabolic pathways. Some of these biosynthetic pathways are located within a single cellular organelle, while others involve enzymes that are located within multiple cellular organelles.
Automated reasoningIn computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.
Nonmetal (chemistry)A nonmetal is a chemical element that, in the broadest sense of the term, has a relatively low density and high electronegativity; they range from colorless gases (like hydrogen) to shiny solids (like carbon, as graphite). They are usually poor conductors of heat and electricity, and brittle or crumbly when solid due to their electrons having low mobility. In contrast, metals are good conductors and most are easily flattened into sheets and drawn into wires since their electrons are generally free-moving.
MetalloidA metalloid is a type of chemical element which has a preponderance of properties in between, or that are a mixture of, those of metals and nonmetals. There is no standard definition of a metalloid and no complete agreement on which elements are metalloids. Despite the lack of specificity, the term remains in use in the literature of chemistry. The six commonly recognised metalloids are boron, silicon, germanium, arsenic, antimony and tellurium. Five elements are less frequently so classified: carbon, aluminium, selenium, polonium and astatine.
Coordination complexA coordination complex is a chemical compound consisting of a central atom or ion, which is usually metallic and is called the coordination centre, and a surrounding array of bound molecules or ions, that are in turn known as ligands or complexing agents. Many metal-containing compounds, especially those that include transition metals (elements like titanium that belong to the periodic table's d-block), are coordination complexes. Coordination complexes are so pervasive that their structures and reactions are described in many ways, sometimes confusingly.
