tag :: toread math

Lesezeichen (verstecken)103
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1[1904.02539] An introduction to functional analysis for science and engineering
functional analysis
vor 9 Monaten von @bshanks
alle anzeigen
functionalanalysis
math
toread
functionalanalysismathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Functions are Vectors
https://thenumb.at/Functions-are-Vectors/
vor 9 Monaten von @bshanks
alle anzeigen
functionalanalysis
math
toread
functionalanalysismathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2The Modern Algorithmic Toolbox (CS168), Spring 2022
https://web.stanford.edu/class/cs168/index.html
vor 2 Jahren von @bshanks
alle anzeigen
algorithm
cs
math
probability
toread
algorithmcsmathprobabilitytoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Universality out of order | Nature Communications
https://www.nature.com/articles/s41467-022-29955-5
vor 2 Jahren von @bshanks
alle anzeigen
math
network
order
stats
toread
universality
mathnetworkorderstatstoreaduniversality
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Mathematics For Blondes
https://www.mathforblondes.com/
vor 3 Jahren von @bshanks
alle anzeigen
math
toread
mathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1The Simple Math Behind the Mighty Roots of Unity | Quanta Magazine
https://www.quantamagazine.org/the-simple-math-behind-the-mighty-roots-of-unity-20210923/
vor 3 Jahren von @bshanks
alle anzeigen
math
toread
mathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1A Mathematician’s Guided Tour Through High Dimensions | Quanta Magazine
https://www.quantamagazine.org/a-mathematicians-guided-tour-through-high-dimensions-20210913/
vor 3 Jahren von @bshanks
alle anzeigen
dimension
math
toread
dimensionmathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1foundations - Why is it worth spending time on type theory? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/567265/why-is-it-worth-spending-time-on-type-theory
vor 3 Jahren von @bshanks
alle anzeigen
categorytheory
foundation
hott
math
settheory
toread
categorytheoryfoundationhottmathsettheorytoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1type theory in nLab
https://ncatlab.org/nlab/show/type+theory
vor 3 Jahren von @bshanks
alle anzeigen
hott
math
toread
hottmathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1gentzler cut proof theory - Google Search
https://www.google.com/search?safe=active&client=ubuntu&hs=9H2&channel=fs&sxsrf=ALeKk00iujoPGvwQZJBoa_tUpy4sHiDc8A%3A1590040788503&ei=1BjGXoCpHojz-gSj1aGwDg&q=gentzler+cut+proof+theory&oq=gentzler+cut+proof+theory&gs_lcp=CgZwc3ktYWIQAzoECAAQRzoFCCEQoAE6BQghEKsCOgcIIRAKEKABUPq6AVj9xgFgiMkBaABwAXgAgAF8iAHyCpIBAzUuOJgBAKABAaoBB2d3cy13aXo&sclient=psy-ab&ved=0ahUKEwiA44HDo8TpAhWIuZ4KHaNqCOYQ4dUDCAs&uact=5
vor 3 Jahren von @bshanks
alle anzeigen
logic
math
proof
toread
logicmathprooftoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Modal Logic Introductory Lecture - ml-lec1.pdf
http://ai.stanford.edu/~epacuit/classes/modal-spr2012/ml-lec1.pdf
vor 3 Jahren von @bshanks
alle anzeigen
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1ml-notes.pdf
http://ai.stanford.edu/~epacuit/classes/logicai-cmu/ml-notes.pdf
vor 3 Jahren von @bshanks
alle anzeigen
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Modal Logic for Open Minds
http://web.stanford.edu/group/cslipublications/cslipublications/site/9781575865980.shtml
vor 3 Jahren von @bshanks
alle anzeigen
book
logic
math
modal
toread
booklogicmathmodaltoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1CS352
Glabbeek
vor 3 Jahren von @bshanks
alle anzeigen
Glabbeek
algebraic
chu
concurrency
cs353
dynamic
logic
math
pratt
toread
Glabbeekalgebraicchuconcurrencycs353dynamiclogicmathpratttoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Sequent calculus - Wikipedia
https://en.wikipedia.org/wiki/Sequent_calculus
vor 3 Jahren von @bshanks
alle anzeigen
logic
math
toread
logicmathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Proof calculus - Wikipedia
https://en.wikipedia.org/wiki/Proof_calculus
vor 3 Jahren von @bshanks
alle anzeigen
logic
math
toread
logicmathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Calculus By and For Young People Worksheets.pdf
http://mathman.biz/materials/Calculus%20By%20and%20For%20Young%20People%20Worksheets.pdf
vor 3 Jahren von @bshanks
alle anzeigen
intro
math
toread
intromathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2AT.pdf
http://pi.math.cornell.edu/~hatcher/AT/AT.pdf
vor 3 Jahren von @bshanks
alle anzeigen
book
intro
math
topology
toread
bookintromathtopologytoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1robert ghrist home page
https://www2.math.upenn.edu/~ghrist/notes.html
vor 3 Jahren von @bshanks
alle anzeigen
book
intro
math
topology
toread
bookintromathtopologytoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Algebras we love
https://kubuszok.com/2018/algebras-we-love/
vor 3 Jahren von @bshanks
alle anzeigen
algebra
math
toread
algebramathtoread
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags

