Wolfram ResearchProductsPurchasingServices & ResourcesAbout UsOur Sites

Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

bilo: bracketed identifier-localized operator, 4.2.1
Authors

M. Barnett
K. Perry
Old MathSource #

0207-290
Revision date

1994-12-19
Description

Helps to produce conventionally styled mathematical discourse, for derivations and proofs in applied mathematics, as described in: M. P. Barnett, "Implicit rule formation in symbolic computation," and M. P. B. & K. R. Perry, "Hierarchical addressing in symbolic computation," in Computers and Mathematics with Applications, 26, 35-50, 1993 & 28, 17-35, 1994, and M. P. B. & K. R. P., "Symbolic computation for electronic publishing," TUGboat, 15 (3) 285-292 Nov. 1994. Facilitates the idiom of labelled equations, identities and other relationships, and the mention of these labels to specify operations on one relationship using another. Allows actions to be targeted on mnemonically specified parts of an expression. Supports production of ASCII and TeX coded documents by interpretation of control files that contain statements to be executed, coded text, and formating information.
Subject

*Mathematica Technology > Programming > Symbolic Computation
Keywords

bilo, rule formation, symbolic computation, Hierarchical addressing, labelled equations, identities, TeX, ASCII, bracketed identifier, localized operator
Downloads Download Mathematica Player

Download
README.4.2.1.txt (341 B) - "Getting Started" documentation
agg.chk (6.1 KB) - corresponding output
agg.test (4.2 KB) - subsidiary file to check actions on aggregates
autorun.m (6.9 KB) - autorun package
bi.algebra (14.8 KB) - bilo module performing algebraic operations
bi.alias (10.7 KB) - bilo module supporting function aliases
bi.predicates (2.8 KB) - bilo module supporting special predicates
bi.root (1.6 KB) - bilo module performing basic operations
bi.ruleFormation (4.4 KB) - bilo module that constructs rules
bi.target (18.3 KB) - bilo module for hierarchical addressing
bilo.m (999 B) - head file of the bilo package
coll.chk (16.6 KB) - corresponding output
coll.test (13.2 KB) - subsidiary control file to check collection
dist.chk (6.6 KB) - corresponding output
dist.test (4.8 KB) - subsidiary control file to check distribution
endTest (218 B) - subsidiary control file to end validation
fact.chk (1.2 KB) - corresponding output
fact.test (612 B) - subsidiary control file to check factoring
firsym.chk (15 KB) - corresponding output
firsym.test (11.4 KB) - verifies work cited as 1 in ld421.tex/ps
had1.chk (60.6 KB) - output from had1.test
had1.extra (118 B) - used by had1.test
had1.ps (224.4 KB) - corresponding postscript file
had1.test (38.1 KB) - verifies all results in had1.tex
had1.tex (72.6 KB) - account of hierarchical addressing, LaTeX
had2.chk (24.1 KB) - corresponding output
had2.extra (2.3 KB) - used by had2.test
had2.test (12.5 KB) - verifies work cited as 2 in ld421.tex/ps
ld421.ps (106.7 KB) - overview of distribution files, PostScript
ld421.tex (19.7 KB) - overview of distribution files, LaTeX
pred.chk (6.4 KB) - corresponding output
pred.test (4.6 KB) - subsidiary file to check predicates
rel.chk (3.1 KB) - corresponding output
rel.test (1.8 KB) - subsidiary to check actions on relationships
root.chk (2.9 KB) - corresponding output
root.test (1.8 KB) - subsidiary file to check some basic actions
rule.chk (7.7 KB) - corresponding output
rule.test (5.2 KB) - subsidiary file to check rule formation
runThrough (653 B) - control file for overall validation
ssk.chk (4.5 KB) - corresponding output
ssk.test (3.3 KB) - subsidiary to check sorting and skeletalizing
startTest (299 B) - subsidiary control file to start validation
summary.chk (796 B) - corresponding output
testBilo (25 B) - command line file for overall validation
tgt1.chk (7.7 KB) - corresponding output
tgt1.test (5.5 KB) - subsidiary file to check addressing
tgt2.chk (6 KB) - corresponding output (
tgt2.test (4 KB) - subsidiary file to check further addressing
trig.chk (18.7 KB) - corresponding output
trig.test (11.3 KB) - subsidiary to check actions on trig functions
u.alias (5.2 KB) - bilo module to export aliases
u.autorun (981 B) - autorun module to import/export variables
u.primary (6.9 KB) - bilo module to import/export variables


 © 2008 Wolfram Research, Inc.  Terms of Use  Privacy Policy |
Sign up for our newsletter: