Search for tag: "arithmetic"

A Global History of Mathematics: An Urgent Human Concern - Agathe Keller

Is it all about proofs? Reflections on the multiple reasonings in Sanskrit mathematical texts Agathe Keller CNRS, University of Paris-Diderot

From  Greg McCracken 0 likes 9 plays 0  

Elementary analytic functions in VTC0 - Emil Jerabek

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Elementary analytic functions in VTC0 by Emil Jerabek, Czech Academy of Sciences

From  Iain Cms 0 likes 2 plays 0  

Survey on bounded arithmetic - Arnold Beckmann

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on bounded arithmetic by Arnold Beckmann, Swansea University

From  Iain Cms 0 likes 12 plays 0  

Multiple and multi-parameter pointwise ergodic theory - Mariusz Mirek

Fourier Analysis @ 200 Multiple and multi-parameter pointwise ergodic theory Mariusz Mirek, Rutgers University 29 June 2022

From  Iain Cms 0 likes 21 plays 0  

CogSci lecture 1 part 2

Second part of first lecture for the course Introduction to Cognitive Science 2021-22, Alex Doumas

From  Alistair Isaac 0 likes 189 plays 0  

BMC BAMC 2021 Minhyong Kim

6-9 April 2021, BMC BAMC 2021 This was a BMC morning talk by Minhyong Kim (University of Warwick) Titled: Some Recent Progress on Diophantine Equations in Two-Variables This recording is subtitled.…

From  Jane Walker 0 likes 47 plays 0  

1.0 LCIintrolec

intro video

From  Paul Schweizer 1 likes 75 plays 0  

Nearest-neighbor regression algorithm

Nearest-neighbor regression algorithm

From  Nigel Goddard 1 likes 2,273 plays 0  

Information Gain

Information Gain

From  Nigel Goddard 2 likes 3,890 plays 0  

Ordinal Attributes

Ordinal Attributes

From  Nigel Goddard 1 likes 2,647 plays 0