⟨⟨
⟨
1
2
3
⟩
⟩⟩

Publikationen (verstecken)3
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

8An introduction to probability theory and its applications
W. Feller. Wiley, New York, (1968)
vor 12 Jahren von @jaeschke
alle anzeigen
math
probability
theory
toread
mathprobabilitytheorytoread
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
8An Ontology for Engineering Mathematics
T. Gruber, und G. Olsen. Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27, Seite 258-269. Morgan Kaufmann Publishers, (1994)
vor 14 Jahren von @wnpxrz
alle anzeigen
math
ontology
proj:o4p
toread
mathontologyproj:o4ptoread
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3Mechanizing Proof: Computing, Risk, and Trust
D. MacKenzie. The MIT Press, (Oktober 2001)
vor 17 Jahren von @jaeschke
alle anzeigen
computer
computing
history
math
proof
risk
toread
trust
computercomputinghistorymathproofrisktoreadtrust
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

Lesezeichen (verstecken)103
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1[1904.02539] An introduction to functional analysis for science and engineering

1Functions are Vectors

2The Modern Algorithmic Toolbox (CS168), Spring 2022

1Universality out of order | Nature Communications

1Mathematics For Blondes

1The Simple Math Behind the Mighty Roots of Unity | Quanta Magazine

1A Mathematician’s Guided Tour Through High Dimensions | Quanta Magazine

1foundations - Why is it worth spending time on type theory? - Mathematics Stack Exchange

1type theory in nLab

1gentzler cut proof theory - Google Search

1Modal Logic Introductory Lecture - ml-lec1.pdf

1ml-notes.pdf

1Modal Logic for Open Minds

1CS352

1Sequent calculus - Wikipedia

1Proof calculus - Wikipedia

1Calculus By and For Young People Worksheets.pdf

2AT.pdf

1robert ghrist home page

1Algebras we love

Publikationen (verstecken)3
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

8An introduction to probability theory and its applications

8An Ontology for Engineering Mathematics

3Mechanizing Proof: Computing, Risk, and Trust

Stöbern

Verwandte Tags

Lesezeichen (verstecken)103 Anzeigeallesnur LesezeichenLesezeichen pro Seite5102050100 sortieren nachhinzugefügt amTitel RSSBibTeXXML

Publikationen (verstecken)3 Anzeigeallesnur PublikationenPublikationen pro Seite5102050100 sortieren nachhinzugefügt amTitelAutorErscheinungsdatumEintragstypHilfe für erweiterte Sortierung... RSSBibTeXRDFmehr...

Stöbern

Verwandte Tags

Lesezeichen (verstecken)103
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Publikationen (verstecken)3
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...