|
Size: 521
Comment:
|
Size: 625
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| * | |
| Line 8: | Line 7: |
| {{{#!latex2 \usepackage{graphics,color} %%end-prologue%% \newsavebox{\mysquare} \savebox{\mysquare}{\textcolor{red}{\rule{1in}{1in} } } \usebox{\mysquare} }}} |
[[latex2($\phi = \oint_ \gamma\frac{f'(z)}{f(z)}dz$)]] is a simple example of what a formula can look like. It is however probably better to list all inline formulas using the $$formula$$ so that it looks bigger like [[latex2($$\phi = \oint_ \gamma\frac{f'(z)}{f(z)}dz$$)]] |
This page gives a list of research papers. Each paper should have its own page which should include the Subject, Date, title, notes, and BibTeX entry.
Subject: Boolean Algebras with Linear Cardinatlity Constraints
- ["Quantifier Elimination of First-Order Theory of Boolean Algebras with Linear Cardinatlity Constraints"]
latex2($\phi = \oint_ \gamma\frac{f'(z)}{f(z)}dz$) is a simple example of what a formula can look like. It is however probably better to list all inline formulas using the $$formula$$ so that it looks bigger like latex2($$\phi = \oint_ \gamma\frac{f'(z)}{f(z)}dz$$)