An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: second-order-arithmetic

zetaemme/sec_ord_logic

Final seminar for the Logic for CS class.

Language: TeX - Size: 3.75 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

JaredCorduan/coloring_posets

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

Language: TeX - Size: 640 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

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.

Language: Matlab - Size: 53.1 MB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 4 - Forks: 1

jacobswan1/keras-for-second-order-based-SGD Fork of keras-team/keras

Second order information based SGD

Language: Python - Size: 9.07 MB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1