Fast & Accurate Randomized Algorithms for Linear Systems and Eigenvalue Problems

mitmath/18335 29 Oct 2021

This paper develops a new class of algorithms for general linear systems and eigenvalue problems.

Numerical Analysis Numerical Analysis 65F10, 65F15, 65F25

OpEn: Code Generation for Embedded Nonconvex Optimization

alphaville/optimization-engine 29 Feb 2020

We present Optimization Engine (OpEn): an open-source code generation tool for real-time embedded nonconvex optimization, which implements a novel numerical method.

Optimization and Control Numerical Analysis Numerical Analysis

Undergraduate Lecture Notes in De Rham-Hodge Theory

chakravala/Grassmann.jl 31 Jul 2008

These lecture notes in the De Rham-Hodge theory are designed for a 1-semester undergraduate course (in mathematics, physics, engineering, chemistry or biology).

Differential Geometry Mathematical Physics Mathematical Physics

Simple Iterative Incompressible Smoothed Particle Hydrodynamics

pypr/pysph 6 Aug 2019

A novel approach is used to ensure homogeneous particle distributions and improved boundary conditions.

Numerical Analysis Numerical Analysis Computational Physics

Optimization-Based Collision Avoidance

XiaojingGeorgeZhang/OBCA 10 Jun 2018

The proposed reformulation does not introduce approximations, and applies to general obstacles and controlled objects that can be represented in an n-dimensional space as the finite union of convex sets.

Optimization and Control Robotics Systems and Control

On the homotopy groups of spheres in homotopy type theory

HoTT/HoTT-Agda 19 Jun 2016

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory.

Algebraic Topology Logic in Computer Science Logic

PowerModels.jl: An Open-Source Framework for Exploring Power Flow Formulations

lanl-ansi/PowerModels.jl 6 Nov 2017

This work provides a brief introduction to the design of PowerModels, validates its implementation, and demonstrates its effectiveness with a proof-of-concept study analyzing five different formulations of the Optimal Power Flow problem.

Optimization and Control Computational Engineering, Finance, and Science

MathOptInterface: a data structure for mathematical optimization problems

jump-dev/mathoptinterface.jl 16 Sep 2020

We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets.

Optimization and Control

Generalized Sinkhorn iterations for regularizing inverse problems using optimal mass transport

odlgroup/odl 7 Dec 2016

In particular we consider a limited-angle computerized tomography problem, where a priori information is used to compensate for missing measurements.

Optimization and Control 49N45, 90C25, 94A08

Probability package for Macaulay2

Macaulay2/M2 19 Dec 2022

We introduce the Probability package for Macaulay2, which provides an interface for users to compute probabilities and generate random variates from a wide variety of univariate probability distributions.

Algebraic Geometry Probability 60-04, 14-04