The {open_quotes}unknown{close_quotes} in computer algebra
Journal Article
·
· Programming and Computer Software
OSTI ID:115013
- Univ. of Bath (United Kingdom)
Computer algebra systems have to deal with the confusion between {open_quotes}programming variables{close_quotes} and {open_quotes}mathematical symbols{close_quotes}. We claim that they should also deal with {open_quotes}unknowns{close_quotes}, i.e., elements whose values are unknown, but whose type is known. For example, x{sup p} {ne} x if x is a symbol, but x{sup p} = x if x {epsilon} GF(p). We show how we have extended Axiom to deal with this concept.
- OSTI ID:
- 115013
- Journal Information:
- Programming and Computer Software, Journal Name: Programming and Computer Software Journal Issue: 1 Vol. 20; ISSN PCSODA; ISSN 0361-7688
- Country of Publication:
- United States
- Language:
- English
Similar Records
Chromogravity explains {open_quotes}strong gravity{close_quotes}
Comment on {open_quote}{open_quote}Why quantum mechanics cannot be formulated as a Markov process{close_quote}{close_quote}
Symmetry algebra of the planar anisotropic quantum harmonic oscillator with rational ratio of frequencies and {open_quotes}pancake{close_quotes} nuclei
Technical Report
·
Sun Feb 28 23:00:00 EST 1993
·
OSTI ID:10138036
Comment on {open_quote}{open_quote}Why quantum mechanics cannot be formulated as a Markov process{close_quote}{close_quote}
Journal Article
·
Thu Aug 01 00:00:00 EDT 1996
· Physical Review A
·
OSTI ID:286647
Symmetry algebra of the planar anisotropic quantum harmonic oscillator with rational ratio of frequencies and {open_quotes}pancake{close_quotes} nuclei
Journal Article
·
Fri Mar 31 23:00:00 EST 1995
· Bulletin of the American Physical Society
·
OSTI ID:374794