[ISSAC-ANNOUNCE] Call for Participation - ISSAC 2008 ... polynomial / differential / difference equations, linear algebra, number ... theory, group and invariant theory, geometric computing. ... Sergei Abramov, Russian Academy of Sciences, Russia ...Exact algorithms and software in optimization and polyhedral computation. ... (comp.specification.z)
Re: Category Theory of Algorithms ...programming language theory-, where you -do- compose separate pieces ... One of the reasons that I wanted an algebra of algorithms... thought that by attempting a formalization of the algorithm, ... (comp.theory)
Re: Category Theory of Algorithms ... it's possible to take some small set of simple algorithms,... An, Algebra or Calculus of Algorithms, if you will. ...programming believe that one can live by the lambda calculus ... (comp.theory)
Re: Category Theory of Algorithms ... study of the mathematical properties of algorithms (as a mathematical ... that was simple and concise.... The area of studying algorithms as mathematical objects, ... An, Algebra or Calculus of Algorithms, if you will. ... (comp.theory)