The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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...