(integral_sincosnil 3476447258"" (lemma "connected_deriv_domain[T]" ) (("" (assert ) nil nil )) nil )nil integral_sincos nil )nil deriv_domain_def"analysis/" )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" integral_sincos nil )nil integral_sincos nil ))nil ))nil 3476447258 ("" (assert ) nil nil )nil integral_sincos nil )) nil ))nil 3476447279"" (skosimp*)"" (lemma "sin_derivable[T]" )"" (inst?)"" (lemma "derivable_Integrable?" )"" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil )nil integral_sincos nil )"[real -> boolean]" integral_sincos nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil deriv_sincos nil )nil fundamental_theorem"analysis/" )"trig_range" sincos_def nil )"real" sincos_def nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"real" reals nil ))nil 3479113925"" (skosimp*)"" (lemma "cos_derivable[T]" )"" (inst?)"" (assert )"" (lemma "derivable_Integrable?" )"" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )nil integral_sincos nil )"[real -> boolean]" integral_sincos nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil deriv_sincos nil )"trig_range" sincos_def nil )"real" reals nil )"real" sincos_def nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )nil fundamental_theorem"analysis/" ))nil )nil 3476446588"" (skosimp*)"" (lemma "cos_derivable" )"" (inst?)"" (assert )"" (lemma "derivable_Integrable?" )"" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )nil deriv_sincos nil )"trig_range" sincos_def nil )"real" sincos_def nil )nil fundamental_theorem"analysis/" ))nil 3476447258"" (skosimp*)"" (lemma sin_Integrable) (("" (inst?) nil nil )) nil )) nil )nil integral_sincos nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" integral_sincos nil )nil integral_sincos nil ))nil ))nil 3476447372"" (skosimp*)"" (lemma "fundamental3" )"" (inst?)"" "(LAMBDA (x: T): -k!1 / alpha!1* cos(alpha!1 * x))" )"" (assert )"" (lemma "cos_derivable[T]" )"" (inst - "alpha!1" "-k!1/alpha!1" )"" (assert )"" (lemma "deriv_cos[T]" )"" (inst - "alpha!1" "-k!1/alpha!1" )"" (assert )"" (hide-all-but 1)"" (lemma "sin_continuous[T]" )"" (inst?) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil integral_sincos nil )"[real -> boolean]" integral_sincos nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil fundamental_theorem "analysis/" )"boolean" notequal nil )nil number_fields nil )"[numfield, nznum -> numfield]" number_fields nil )"[numfield -> numfield]" number_fields nil )"real" sincos_def nil )nil deriv_sincos nil )nil deriv_sincos nil )nil deriv_sincos nil )"real" reals nil )"real" reals nil )"real" reals nil )"trig_range" sincos_def nil )"trig_range" sincos_def nil )"real" sincos_def nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"real" reals nil ))nil 3476447258"" (skosimp*)"" (lemma cos_Integrable) (("" (inst?) nil nil )) nil )) nil )nil integral_sincos nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" integral_sincos nil )nil integral_sincos nil ))nil ))nil 3479114004"" (skosimp*)"" (lemma "fundamental3" )"" (inst?)"" "(LAMBDA (x: T): k!1 / alpha!1* sin(alpha!1 * x))" )"" (assert )"" (lemma "sin_derivable[T]" )"" (inst - "alpha!1" "k!1/alpha!1" )"" (assert )"" (lemma "deriv_sin[T]" )"" (inst - "alpha!1" "k!1/alpha!1" )"" (assert )"" (hide-all-but 1)"" (lemma "cos_continuous[T]" )"" (inst?) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil integral_sincos nil )"[real -> boolean]" integral_sincos nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil fundamental_theorem "analysis/" )"boolean" notequal nil )nil number_fields nil )"[numfield, nznum -> numfield]" number_fields nil )"real" sincos_def nil )nil deriv_sincos nil )nil deriv_sincos nil )nil deriv_sincos nil )"real" reals nil )"real" reals nil )"trig_range" sincos_def nil )"trig_range" sincos_def nil )"real" sincos_def nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"real" reals nil ))nil )nil 3476449527"" (skosimp*)"" (lemma "fundamental3" )"" (inst?)"" "(LAMBDA (x: T): k!1 / alpha!1* sin(alpha!1 * x))" )"" (assert )"" (lemma "sin_derivable" )"" (inst - "alpha!1" "k!1/alpha!1" )"" (assert )"" (lemma "deriv_sin" )"" (inst - "alpha!1" "k!1/alpha!1" )"" (assert )"" (hide-all-but 1)"" (lemma "cos_continuous" )"" (inst?) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil fundamental_theorem "analysis/" )"real" sincos_def nil )nil deriv_sincos nil )nil deriv_sincos nil )nil deriv_sincos nil )"trig_range" sincos_def nil )"trig_range" sincos_def nil )"real" sincos_def nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
