(***************************************************************************** * * Project : Morley ' s Theorem * Version : 1 . 0 * * Author : Benjamin Puyobro * * * * Copyright ( c ) 2024 Universit é Paris - Sud , France - IRT SystemX , Palaiseau , France * * * All rights reserved . * * Redistribution and use in source and binary forms , with or without * modification , are permitted provided that the following conditions are * met : * * * Redistributions of source code must retain the above copyright * notice , this list of conditions and the following disclaimer . * * * Redistributions in binary form must reproduce the above * copyright notice , this list of conditions and the following * disclaimer in the documentation and / or other materials provided * with the distribution . * * * Neither the name of the copyright holders nor the names of its * contributors may be used to endorse or promote products derived * from this software without specific prior written permission . * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS * " AS IS " AND ANY EXPRESS OR IMPLIED WARRANTIES , INCLUDING , BUT NOT * LIMITED TO , THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR * A PARTICULAR PURPOSE ARE DISCLAIMED . IN NO EVENT SHALL THE COPYRIGHT * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT , INDIRECT , INCIDENTAL , * SPECIAL , EXEMPLARY , OR CONSEQUENTIAL DAMAGES ( INCLUDING , BUT NOT * LIMITED TO , PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES ; LOSS OF USE , * DATA , OR PROFITS ; OR BUSINESS INTERRUPTION ) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY , WHETHER IN CONTRACT , STRICT LIABILITY , OR TORT * ( INCLUDING NEGLIGENCE OR OTHERWISE ) ARISING IN ANY WAY OUT OF THE USE * OF THIS SOFTWARE , EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE . "Morley_Theorem" (AFP) = "HOL-Algebra" +1200 ]"Complex_Angles" "Complex_Trigonometry" "Complex_Triangles_Definitions" "Complex_Triangles" "Complex_Axial_Symmetry" "Third_Unity_Root" "Morley" "references.bib" "root.tex"
Messung V0.5 in Prozent C=88 H=97 G=92
¤ Dauer der Verarbeitung: 0.2 Sekunden
¤ *© Formatika GbR, Deutschland
