#

second-order-arithmetic

Here are 5 public repositories matching this topic...

HenryChen-CH / Deep-neural-network-Second-Order-Optimization

I try to use Hessian-free optimization to train the deep neural network. The training is based on the MNIST data set.

deep-neural-networks neural-network matlab hessian second-order-arithmetic

Updated Nov 27, 2014
MATLAB

jacobswan1 / keras-for-second-order-based-SGD

Second order information based SGD

deep-learning optimization sgd second-order-arithmetic

Updated Oct 26, 2017
Python

zetaemme / sec_ord_logic

Final seminar for the Logic for CS class.

latex logic beamer second-order-arithmetic

Updated Jun 30, 2022
TeX

JaredCorduan / coloring_posets

Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics

theme math logic second-order-arithmetic forcing ramsey-property

Updated May 10, 2017
TeX

Ruqing1963 / reverse-math-physics

How much infinity does physics need? Fekete lemma, c-function IR limits, Cantor scaling exponents and limit-set connectivity are each equivalent to ACA0 over RCA0; computable moduli vs uncomputable limits and the empirical boundary (Paper 10)

python ising-model infinity fractals mathematical-logic second-order-arithmetic conformal-field-theory computability-theory reverse-mathematics foundations-of-physics thermodynamic-limit chaitin-omega computable-analysis

Updated Oct 7, 2026
TeX

Add this topic to your repo

To associate your repository with the second-order-arithmetic topic, visit your repo's landing page and select "manage topics."