Stack Exchange
sign up | log in |

Mathematics
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

rwallace

less info
meta site favicon meta user | stack exchange network profile network profile
160 reputation
4
bio website ayane.eu
location
age
visits member for 2 years
seen Oct 28 '12 at 18:37
stats profile views 6

160 reputation
 bio website ayane.eu visits member for 2 years
4 badges
 location seen Oct 28 '12 at 18:37
summary answers questions tags badges favorites bounties reputation activity

3 Questions

votes activity newest
4
 What is the Pacman lemma?
2
 Superposition calculus and equality factoring
1
 Knuth-Bendix ordering and the one unary function

160 Reputation

+5 Knuth-Bendix ordering and the one unary function
+10 Superposition calculus and equality factoring
+5 Superposition calculus and equality factoring
+5 What is the Pacman lemma?
view more

1 Answer

votes activity newest
2
 Superposition calculus and equality factoring

4 Tags

2
automated-theorem-proving × 3
0
measure-theory
2
logic × 3
0
real-analysis

16 Accounts

Stack Overflow Stack Overflow 3,760 rep 42053
Super User Super User 485 rep 410
Programmers Stack Exchange Programmers 470 rep 48
Theoretical Computer Science Stack Exchange Theoretical Computer Science 197 rep 4
Mathematics Stack Exchange Mathematics 160 rep 4
stack exchange network profile view more

4 Badges

recent class name
 Supporter  Student
 Scholar  Teacher

0 Active bounties

active offered earned
This user has no active bounties

3 Votes Cast

all time   by type  
3 up 0 question
0 down 3 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.24.702