Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Mike Nahas's Coq Tutorial mdnahas.github.io
Basics of using Coq to write formal proofs.
-
The Mathematical Components book math-comp.github.io
Book oriented towards mathematically inclined users, focusing on the Mathematical Components library and the SSReflect proof language.
-
Programs and Proofs ilyasergey.net
Book that gives a brief and practically-oriented introduction to interactive proofs in Coq which emphasizes the computational nature of inductive reasoning about decidable propositions via a small set of primitives from the SSReflect proof language.
-
lambda-rust gitlab.mpi-sws.org
Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.
-
Prosa gitlab.mpi-sws.org
Definitions and proofs for real-time system schedulability analysis.
-
CoqInterval gitlab.inria.fr
Tactics for performing proofs of inequalities on expressions of real numbers.
-
Mathematical Components wiki github.com
-
proof-using-helper.py github.com
Modifies source files to include proof annotations for faster parallel proving.
-
move-vernaculars.py github.com
Lifts many vernacular commands and inner lemmas out of proof script blocks.
-
Tactician coq-tactician.github.io
Interactive tool which learns from previously written tactic scripts across all the installed Coq packages and suggests the next tactic to be executed or tries to automate proof synthesis fully.
-
Certified Programming with Dependent Types adam.chlipala.net
Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof.
-
Math github.com
Math utility functions. From Starcoin.
-
vsl.quaternion github.com
Quaternion math module for VSL. Supports 3D rotations, spherical linear interpolation (slerp), and Julia fractal generation.
-
flyology-numa github.com
Memory-node topology reporting, memory placement on a chosen node, and node-bound storage pools.
-
-
Performance Primitives github.com
High-performance math modeled on the Intel Performance Primitives.
-
Trigonometry math functions (by trancexx) autoitscript.com
-
Advanced Math UDF (by scintilla4evr) autoitscript.com
-
Scientific Maths autohotkey.com
-
LMath sourceforge.net
. [FPC] Provides routines and demo programs for numerical analysis, including mathematical functions, probabilities, matrices, optimization, linear and nonlinear equations, integration, Fast Fourier Transform, random numbers, curve fitting, statistics and graphics. It is…
-
Fundamentals Code Library sourceforge.net
(abandoned, more recent fork is here - though it slightly differs in units set, f.ex. no XML. Recent major version 5 here). [Delphi] [FPC] Collection of Delphi / FreePascal code units. Includes libraries for Unicode, Strings, Data Structures, Sockets and Mathematics. // Utils…
-
Blaise sourceforge.net
. [Delphi] Open-source object-oriented scripting language. Language features: Object-oriented; Unicode support; Optional typing, ie dynamic or static typing; Richly typed; Higher-level mathematics support, for example Complex numbers, Rational numbers and Matrices; Virtual…
-
Asphyre aka Platform eXtended Library (PXL) sourceforge.net
. [Delphi] [FPC] Cross-platform framework for developing 2D/3D video games, interactive and scientific applications. It aids the developer with mathematics, hardware control, resource management, displaying real-time graphics and text, handle user input and network…
-
MapFileStats delphitools.info
. [Delphi] Tool that provides simple binary size statistics from .MAP files (any Delphi version up to at least Delphi XE5).
-
ALGLIB alglib.net
. [Delphi] [FPC] Cross-platform numerical analysis and data processing library. It supports several operating systems (Windows and POSIX, including Linux). ALGLIB features include: Data analysis (classification/regression, statistics); Optimization and nonlinear solvers…
-
NAG Fortran Library nag.co.uk
Produced by experts for use in a variety of applications, the NAG Fortran Library has a global reputation for its excellence and, with hundreds of fully documented and tested routines, is the largest collection of mathematical and statistical algorithms available
-
IMSL imsl.com
The IMSL Fortran Numerical Library is the standard for high performance computing commercial mathematics and statistics libraries
-
Test::Harness metacpan.org
Run Perl standard test scripts with statistics
-
Plot Spatial Data / Shapefiles in R youtube.com
From the "math et al" YouTube channel.
-
StatQuest with Josh Starmer youtube.com
The Statistics and Machine Learning in R playlist deals with principal component analysis, random forest, regression, ROC and AUC, and ridge, lasso and elastic-net.
-
David Jablonski youtube.com
The UC Berkeley R Bootcamp playlists include videos on R basics, handling data, performing calculations, programming, graphics, workflows, and statistics.
-
Statistics Globe youtube.com
A collection of short but detailed tutorials on how to work through common problems you will face while using R. Topics include data formatting, reordering data, strings, and ggplot2.
-
Data Analysis and Visualization Using R youtube.com
Topics for the online course Data Analysis and Visualization Using R.
-
Richard Webster youtube.com
Topics include the paste function, the apply family of functions, while and for loops, conditional statements, visualization, removing NAs, and combining data.
-
MarinStatsLectures youtube.com
Topics include descriptive statistics, ANOVA, bootstrapping, linear regression, bivariate analysis, and probability distributions.
-
Numyard youtube.com
Topics include working with dataframes, for loops, basic math, vectors, lists, creating functions, data types, and random sampling.
-
Dragonfly Statistics youtube.com
Topics include numerical computing, generating random walks, markov chains, encoding categorical variables, probability, correlation plots, feature engineering, time series, binary classifiers, models, data.table, confusion matrices, machine learning, geocoding, summary…
-
The Book of R web.itu.edu.tr
The aim of The Book of R: A First Course in Programming and Statistics is to provide a relatively gentle yet informative exposure to the statistical software environment R, alongside some common statistical analyses, so that readers may have a solid foundation from which to…
-
Tutorials Point tutorialspoint.com
The tutorials are grouped into categories (R tutorial, R Data Interfaces, R Charts & Graphs, R Statistics Examples, R Useful Resources) that cover in-depth all the basic needs for someone starting learning the R programming language.
-
Descriptive statistics in R statsandr.com
This article explains how to compute the main descriptive statistics in R and how to present them graphically. Author - Antoine Soetewey.
-
Stats and R statsandr.com
Through his blog, Antoine Soetewey (PhD in statistics) aims at helping academics and professionals working with data to grasp important statistical concepts, and shows how to apply them in R.
-
Statistics Globe statisticsglobe.com
Joachim Schork started this platform to share his statistical know-how and to improve his own statistical skills by discussing with other statisticians and programmers.
-
stat.berkeley - Introduction to Functions stat.berkeley.edu
An introduction to functions in the R language by the organizers of Integrating Computing into the Statistics Curricula (U.C. Berkeley).
-
Subreddit - r/Rlanguage - R Programming Language reddit.com
A Reddit subreddit focused on implementing the R programming language for statistics and data science.
-
Descriptive Statistics rcompanion.org
A tutorial of descriptive statistics which are used to summarize data in a way that provides insight into the information contained in the data. Author: Salvatore S. Mangiafico.
-
Introduction to Data Science - Data Analysis and Prediction Algorithms with R rafalab.github.io
This book started out as the class notes used in the HarvardX Data Science Series. It introduces concepts and skills that can help you tackle real-world data analysis challenges. It covers concepts from probability, statistical inference, linear regression, and machine…
-
Modern Statistics with R modernstatisticswithr.com
From wrangling and exploring data to inference and predictive modelling. The book includes plenty of examples and more than 200 exercises with worked solutions. Author: Måns Thulin.
-
Statistical Inference via Data Science moderndive.com
This is intended to be a gentle introduction to the practice of analyzing data and answering questions using data the way data scientists, statisticians, data journalists, and other researchers would. Authors: Chester Ismay and Albert Y. Kim.
-
Essential Math for Data Science medium.com
An article discussing the key mathematical topics to master to become a better data scientist. Author: Tirthajyoti Sarkar.
-
Learning Statistics with R learningstatisticswithr.com
Learning Statistics with R covers the contents of an introductory statistics class, as typically taught to undergraduate psychology students, focusing on the use of the R statistical software. Author: Danielle Navarro.
- next page of items loading…
