Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
gusl
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Gustavo Lacerda
Recent Entries
Archive
Reading
Tags
Memories
Profile
"Automated Reasoning and the Discovery of Missing and Elegant Proofs"
Nov
.
29th
,
2005
11:12 am
gusl
Zeilberger should be all over
this book
: Larry Wos & Gail W. Pieper "Automated Reasoning and the Discovery of Missing and Elegant
Proofs"
Profile
gusl
My Website
February
2020
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Most Popular Tags
academic
-
6 uses
ai
-
25 uses
argument_mapping
-
3 uses
argumentation
-
7 uses
autism
-
5 uses
automatic_programming
-
7 uses
behavioral_econ
-
3 uses
biology
-
4 uses
cartoon
-
5 uses
cogsci
-
24 uses
dutch
-
6 uses
econ
-
14 uses
education
-
7 uses
evolution
-
7 uses
formal_ed
-
41 uses
formal_math
-
12 uses
funny
-
5 uses
game_theory
-
3 uses
hci
-
4 uses
human_quirkiness
-
5 uses
information_theory
-
7 uses
language
-
4 uses
linguistics
-
22 uses
linux
-
5 uses
lisp
-
9 uses
logic
-
11 uses
machine_learning
-
16 uses
math
-
12 uses
mathematical_knowledge_management
-
4 uses
media
-
8 uses
music
-
24 uses
my_health
-
7 uses
my_health/breathing
-
12 uses
neuroscience
-
5 uses
phil.comp
-
6 uses
phil.math
-
10 uses
phil.sci
-
20 uses
phil/sci
-
3 uses
philosophy
-
11 uses
physics
-
8 uses
practical_epistemology
-
10 uses
programming
-
18 uses
project_ideas
-
5 uses
qualitative_reasoning
-
4 uses
social_dynamics
-
6 uses
stats
-
17 uses
troubleshooting
-
11 uses
unix
-
4 uses
website
-
3 uses
wiki
-
4 uses
Style Credit
Base style:
Transmogrified
by
Yvonne
Theme:
Shallowest Depths
by
krja
Expand Cut Tags
No cut tags
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
krja