xml-dev - Re: [xml-dev] Decidability

Re: [xml-dev] Decidability

[ Lists Home | Date Index | Thread Index ]

To: Paul Prescod <paul@prescod.net>
Subject: Re: [xml-dev] Decidability
From: Paul Prescod <paul@prescod.net>
Date: Wed, 13 Nov 2002 09:41:03 -0800
Cc: Miles Sabin <miles@milessabin.com>, xml-dev@lists.xml.org
References: <BD2DBD26EE0BAA48B1A425C7BE7923002CFF9F@csmail.cardiff.com> <200211121549.05599.miles@milessabin.com> <3DD1C0FC.50306@prescod.net> <200211131141.10292.miles@milessabin.com> <3DD28814.2020804@prescod.net>
User-agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-US; rv:1.1) Gecko/20020826

Paul Prescod wrote:
> ... Which is to say that it IS likely
> possible to put a constraint of the form "height*width*depth=area".

Just realized in the shower that that isn't a linear equation. I'm not 
convinced that means that there is no equation solver that can handle 
it, but you can't use a standard linear equation solver.

  Paul Prescod

Follow-Ups:
- Re: [xml-dev] Decidability
  - From: Miles Sabin <miles@milessabin.com>

References:
- RE: [xml-dev] XML/RDF
  - From: Micah Dubinko <MDubinko@cardiff.com>
- Re: [xml-dev] equivalentTo vs. XSLT
  - From: Miles Sabin <miles@milessabin.com>
- Decidability
  - From: Paul Prescod <paul@prescod.net>
- Re: [xml-dev] Decidability
  - From: Miles Sabin <miles@milessabin.com>
- Re: [xml-dev] Decidability
  - From: Paul Prescod <paul@prescod.net>

Prev by Date: Re: [xml-dev] Tablet PC ink is XML (maybe SVG)
Next by Date: Re: [xml-dev] Decidability
Previous by thread: Re: [xml-dev] Decidability
Next by thread: Re: [xml-dev] Decidability
Index(es):
- Date
- Thread