continuity

A formalization of geometry in Coq based on Tarski's axiom system

📚 Calculus Library for JS and NPM

Handoff Webpage to Chrome on iOS

A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation

.NET SDK for interacting with the Onspring API

Function, function graph, domain, range. Increasing and decreasing functions, odd and even functions. Inverse functions. The class of elementary functions. Trigonometric functions, exponential and logarithmic functions. Power laws, logarithms. Limits, rules for calculating limits, standard limits. Continuity, theorems on continuous functions. Derivative, rules of differentiation, the mean value theorem, implicit differentiation, applications: rate of change, linear approximation, tangent, extreme value problems, sketching the graph of a function, l'Hôpital's rule. Taylor's formula with error estimates. Linear differential equations with constant coefficients and their applications. The Riemann integral, primitive functions, the fundamental theorem integral calcolus, variable substitution, integration by parts, partial fractions. Riemann sums, geometric and other applications of integrals, improper integrals, estimates and convergence. Paramterization of curves and arc length. Sequences and series, convergence criteria, the Cauchy integral test. Taylor series.

The Probabilistic Fault Tolerance of Neural Networks in the Continuous Limit, El-Mahdi El-Mhamdi, Rachid Guerraoui, Andrei Kucharavy, Sergei Volodin

Notes from math Analysis course

〽Basically a circuit used to check continuity in a wire connection or a device, this can save you a lot of headache if you are normallly into hardware wire connections