GitHub topics: continuity

Repositories

GeoCoq/GeoCoq

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

Language: Coq - Size: 7.66 MB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 192 - Forks: 27

blakesanie/Calculess

📚 Calculus Library for JS and NPM

Language: JavaScript - Size: 10.7 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 41 - Forks: 13

Stochastic parallelised search for counter- and extreme examples to inequalities between "nonbities" of 2 polynomials with nonnegative coefficients and of their product, where a nonbity of a polynomial quantifies its "distinctiveness" from a {0,1}-one. Related to unfair 0-1-polynomials conjecture.

Language: Rust - Size: 43 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

kaiwenzha/Rank-N-Contrast

[NeurIPS 2023, Spotlight] Rank-N-Contrast: Learning Continuous Representations for Regression

Language: Python - Size: 4.07 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 93 - Forks: 7

onspring-technologies/onspring-api-sdk

.NET SDK for interacting with the Onspring API

Language: C# - Size: 583 KB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 2

Qusic/ContinuityBrowser 📦

Handoff Webpage to Chrome on iOS

Language: Logos - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 1

missystem/math-317-intro_to_analysis

Notes from math Analysis course

Size: 175 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

emilstahl97/Envariabelanalys-SF1625 📦

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.

Size: 192 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0