Publication | Closed Access

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

EngineeringGeneralized FunctionAutomated ReasoningAutomatic Theorem ProverFunction TheoryFunctional AnalysisComplex Function Theory