Tag discrete-symbol-manipulation [5 articles] Export Sort

Recent papers classified by the tag discrete-symbol-manipulation.

Hide details

	Zero to Infinity: The Foundations of Physics (Series on Knots and Everything) [My Copy] (17 October 2007) by Peter Rowlands posted to all-possible-scientific-theories all-possible-thoughts alphabets complexities computational-physics dimensionality discrete-symbol-manipulation discreteness dualities duality first-principles formal-physics fundamental-principles hierarchy-of-abstract-machines infinite-rewriting information-theory invariances mathematical-constants mathematical-structure-of-sciences mathematical-structures metalogics metamathematics metaphysics metascience omega-innovating omega-sciences omegainnovating omegasciences order-structures philosophy-of-science physical-constants physical-structures physics rewriting rewriting-systems symbolic-dynamics synthetic-mathematics synthetic-physics synthetic-science toes unified-theories universal-rewriting universality universes by Scis0000002 on 2009-06-27 19:26:56 as
	Derivation of the Schroedinger Equation and the Klein-Gordon Equation from First Principles [My Copy] ArXiv Quantum Physics e-prints (May 2002) by G. Groessing posted to abstract-machines all-physical-theories all-possible-physical-theories all-possible-wave-equations axiomatic axiomatics category-of-theories discrete-symbol-manipulation equations extremal-physics first-principles formal-physics fundamental-principles klein-gordon-equation lagrangians lattice-of-equations mathematical-physics physical-theories principles schroedinger-equation synthetic-physics theoretical-physics wave-equations by Scis0000002 on 2009-05-30 18:52:39 as along with 1 person scis0000001
	Mathematical Foundations for Program Transformations [My Copy] In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321. by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili posted to abstract-machines approximating approximations complexity-classes discrete-symbol-manipulation formal-development formal-language-theory formal-science hierarchy-of-abstract-machines invariances logical-frameworks logical-structures mathematical-structures metalogical-frameworks metamathematics order-structures philosophy-of-science program-transformation program-transformations proof-transformation proof-transformations proving research-frameworks speed-games transformability transformations transformers transforming by Scis0000002 on 2009-05-15 20:11:03 as along with 1 person scis0000001
	Genetic Programming as a Darwinian Invention Machine [My Copy] Genetic Programming (1999), pp. 651-651. by John Koza, Forrest Bennett, Oscar Stiffelman posted to algorithmic-information-theory all-possible-organisms cantor-space category-of-patents category-of-products category-of-specifications category-of-technologies category-of-theories computational-creativity computational-intelligence constructibility discrete-symbol-manipulation discrete-systems epigenetics extremal-biology extremal-physics extremality genetic-programming genome-spaces genomes genomic-spaces goedel-machines hierarchy-of-abstract-machines hierarchy-of-machines hierarchy-of-systems hyperefficiency hyperplanes innovating innovativeness invariances inventing invention-machines invention-theory model-organisms omega-innovating omega-sciences omegainnovating patentability philosophy-of-science physical-systems polytopes quantum-computational-intelligence rewriting scientific-theories support symmetries synthetic-biology technical-systems toes transformability transforming by Scis0000002 on 2008-07-20 18:20:50 as
	Automatic Abstraction of Equations in a Logic of Equality [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2003), pp. 196-213. by Miroslav Velev posted to automating categorification discrete-symbol-manipulation equality equation-discovery equations formal-physics lattice-of-equations by Scis0000002 on 2008-05-08 13:43:36 as

Note: You may cite this page as: http://www.citeulike.org/tag/discrete-symbol-manipulation

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

formal-physics	3
hierarchy-of-abstract-machines	3
invariances	3
philosophy-of-science	3
abstract-machines	2
category-of-theories	2
equations	2
extremal-physics	2
first-principles	2
fundamental-principles	2
lattice-of-equations	2
mathematical-structures	2
metamathematics	2
omega-innovating	2
omega-sciences	2
omegainnovating	2
order-structures	2
rewriting	2
synthetic-physics	2
toes	2
transformability	2
transforming	2
algorithmic-information-theory	1
all-physical-theories	1
all-possible-physical-theories	1
all-possible-thoughts	1
alphabets	1
approximating	1
approximations	1
axiomatic	1
cantor-space	1
categorification	1
category-of-patents	1
category-of-products	1
category-of-specifications	1
category-of-technologies	1
complexities	1
complexity-classes	1
computational-creativity	1
computational-intelligence	1
computational-physics	1
constructibility	1
dimensionality	1
discrete-systems	1
dualities	1
duality	1
epigenetics	1
equality	1
extremal-biology	1
extremality	1
formal-development	1
formal-language-theory	1
formal-science	1
genetic-programming	1
genome-spaces	1
genomes	1
goedel-machines	1
hierarchy-of-systems	1
hyperplanes	1
infinite-rewriting	1
innovating	1
invention-machines	1
invention-theory	1
klein-gordon-equation	1
lagrangians	1
logical-frameworks	1
logical-structures	1
mathematical-constants	1
mathematical-physics	1
mathematical-structure-of-sciences	1
metalogical-frameworks	1
metalogics	1
metaphysics	1
omegasciences	1
patentability	1
physical-structures	1
physical-systems	1
physical-theories	1
physics	1
polytopes	1
program-transformations	1
proof-transformation	1
proof-transformations	1
proving	1
quantum-computational-intelligence	1
research-frameworks	1
rewriting-systems	1
schroedinger-equation	1
speed-games	1
support	1
symmetries	1
synthetic-biology	1
synthetic-mathematics	1
synthetic-science	1
technical-systems	1
theoretical-physics	1
transformers	1
unified-theories	1
universal-rewriting	1
wave-equations	1

Tag discrete-symbol-manipulation [5 articles] Export Sort

Related Tags