Proving and Programming Cristian S. Calude www.cs.auckland.ac.nz/~cristian (joint work with Elena Calude and Solomon Marcus) Cristian S. Calude www.cs.auckland.ac.nz/~cristian (joint work with Elena Calude and Solomon M

Source URL: www.wolframscience.com

CURRICULUM VITAE José Félix Gomes da Costa 2015 TABLE OF CONTENTS

Source URL: fgc.math.ist.utl.pt

• Faculty of Science
• Academic degree
• Cristian S. Calude
• Portugal
• Portuguese people
• Academia
• Instituto Superior Técnico
• Technical University of Lisbon
• University of Lisbon

Call for Papers or Posters Eighth International Conference on UNCONVENTIONAL COMPUTATION UC 2009 University of Azores, Ponta Delgada – Portugal

Source URL: www.uc09.uac.pt

• Cristian S. Calude
• Grzegorz Rozenberg
• Arto Salomaa
• Selim Akl
• Michael Dinneen
• Geography of Portugal
• Hava Siegelmann
• Ferdinand Peper
• Unconventional computing
• Year of birth missing
• Academia
• Azores

Journal of Universal Computer Science, vol. 9, no[removed]), [removed]submitted: 6/6/03, accepted: [removed], appeared: [removed] © J.UCS

Source URL: www.cs.auckland.ac.nz

• Integer sequences
• Fellows of the Royal Society
• Number theorists
• Taxicab number
• 1729
• Cristian S. Calude
• Factorial
• G. H. Hardy
• Pi
• Mathematics
• Number theory
• Srinivasa Ramanujan