Displaying similar documents to “Jak spolehlivý je počítačový důkaz?”

Skenujeme v Linuxu programem VueScan

Zdeněk Wagner (2004)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

Přednáška představuje program VueScan (shareware, od 7.6.71 je linuxová verze pro osobní potřeby zdarma). Jsou shrnuty základní funkce programu a jsou vysvětleny postupy práce s filmovými i stolními skenery včetně skenerů s dianástavcem. Je popsána i metoda kalibrace skeneru pomocí standardního terče a v závěru je zmíněn program SCARSE pro převod naskenovaných obrázků z barevného prostoru RGB do CMYK pro prepress. Přednáška též obsahuje stručné srovnání s jinými skenovacími programy. ...

Program TeXperience 2008

CSTUG editorial board (2008)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

Program TeXperience 2009

CSTUG editorial board (2009)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

Představení LuaTeXu

Michal Mádr, Pavel Stříž (2009)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

Tento článek ve stručnosti představuje program LuaTeX [čtěte luatech nebo také luáhtech] – ambiciózního následníka programu pdfTeX. Článek se snaží zasadit LuaTeX do kontextu následnických programů TeXu a představit nové možnosti, které tento systém již přináší a měl by v budoucnu přinést. Většina informací v tomto článku byla čerpána z webové stránky projektu LuaTeX, http://www.luatex.org/, s vřelým souhlasem jejich tvůrců.

Spolupráce TeXu se systémem počítačové algebry Sage

Robert Mařík (2012)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

V tomto článku si popíšeme možnosti spolupráce TeXu a volně šiřitelného systému počítačové algebry Sage. Zaměříme se zejména na převod LaTeXového dokumentu do formátu programu Sage a opačný převod z programu Sage do pdf prostřednictvím pdfLaTeXu. Oba způsoby konverze jsou velmi mladé (závěr roku 2009), využívají však ve velké míře podrobně odzkoušené a odladěné programy, jako například program TeX4ht. Dále popíšeme možnosti a výhody volání programu Sage uvnitř LaTeXového souboru protřednictvím...