Izbrana poglavja iz računalniške matematike

Pogojev za vključitev v delo ni.

Predavatelj/ica izbere nekatere pomembne teme iz računalniške matematike, kot so na primer:
Vizualizacija grafov in podatkov. Računalniška grafika. Računalniški vid.
Matroidi. Dualnost in povezanost. Linearni in binarni matroidi. Grafični matroidi. Minorji v matroidih.
Teorija iger. Matrične igre. Rešitve in ravnovesja. Negotovost in tveganje. Evolucijska teorija iger.
Bioinformatika. Algoritmi sekvenciranja. Markovski modeli. Filogenija in razvrščanje v skupine. Struktura proteinov.
Orodja za težke probleme. FPT, eksponentni algoritmi, aproksimacijski algoritmi.
Alternativni modeli računanja. Algoritmi za predpomnilnik. Algoritmi za tokove podatkov. Word RAM. Vzporedni algoritmi. Kvantni algoritmi.
Povezave med načrtovanjem gibanja robotov in računsko geometrijo.
Algoritmi za grafe. Ravninski grafi. Povezanost. Drevesna širina.
Računska finančna matematika.

A. Jaklič, A. Leonardis, F. Solina: Segmentation and Recovery of Superquadrics, Computational imaging and vision 20, Kluwer, Dordrecht, 2000.
B. Mohar: Teorija matroidov, DMFAS, Ljubljana, 1996.
S. H. Heap, Y. Varoufakis: Game Theory: A Critical Introduction, Routledge, London, 2004.
N. C. Jones, P. A. Pevzner: An Introduction to Bioinformatics Algorithms, MIT Press, Cambridge MA, 2004.
R. Niedermeier: Invitation to Fixed-Parameter Algorithms, Oxford University Press, 2006.
V. V. Vazirani: Approximation algorithms, Springer-Verlag, Berlin, 2001.
S. M. LaValle: Planning Algorithms, Cambridge University Press, 2006.
A. O. Pittenger: An introduction to Quantum Computing Algorithms, Birkhäuser Boston, 1999.
R. Seydel: Tools for Computational Finance, Springer, 2000.
G. Di Battista, P. Eades, R. Tamassia, I.G. Tollis: Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall, 1998.
C. H. Lampert: Kernel Methods in Computer Vision, Foundations and Trends in Computer Graphics and Vision 4 (2009) 193-285.
N. Nisan, T. Roughgarden, E. Tardos (ur.): Algorithmic Game Theory, Cambridge University Press, 2007.
D.P. Williamson, D.B. Shmoys: The Design of Approximation Algorithms, Cambridge University Press, 2011.
J. JaJa. Introduction to parallel algorithms. Addison-Wesley, 1992.
S. Muthukrishnan: Data Streams: Algorithms and Applications, Foundations & Trends in Theoretical Computer Science, 2005.
Znanstveni članki.

Študent spozna osnove nekaterih pomembnih področij računalniške matematike.

Študentje poznajo in razumejo osnove koncepte, probleme in orodje na različnih področjih računalniške matematike. Povezanost med teorijo in prakso.

Predavanja, seminar, vaje, domače naloge, konzultacije, in samostojno delo študentov.

Izpit iz vaj (2 kolokvija ali pisni izpit) ali homework
Ustni izpit
(ocene: 5 (negativno), 6-10 (pozitivno), ob upoštevanju Statuta UL)

Andrej Bauer:
BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Journal of logic and computation, ISSN 0955-792X, 2009, vol. 19, no. 1, str. 17-43. [COBISS-SI-ID 15325785]
BAUER, Andrej, CLARKE, Edmund, ZHAO, Xudong. Analytica - An experiment in combining theorem proving and symbolic computation. Journal of automated reasoning, ISSN 0168-7433, 1998, vol. 21, no. 3, str. 295-325. [COBISS-SI-ID 10606425]
BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed hypergeometric Gosper-type algorithms. Journal of symbolic computation, ISSN 0747-7171, 1999, let. 28, št. 4-5, str. 711-736. [COBISS-SI-ID 9210969]
Sergio Cabello:
CABELLO, Sergio, KREVELD, Marc van. Approximation algorithms for aligning points. Algorithmica, ISSN 0178-4617, 2003, vol. 37, no. 3, str. 211-232. ,19,105,linkingpublicationresults,1:100117,1. [COBISS-SI-ID 13352793]
CABELLO, Sergio. Approximation algorithms for spreading points. Journal of algorithms, ISSN 0196-6774, 2007, vol. 62, no. 2, str. 49-73. [COBISS-SI-ID 14298201]
CABELLO, Sergio, HAVERKORT, Herman Johannes, KREVELD, Marc van, SPECKMANN, Bettina. Algorithmic aspects of proportional symbol maps. Algorithmica, ISSN 0178-4617, 2010, vol. 58, no. 3, str. 543-565. [COBISS-SI-ID 15151193]