Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify the validity of such proofs.
The proof of the four colour theorem from 1976 @cite_12 @cite_5 was not the first computer-assisted proof, but it was the first to generate broad awareness of a new area of mathematics, sometimes dubbed experimental'' or computational'' mathematics. Since then, numerous theorems in mathematics and computer science have been proved by computer-assisted and computer-generated proofs. Besides obvious philosophical debates about what constitutes a mathematical proof, concerns about the validity of such proofs have been raised since. In particular, proofs based on exhausting the solution space have been met with skepticism.
@cite_5 @cite_12
1566410171 1656795039
The sulphur- and oxygen-containing diaryl compounds of the formula: I in which A and B, which may be the same or different, represent O, S, SO or SO2, Alk is a C1-C4 hydrocarbon radical with a straight or branched chain, R represents COOH, an esterified COOH group, a carboxylic amide group, OH, O-SO2CH3, NH2, NHR1, NR1R2, NHZOH, NHZNR1R2, C(=NH)NH2, C(=NH)NHOH or 2- DELTA 2-imidazolinyl, Z is a C2-C4 hydrocarbon radical with a straight or branched chain, and R1 and R2 each represent a C1-C3 lower alkyl group, or together form, with the nitrogen atom to which they are linked, a N-heterocyclic group of 5 to 7 ring atoms which can be substituted and can comprise a second hetero-atom, and their addition salts with bases when R is COOH, and their addition salts with acids when R is a basic radical, are useful pharmacological agents in the treatment of circulatory complaints such as cardio-vascular illnesses. The isomer (R)-(-)-3- [2-(p-hydroxyphenyl)-1-methylethyl]-aminomethyl -3,4-dihydr o-2H-1,5-benzodioxepin-3-ol and its non-toxic acid addition salts is unexpectedly more potent in the reduction of elevated interocular pressure in mammals than its enantiomorph or the racemate thereof.