×

Found 21 Documents (Results 1–21)

CindyGL: authoring GPU-based interactive mathematical content. (English) Zbl 1434.68612

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 359-365 (2016).
MSC:  68U05 68V25
PDF BibTeX XML Cite
Full Text: DOI

CindyJS plugins – extending the mathematical visualization framework. (English) Zbl 1434.68622

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 327-334 (2016).
MSC:  68U05 68U15 68V25
PDF BibTeX XML Cite
Full Text: DOI

Panoptes: an exploration tool for formal proofs. (English) Zbl 1291.68339

Autexier, Serge (ed.) et al., Proceedings of the 8th international workshop on user interfaces for theorem provers (UITP 2008), Montréal, Canada, August 22, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 226, 39-48 (2009).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Crystal cell and space lattice symmetries in Clifford geometrc algebra. (English) Zbl 1087.15527

Simos, Theodore S. (ed.) et al., ICNAAM 2005. International conference on numerical analysis and applied mathematics 2005. Official conference of the European Society of Computational Methods in Sciences and Engineering (ESCMSE), Rhodes, Greek, September 16–20, 2005. Weinheim: Wiley-VCH (ISBN 3-527-40652-2/hbk). 937-941 (2005).
MSC:  15A66 82D25
PDF BibTeX XML Cite

Generating 3D digital objects from 2D bitmap files. (English) Zbl 1085.68730

Simos, Theodore S. (ed.) et al., ICNAAM 2005. International conference on numerical analysis and applied mathematics 2005. Official conference of the European Society of Computational Methods in Sciences and Engineering (ESCMSE), Rhodes, Greek, September 16–20, 2005. Weinheim: Wiley-VCH (ISBN 3-527-40652-2/hbk). 628-630 (2005).
MSC:  68U10
PDF BibTeX XML Cite

A textbook for graphics programming. Foundations, programming, applications. With two CD-ROMs. (Lehrbuch der Grafikprogrammierung. Grundlagen, Programmierung, Anwendung. Mit 2 CD-ROMs.) (German) Zbl 1047.68154

Lehrbücher der Informatik. Heidelberg: Spektrum Akademischer Verlag (ISBN 3-8274-1028-2/hbk). xvi, 469 S. (2004).
PDF BibTeX XML Cite

Visualization of level sets and singular surfaces in differential games. (English) Zbl 1020.68092

Handlovicova, Angela (ed.) et al., Algoritmy 2000. Conference on scientific computing. Proceedings of contributed papers and posters. Vysoke Tatry, Podbanske, Slovakia, September 10-15, 2000. Bratislava: Slovenská Technická Univ. 196-206 (2001).
MSC:  68U05
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software