Počítačové algebraické systémy (PAS) - publikace ČVUT Praha

Pokud můžete přispět další ještě neuvedenou publikací, prosím o zaslání anotace (včetně diakritiky) podle vzoru (nejlepe přímo v html kódu) na moji adresu nemecek@math.feld.cvut.cz. Případně napište, jaký mám zařadit odkaz na download textu.

I v příštích letech bude potřeba zaplatit udržovací poplatek za multilicenci programu Maple, který si na ČVUT instalovalo už více než 500 uživatelů. Výše poplatku a možnost platby ze společných financí ČVUT závisí i na počtu publikací souvisejících s tímto programem.

Fakulta elektrotechnická

• Bičák, J. - Hospodka, J. - Martinek, P. - Vrbata, J.: "Design of Electric Filters in Maple and through WWW Interface". In: ICECS 2001 - The 8th IEEE International Conference on Electronics, Circuits and Systems. St. Julian´s : ICECS 2001, 2001, vol. 1, p. 259.
• Bičák, J. - Hospodka, J. - Martinek, P.: "Analysis of SI Circuits in MAPLE Program". In: Proceedings of the 15th European Conference on Circuit Theory and Design ECCTD´01. Helsinki : Helsinki University of Technology, 2001, vol. 3, p. 121-124. ISSN 1455-8440.ISBN 951-22-5572-3.
• Bičák, J. - Hospodka, J. - Martinek, P.: "Symbolic Analysis of SC Circuits in Maple". In: ECCTD '99. Torino : Politecnico di Torino, 1999, p. 1079-1082.
• Gregor, J.: "Computers and Active Learning of Mathematics",  SEFI - úvodní vyzvaná přednáška konference, Helsinky, Finland, 1998.
• Gregor, J. - Němeček, A.: "The Impact of Mathematica on Mathematical Education",  In Innovation in Mathematics, Proceedings of the Second International Mathematica Symposium '97, ed. V.Karenen, Rovaniemi Institute of Technology, Rovaniemi, Finland, Computational Mechanics Publications, Southampton Boston, 1997, p.177-183.
• Gregor, J. - Němeček, A.: "Problem Oriented Mathematical Education in Engeneering with Mathematica",  Mathematica Developer Conference for Advanced Users, Oxford, 1994.
• Hrdina, Z.: "Statistická radiotechnika",  skriptum ČVUT, 1996. (Další informace http://radio.feld.cvut.cz/personal/hrdina/ObsahSR.html).
• Hromčík, M., Šebek, M. and Kujan, P.: "New package for effective polynomial computation in Mathematica". The 11 th Mediterranean Conference on Control and Automation (MED´03), Rhodes, Greece, June 18-20, 2003, ISBN 960-87706-0-2.
• Kujan, P., Hromčík, M. and Šebek, M.: "Polynomial design methods in MATHEMATICA". 14th International Conference Process Control 2003, June 8-11, 2003, Štrbské Pleso, Slovakia, Proceedings ISBN 80-227-1902-1, CD-ROM.
• Navara, M., Němeček, A.: "Long-term experience with Maple: Advantages and challenges of Maple 10", In Book of Proceedings, Maple Conference 2006, Wilfrid Laurier University, Maplesoft; Waterloo, Ontario, Canada; Maple in Action, p. 353 - 354, 2006, ISBN 1-897310-13-7. mc2006-nemecek.mw
• Navara, M., Němeček, A.: "Numerical Analysis with Maple", Poster Session of Maple Conference 2005, Maplesoft, Wilfrid Laurier University, Waterloo, Ontario, Canada, 2005.
• Navara, M.: "Piron's and Bell's geometrical lemmas", In: Internat. J. Theoret. Phys. 43 (2004), No. 7, 1587-1594.
• Navara, M., Němeček, A.: " Numerické metody", skriptum, Vydavatelství ČVUT Praha, 142 stran, 62 obrázků, 2003, ISBN 80-01-02689-2.
• Navara, M.: "Computer algebraic systems in proofs and visualization of results related to Gleason's Theorem", In: E.P. Klement, R. Mesiar, E. Drobná, F. Chovanec (eds.) Abstr. 6th Int. Conf. Fuzzy Sets Theory Appl., Military Academy, Liptovský Mikuláš, Slovakia, 2002, 95-96.
• Navara, M., Olšák, P: " Základy fuzzy množin", skriptum, Vydavatelství ČVUT Praha, 136 stran, 56 obrázků, 2002, ISBN 80-01-02585-3.
• Navara, M.: "Less simple Maple - evaluation roles, bugs, and advatages",  Workshop Computer Aided Education in Automatic and Control, Bratislava, M. Huba (ed.), Slovak University of Technology, Bratislava, 1997, p.74-97.
• Navara, M.: "Characterization of state spaces of orthomodular structures",  Proc. Summer School on Real Analysis and Measure Theory, Grado, Italy, 1997, p. 97-123.
• Němeček, A.: "Nové možnosti programu Maple ve výuce matematiky", In Zborník 28. konferencie VŠTEP, JSMF, Slovenská matematická společnost, Žilinská univerzita, p. 249-256, 2004, ISBN 80-8070-287-X. ps pdf
• Němeček, A.: "Portál PUMA pro interaktivní vědecko-technické aplikace", In Zborník 28. konferencie VŠTEP, JSMF, Slovenská matematická společnost, Žilinská univerzita, p. 257-260, 2004, ISBN 80-01-02511-X. ps pdf
• Němeček, A.: "Numerické metody v přímém přenosu", Využití Maple ve výuce a výzkumu na vysokých školách a akademiích věd, Workshoop, Fak. informatiky MU a Fak. stavební VUT Brno, 2002, publikováno na CD ROM.
• Němeček, A.: "The Course of Numerical Methods with Electronic Support", In CTU Reports, Proceedings of Workshoop 2002 (Part A), CTU in Prague, p. 26-27, 2002, ISBN 80-01-02511-X.
• Němeček, A.: "Numerické metody pokaždé jinak", In Sborník semináře Matematika na vysokých školách, JČMF v Praze, ed. L. Herrmann, Herbertov, p. 41-44, 2001.
• Němeček, A.: "Matematika nejen v Mathematice", In Sborník konference MATHEMATICA '99, konference MATHEMATICA '99, Slovenská technická universita Bratislava, KM SjF, KMaDG SvF, Bratislava, Slovensko, p. 99-102, 1999.
• Němeček, A.: "Matematika příjemněji?",  Sborník 25. konference VŠTEZ, ed. V.Kočandrlová, konference Matematika v inženýrském vzdělávání, MtF STU Trnava, JČMF, JSMF, Trnava, Slovensko, p. 181-184, 1998, ISBN 80-7015-648-1.
• Němeček, A.: "Computer Algebra Systems (CAS) -  New Way in Mathematical Teaching",  Workshop '98, part I., ČVUT,  Praha, p. 43-44, 1998.
• Němeček, A.: "Computer Algebra Systems (CAS) in Education",  Workshop '97, part I.,  ČVUT Praha, TU Brno, TU Ostrava, p. 43-44, 1997.
• Němeček, A., Olšák, P.: "Umí počítače matematiku?",   Softwarové noviny, 4, No. 5 (1993), p. 74-80.

    Vybrané práce studentů

• Kujan, P.: "Polynomiální metody syntézy řídících systémů v programu MATHEMATICA" (semestrální a diplomová práce). Implementace efektivních algoritmů pro polynomy a polynomiální matice. Školitel: Ing. Martin Hromčík, 2002-2004 (obhajoba únor 2004).
• Ferkl, L.: "Implementace algoritmů pro návrh robustních regulátorů v programu MAPLE" (semestrální projekt). Tvorba knihovny pro návrh řídicích systémů pomocí polynomiálních metod. Školitel: Ing. Zdeněk Hurák, LS 2002-2003.
• Hamouz, M.: "Možnosti vědeckého kalkulátoru TI-92 ve vztahu k počítačovému algebraickému systému Maple",  bakalářská práce, vedoucí práce A.Němeček (K301), 1998.
• Pavlů, R.: "Využití grafiky počítačových algebraických systémů (PAS) v základech matematiky na FEL",  bakalářská práce, vedoucí práce A. Němeček (K301),1997.
• Svoboda, P.: "Využití grafiky počítačových algebraických systémů (PAS) pro demonstrace řešení direrenciálních rovnic",  bakalářská práce, vedoucí práce A. Němeček (K301), 1997.

Fakulta jaderná a fyzikálně inženýrská

• Drška, L.: "Courseware Development Tool Sets for E-Learning in Exact Sciences". In: CTU Reports, Proceedings of Workshoop 2003 (Part A), CTU in Prague, p. 344-345, 2003, ISBN 80-01-02708-2.
• Drška, L.: "Courseware Development Technologies for E-Learning in Physical Science". In: PTEE 2002: 3rd European Conference on Physics Teaching in Engineering Education, K.U. Leuven, Belgium, 2002, ISBN 90-5682-359-0, pp. W4.
• Drška, L.: "Introduction to Modern Physics: Concepts of a Twin-Learning-Mode Course". In: PTEE 2002: 3rd European Conference on Physics Teaching in Engineering Education, K.U. Leuven, Belgium, 2002, ISBN 90-5682-359-0, pp. D4.
• Drška, L. - Liska, R. - Šiňor, M.: "ICS Support for the Teaching Introductory and Advanced Physics Courses." Workshop '98, ČVUT Praha, 1998.
• Drška, L. - Liska, R. - Šiňor, M.: "Using Integrated Computing Systems and Courseware Packages in Physics Teaching." Workshop '97, ČVUT Praha, 1997.
• Drška, L.: "Teaching of Modern Physics Using Computers: A Complex Approach." Workshop '97, ČVUT Praha, 1997.
• Drška, L. - Limpouch, J. - Liska, R. - Šiňor, M.: "Physical Engineering Education supported by IT." In: First European Conference on Physics Teaching in Engineering Education (PTEE 1997), Copenhagen, Denmark, June 4-6, 1997. Published in the electronic form (http://www.ptee97.cph.ih.dk/).
• Drška, L. - Liska, R. - Šiňor, M. et al.: "A WWW Course on Computer Algebra for Physicists and Enginners." In: First European Conference on Physics Teaching in Engineering Education (PTEE 1997), Copenhagen, Denmark, June 4-6, 1997. Published in the electronic form (http://www.ptee97.cph.ih.dk/).
• Drška, L. et al.: "IT-Based Physics Packages to Support Interrest in the Study of Engineering." In: First European Conference on Physics Teaching in Engineering Education (PTEE 1997), Copenhagen, Denmark, June 4-6, 1997. Published in the electronic form (http://www.ptee97.cph.ih.dk/).
• Drška, L.: "Complex IT Approach to Teaching Modern Physics." In: First European Conference on Physics Teaching in Engineering Education (PTEE 1997), Copenhagen, Denmark, June 4-6, 1997. Published in the electronic form (http://www.ptee97.cph.ih.dk/).
• Drška, L. - Limpouch, J. - Liska, R. - Šiňor, M.: "Informatická pedagogika a příprava odborníků pro špičkové technologie." In: RUFIS 97: Role of Universities in Future Information Society / Úloha Univerzit v budoucí informační společnosti, Praha, 24.-27.září 1997. Sborník příspěvků pro česko-slovenskou část konference. Ediční středisko ČVUT, Praha 1997, p. 79.
• Drška, L. - Limpouch, J. - Liska, R. - Šiňor, M. - Wester, M., - Winkler, F.: "COMPUTER ALGEBRA, Algorithms, Systems and Applications." Published in the electronic form ( http://www-troja.fjfi.cvut.cz/~liska/ca/).
• Drška, L. - Liska, R. - Šiňor, M.: "ICS Support for Teaching Introductory and Advanced Phisics Courses" Published in the electronic form ( http://www-troja.fjfi.cvut.cz/~drska/edu/wctu982/).
• Hlavatý, L. - Šnobl, L.: "Classification of Poisson-Lie T-Dual Models with Two-Dimensional Targets" In: Modern Physics Letters A. 2002, vol. 17, no. 7, p. 429-434.
• Hlavatý, L. - Šnobl, L.: "Principal Chiral Models on Non-Semisimple Groups" In: Journal of Physics A: Mathematical and General. 2001, no. 34, p. 7795-7809.
• Hlavatý, L. - Šnobl, L.: "Solution of the Yang-Baxter System for Quantum Doubles" In: International Journal of Modern Physics A. 1999, vol. 14, no. 19, p. 3029-3058.
• Proška, J.: "Allosteric Modulation of Muscarinic Acetylcholine",   sborník konference Sixth IBRO World Congress of Neuroscience, Praha, 2003, ISBN 80-239-0887-1.
• Šiňor, M. - Drška, L.: "Interactive Physics via Java Applets". In: CTU Reports, Proceedings of Workshoop 2003 (Part A), CTU in Prague, p. 168-169, 2003, ISBN 80-01-02708-2.
• Šiňor, M. - Landa, M.: "Using Point Source Array for Modeling of Oblique Wave Impact on Liquid-Solid Interface". In: CTU Reports, Proceedings of Workshoop 2003 (Part A), CTU in Prague, p. 170-171, 2003, ISBN 80-01-02708-2.
• Šiňor, M. - Drška, L.: "Computer Science Background for Students of Physical Engineering". In: PTEE 2002: 3rd European Conference on Physics Teaching in Engineering Education, K.U. Leuven, Belgium, 2002, ISBN 90-5682-359-0, pp. P14.
• Šiňor, M.: Computer Simulations of Elastic Waves Propagation. In: CTU Reports, Proceedings of Workshoop 2002 (Part A), CTU in Prague, p. 154-155, 2003, ISBN 80-01-02708-2.
• Šiňor, M.: "Computer Algebra Supported Solution of the Elastic Waves Propagation by Method LISA". In: Topical Meeting "LISA and Other Nonlinear Simulation Techniques", ESF Scientific Programme on Nonlinear Acoustic Techniques for Micro-Scale Damage Diagnostics (NATEMIS) Torino, Italy, January 28 - February 1, 2002
  http://kfe.fjfi.cvut.cz/~sinor/r/lisa/natemis2002/
• Šiňor, M. - Liska, R. - Ježdík, R. "Computer Algebra Supported Numerical Solution of Elastic Waves Propagation", In: EUROMECH Colloquium 419: Elastic Waves in Nondestructive Testing Prague, 3-5 October 2000
  http://kfe.fjfi.cvut.cz/~sinor/r/lisa/euromech2000/
Šnobl, L. - Hlavatý, L.: "Classification of Six-Dimensional Real Drinfeld Doubles" In: International Journal of Modern Physics A. 2002, vol. 17, no. 28, p. 4043-4067.
• Šnobl, L. - Hlavatý, L.: "Principal Chiral Models with Non-Constant Metric" In: Czechoslovak Journal of Physics. 2001, vol. 51, no. 12, p. 1441-1446.

Fakulta stavební

• Bubeník, F: "Počítačové algebraické systémy z hlediska výuky",  Sborník 25. konference VŠTEZ, ed. V.Kočandrlová, konference Matematika v inženýrském vzdělávání, MtF STU Trnava, JČMF, JSMF, Trnava, Slovensko, p. 140 - 141, 1998, ISBN 80-7015-648-1.
• Bubeník, F: "Using Software Tools in Mathematical Subjects",  Workshop '98, ČVUT Praha, 1998.
• Černý, J., Vacek, Z.: "O jednom geometrickém modelu pneumatické plochy", Sborník konference Aplimat 2002, pp.139-144, ISBN 80-227-1654-5.
• Černý, J., Kočandrlová, M.: "Geometrie kleneb",  Sborník 18. semináře OS pro geometrii a počítačovou grafiku, 15. - 17.9.1998, Velké Karlovice, (v tisku).
• Černý,J.: "Two Different Concept of Teaching of Descriptive Geometry",  Special SEFI Seminar on Geometry in Engineering Education, Smolenice, August 1997.
• Černý, J.: "Mathematica a geometrie",   Technologické otázky ve vzdělávání, pp. 133-137, Akademia Libroservo, 1997, ISBN 80-85853-28-0.
• Černý, J.: "Anwendung der Geometrie in Bauwesen",  in Ingenieur 2000 - Overinformed - Undergraduated, p. 586-591, Leuchtturm Verlag, 1997, ISBN 3-88064-273-7.
• "Konstruktivní geometrie - křivky a plochy se softwarem Mathematica", skriptum ČVUT, 1998 (Přednáška, cvičení), 56 stran, ISBN 80-01-01965-9
• Kopáčková, M.: "Critical Length of a Column in View of Bifurcation Theory", In: Acta Polytechnica. 2001, vol. 41, no. 1, s. 18-22. ISSN 1210-2709.
• Kopáčková, M., Šejnoha, J., Novotná, E.: "Tuhost a napjatost nosníku zesíleného příložkami", In: Stavební obzor. 2001, roč. 10, č. 5, s. 132-135. ISSN 1210-4027.
• Pultarová, I., Špačková, H.: "Časově-frekvenční analýza zvuku", sborník Konference MATLAB 2001, Praha.
• Pultarová, I., Špačková, H.: "Časově-frekvenční analýza zvukového souboru", sborník Konference MATLAB 2000, Praha.
• Šejnoha, J., Kopáčková, M., Novotná, E.: "Změna tuhosti výškových budov při rekonstrukcích - diskrétní model", In: Stavební obzor. 2001, roč. 10, č. 9, s. 260-262. ISSN 1210-4027.
• Šejnoha, J., Kopáčková, M., Novotná, E.: "Změna tuhosti vý?kových budov při rekonstrukcích - kontinuální model", In: Stavební obzor. 2001, roč. 10, č. 8, s. 225-228. ISSN 1210-4027.
• Šibrava Z.: "Zkušenosti s použitím programu Mathematica",  Sborník 25. konference VŠTEZ, ed. V.Kočandrlová, konference Matematika v inženýrském vzdělávání, MtF STU Trnava, JČMF, JSMF, Trnava, Slovensko, p. 185 - 186, 1998, ISBN 80-7015-648-1.

    Vybrané práce studentů

• Vacek, Z.: "O jednom typu ploch", 2. místo ve Vyčichlově matematické soutěži, 2001
• Jirát, M.: Geometrie lidské postavy, 1. místo ve Vyčichlově matematické soutěži, 2000.
• Hora, Z.: "Dráha kola", 1. místo ve Vyčichlově matematické soutěži, 1999.
• Klimeš, J.: "Geometrie objektů pomocí softwaru Mathematica",  seminární práce, 1. ročník oboru SI, Fsv ČVUT, vedoucí práce J. Černý (K201), 1997
• Strnad, K.: "Obecná šroubovice",  seminární práce, 1. ročník oboru SI, Fsv ČVUT, vedoucí práce J. Černý (K201), 1997
• Šulc, M., Švorc, K.: "Klínové plochy",  ročníková práce, 2. ročnik oboru PSA, Fsv ČVUT, vedoucí práce J. Černý (K201), 1997, práce se učastnila Vyčichlovy matematické soutěže a umístila se na 1. místě.
• J. Charvát: "Skládání pohybu",  seminární práce, 1. ročník oboru SI, Fsv ČVUT, vedoucí práce J. Černý (K201), 1998, práce se učastnila Vyčichlovy matematické soutěže a umístila se na 1. místě.

Fakulta strojní

• Dohnal, G., Vávra, S. - Zlatník, Č.: "Computer Aided Teaching in Mathematics at Technical University",  Workshop '98, ČVUT Praha, 1998.
• Kargerová, M., Kopincová, E., Mertl, P., Nevrla: "Geometrie a grafika pro CAD" (skriptum FSI). ČVUT, Praha 2002.
• Kargerová, M., Kopincová, E., Mertl, P.: "Geometrie pro CAD" (skriptum FSI). ČVUT, Praha 1997, p. 44 - 49.
• Kopincová,E.: "B-spline křivky v prostředí systému Maple", Sborník 18.semináře o geometrii a počítačové grafice. Technologická fakulta VUT, Brno - Zlín, 1998.
• Kopincová, E.: "Různé metody návrhu interpolační křivky", 17. seminář odb. skupiny pro geometrii a počítačovou grafiku, Fakulta aplikovaných věd Západočeské univerzity, Seč u Chrudimi, září 1997.
• Zlatník,Č.: "Počítačové algebraické systémy z různých stran", Řízení osvojovacího procesu XVI. VVŠ PV Vyškov, 1998.
• Zlatník, Č.: "Matematika na vysokých školách podruhé", Pokroky matematiky, fyziky a astronomie 1998/2.
• Zlatník, Č., Beneš, V.: "Computer Algebraic Systems in Teaching Mathematics at Technical University",   Workshop '97, ČVUT Praha, 1997.
• Kopincová, E.: "Různé metody návrhu interpolační křivky", 17. seminář odb. skupiny pro geometrii a počítačovou grafiku, Seč u Chrudimi, září 1997 (sborník je v tisku).

Fakulta dopravní

Fakulta architektury

Semináře a nepublikované přednášky

• Seminář o využití výpočetní techniky na technických VŠ - Technická univerzita v Liberci, 22.-23. října 1999
  • Němeček, A.: "Výuka s podporou PAS", (nepublik. přednáška).
• Využití Maple ve výuce a výzkumu - seminář Fakulty informatiky MU Brno, 3.2.1999
  • Němeček, A.: "Maple v příkladech", (nepublik. přednáška).
• Matematika na vysokých školách - seminář JČMF, Herbertov, září 1997,
  • Černý, J.: "Výuka geometrie a počítače", (nepublik. přednáška).
  • Němeček, A. - Zlatník, Č.: "Počítačový algebraický systém - nový prostředek porozumění matematice", (nepublik. přednáška).
• Využití Maple ve výuce a výzkumu na vysokých školách - seminář FS VUT Brno, květen 1997
  • Němeček, A.: "PAS ve výuce na FEL ČVUT", (nepublik. přednáška).
  • Zlatník, Č.: "PAS na Strojní fakultě ČVUT", (nepublik. přednáška).
• Počítačové algebraické systémy a jejich využití ve výuce na ČVUT - seminář FEL ČVUT, září 1996, propagační seminář s představením nové verze Maple V Release 4, dále přednesli příspěvky: Bartík V. (FEL), Bubeník F. (FSV), Drška L. (FJFI), Němeček A. (FEL), Šiňor M. (FJFI), Zlatník Č. (FSI)