Bibliography

[1]     Κλαύδιος Πτολεμαος1 . Μαθηματική Σύνταξις2 .

[2]     Nicolaus Copernicus (Nikolaus Kopernikus). De revolutionibus orbium coelestium. J. Petreium, Norimbergæ, 1543.

[3]     H. A. Lorentz. Versuch einer Theorie der electrischen und optischen Erscheinungen in bewegten Körpern. 1895.

[4]     Albert Einstein. Prinzipielles zur allgemeinen Relativitätstheorie. Annalen der Physik, 55:241–244, 1918.

[5]     Πλάτων3 . Πολιτεία4 .

[6]     Willhelm Schickard (1623). Schickardi machina arithmetica. Kepler biography, 1718.

[7]     Charles Babbage. Observations on the Application of Machinery to the Computation of Mathematical Tables. Mem. Astron. Soc, 1:311–314, 1822.

[8]     Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2 edition, August 2006.

[9]    American National Standards Institute, 1430 Broadway, New York, NY 10018, USA. ANSI Fortran X3.9-1966, 1966.

[10]    International Organization for Standardization, Geneva, Switzerland. ISO/IEC 1539-1:2010, 2010.

[11]    American National Standards Institute, 1430 Broadway, New York, NY 10018, USA. American National Standard Programming Language C, ANSI X3.159-1989, December 1989.

[12]    International Organization for Standardization, Geneva, Switzerland. ISO/IEC 9899:1999, 1999.

[13]    GNU. GNU Compiler Collection (GCC). http://gcc.gnu.org/.

[14]    P. Wegner. Concepts and Paradigms of Object-Oriented Programming. SIGPLAN OOPS Mess., 1(1):7–87, 1990.

[15]    R. Garcia, J. Järvi, A. Lumsdaine, J. Siek, and J. Willcock. An Extended Comparative Study of Language Support for Generic Programming. J. of Functional Programming, 17(2):145–205, March 2007.

[16]    Haskell B. Curry, Robert Feys, and William Craig. Combinatory Logic . North-Holland Pub. Co., Amsterdam, 1958.

[17]    Paul Hudak. Conception, evolution, and application of functional programming languages. ACM Computing Surveys, 21:359–411, 1989.

[18]    J. Backus. Can Programming be Liberated from the Von Neumann Style?: A Functional Style and its Algebra of Programs. Commun. ACM, 21(8):613–641, August 1978.

[19]    D. R. Musser and A. A. Stepanov. Generic Programming. In Proc. of the ISSAC’88 on Symb. and Alg. Comp., pages 13–25, London, UK, 1988. Springer.

[20]    J. C. Dehnert and A. A. Stepanov. Fundamentals of Generic Programming. Springer series Lecture Notes in Computational Sciene (LNCS), pages 1–11, 1998.

[21]    T. Geraud and A. Duret-Lutz. Generic Programming Redesign Pattern. In Proc. of the 5th Conf. on Pattern Lang. of Progr. (EuroPLoP 2000), Irsee, Germany, 2000.

[22]    G. Dos Reis and J. Jarvi. What is Generic Programming? In Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf., San Diego, CA, USA, October 2005.

[23]    Brian Cantwell Smith. Procedural Reflection in Programming Languages. PhD thesis, Massachusetts Institute of Technology, Laboratory for Computer Science, 1982.

[24]    S. Peyton Jones and J. Hughes (Eds.). Haskell 98: A Non-Strict, Purely Functional Language. Technical report, February 1999.

[25]    J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, Third Edition. Addison Wesley, 2005.

[26]    John McCarthy. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I. Communications of the ACM, 3(4):184–195, 1960.

[27]    Python Software Foundation. Python Programming Language. http://www.python.org/.

[28]    R. Heinzl, P. Schwaha, F. Stimpfl, and S. Selberherr. Parallel Library-Centric Application Design by a Generic Scientific Simulation Environment. In Proc. of the POOSC, Paphos, Cyprus, July 2008.

[29]    P. Schwaha, R. Heinzl, F. Stimpfl, and S. Selberherr. Synergies in Scientific Computing by Combining Multi-Paradigmatic Languages for High-Performance Applications. In Proc. of the POOSC, Paphos, Cyprus, July 2008.

[30]    IEEE Task P754. ANSI/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic. IEEE, New York, 1985.

[31]    T. L. Veldhuizen. Using C++ Template Metaprograms. C++ Report, 7(4):36–43, May 1995. Reprinted in C++ Gems, ed. Stanley Lippman.

[32]    D. Abrahams and A. Gurtovoy. C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ in Depth Series). Addison-Wesley, 2004.

[33]    R. Garcia, J. Järvi, A. Lumsdaine, J. Siek, and J. Willcock. A Comparative Study of Language Support for Generic Programming. In Proc. of the 18th Annual ACM SIGPLAN, pages 115–134, New York, NY, USA, 2003. ACM Press.

[34]    Boost. Boost Phoenix 2.0. http://www.boost.org/libs/spirit/phoenix.

[35]    P.J. Plauger, M. Lee, D. Musser, and A. A. Stepanov. C++ Standard Template Library. Prentice Hall PTR, Upper Saddle River, NJ, USA, 2000.

[36]    M. Zalewski and S. Schupp. Change Impact Analysis for Generic Libraries. In Proc. of 21st IEEE Intl. Conf. on Software Maintenance, September 2006.

[37]    Douglas Gregor. High-level Static Analysis for Generic Libraries. Dissertation, Rensselaer Polytechnic Institute, May 2004.

[38]    M. H. Austern. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley, Boston, MA, USA, 1998.

[39]    A. Alexandrescu. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley, Boston, MA, USA, 2001.

[40]    J. Järvi, D. Gregor, J. Willcock, A. Lumsdaine, and J. G. Siek. Algorithm Specialization in Generic Programming - Challenges of Constrained Generics in C++. In Proc. of the ACM SIGPLAN 2006 Conf. on Programming Language Design and Implementation, New York, NY, USA, June 2006. ACM Press.

[41]    D. Gregor, J. Järvi, J. Siek, B. Stroustrup, and G.D. Reis ADN A. Lumsdaine. Concepts: Linguistic Support for Generic Programming in C++. SIGPLAN Not., 41(10):291–310, 2006.

[42]    J. Siek, J. G. Siek, and Andrew Lumsdaine. Essential Language Support for Generic Programming. In PLDI ’05: Proc. of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 73–84, New York, NY, USA, 2005. ACM Press.

[43]    A. Priesnitz and S. Schupp. From Generic Invocations to Generic Implementations. In Proc. of the POOSC, Technical Report, Nantes, France, July 2006.

[44]    J. Siek and A. Lumsdaine. Mayfly: A Pattern for Lightweight Generic Interfaces, July 1999.

[45]    L. Lee and A. Lumsdaine. Generic Programming for High Performance Scientific Applications. In JGI ’02: Proc. of the 2002 joint ACM-ISCOPE Conf. on Java Grande, pages 112–121, New York, NY, USA, 2002. ACM Press.

[46]   J. Järvi, A. Lumsdaine, D. Gregor, M. Kulkarni, D. Musser, and S. Schupp. Generic Programming and High-Performance Libraries. In Next Generation Software Program Workshop, Santa Fe, 2004.

[47]    D. Gregor, J. Järvi, M. Kulkarni, A. Lumsdaine, D. Musser, and S. Schupp. Generic Programming and High-Performance Libraries. Intl. J. of Parallel Prog., 33(2), June 2005.

[48]    R. Heinzl, M. Spevak, P. Schwaha, and T. Grasser. A High Performance Generic Scientific Simulation Environment. In Proc. of the PARA Conf., page 61, Umea, Sweden, June 2006.

[49]    R. Heinzl, M. Spevak, and P. Schwaha. Concepts for High Performance Generic Scientific Computing. In Proc. EEICT 2006, volume 4, pages 446–450, Brno, Czech Rep., April 2006.

[50]    R. Heinzl, M. Spevak, P. Schwaha, and T. Grasser. Concepts for High Performance Generic Scientific Computing. In Proc. of the 5th MATHMOD, volume 1, Vienna, Austria, February 2006.

[51]    R. Heinzl, P. Schwaha, and S. Selberherr. A High Performance Generic Scientific Simulation Environment. In B. Kaagström et al., editor, Lecture Notes in Computer Science, volume 4699/2007, pages 996–1005. Springer, Berlin, June 2007.

[52]    M. Schordan, R. Heinzl, and S. Selberherr. Characterization and Performance Evaluation of Generic Programming Styles in C++. In Library Centric Sofware Design, OOPSLA, Portland, OR, USA, October 2006.

[53]    R. Heinzl, P. Schwaha, F. Stimpfl, and S. Selberherr. A Parallel Generic Scientific Simulation Environment. In Proc. of the PARA Conf., Trondheim, Norway, May 2008.

[54]    F. Putze, P. Sanders, and J. Singler. MCSTL: The Multi-Core Standard Template Library. In Proc. Symposium on Principles and Practice of Parallel Programming, pages 144–145, New York, NY, USA, 2007. ACM.

[55]    G. Berti. Generic Software Components for Scientific Computing. Dissertation, Technische Universität Cottbus, 2000.

[56]    P. Schwaha, R. Heinzl, M. Spevak, and T. Grasser. A Generic Approach to Scientific Computing. In Proc. of the ICCAM Conf., page 137, Leuven, Belgium, July 2006.

[57]    R. Heinzl. Concepts for Scientific Computing. Dissertation, Technische Universität Wien, Austria, 2007.

[58]    Boost. Boost MPL. http://www.boost.org.

[59]    Erwin H. Bareiss. Sylvester’s Identity and Multistep Integer-Preserving Gaussian Elimination. Mathematics of Computation, 22(103):565–578, 1968.

[60]    D. Coppersmith and S. Winograd. Matrix multiplication via arithmetic progressions. In STOC ’87: Proc. of the 19th annual ACM symposium on Theory of computing, pages 1–6, New York, NY, USA, 1987. ACM.

[61]    Hans Jörg Dirschmid. Höhere Mathematik – Matrizen und Lieare Gleichunen. Manz, 1998.

[62]    Leo Dorst, Daniel Fontijne, and Stephen Mann. Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007.

[63]    孫武5. 孫子兵法 6. approx. 6th century BC.

[64]    Leonhard Euler. Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes, sive solutio problematis isoperimetrici latissimo sensu accepti. 1744.

[65]    Bernhard Schutz. Geometrical Methods of Mathematical Physics. Cambridge University Press, 1980.

[66]    Marián Fecko. Differential Geometry and Lie Groups for Physicists. Cambridge University Press, 2006.

[67]    Oliver Davis Johns. Analytical Mechanics for Relativity and Quantum Mechanics. Oxford University Press, 2005.

[68]    Jerrold E. Marsden, Ralph Abraham, and Tudor Ratiu. Manifolds, Tensor Analysis and Applications. Springer, 3 edition, 2002.

[69]    V. I. Arnold. Mathematical Methods of Classical Mechanics. Springer, 1989.

[70]    Ivan Kolář, Peter W. Michor, and Jan Slovák. Natural Operations in Differential Geometry. Springer, 1993.

[71]    Serge Lang. Fundamentals of Differential Geometry. Springer, 1998.

[72]    Hans Jörg Dirschmid. Tensoren und Felder. Springer, 199.

[73]    Wikipedia. http://www.wikipedia.org.

[74]    Michiel Hazewinkel. Encyclopaedia of Mathematics. Springer, 2002.

[75]    R. Heinzl, P. Schwaha, C. Giani, and S. Selberherr. Modeling of Non-Trivial Data-Structures with a Generic Scientific Simulation Environment. In Proc. of the 4th High-End Visualization Workshop, pages 5–13, Tyrol, Austria, June 18–22 2007.

[76]    David Hestenes. Mathematical Viruses. In Algebras and their Applications in Mathematical Physics, pages 3–16. Kluwer, 1991.

[77]    Paul Adrien Maurice Dirac. A New Notation for Quantum Mechanics. In Proceedings of the Cambridge Philosophical Society, volume 35 of Proceedings of the Cambridge Philosophical Society, page 416, 1939.

[78]    A. Hatcher. Algebraic Topology. Cambridge University Press, 2002.

[79]    Josiah Willard Gibbs. Elementary Principles in Statistical Mechanics. New York : C. Scribner, 1902.

[80]    Werner Karl Heisenberg. Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Zeitschrift f¨ur Physik, 43(3):172 – 198, 1927.

[81]    ᾿Αρχιμήδης7 . De planorum equilibris. approx. 250 BC.

[82]    ᾿Αριστοτέλης8 . Φυσικῆς ἀκροάσεως9 . approx. 350 BC.

[83]    Isaac Newton. PhilosophiæNaturalis Principia Mathematica. 1687.

[84]    Gottfried Willhelm Leibniz. Nova Methodus pro Maximis et Minimis. 1684.

[85]    Pierre-Simon marquis de Laplace. Exposition du système du monde. 1796.

[86]    Joseph Louis Lagrange. Mécanique Analytique. 1788.

[87]    N. N. Bogoliubov. Kinetic Equations. Journal of Experimental and Theoretical Physics, 16(8):691–702, 1946.

[88]    M. Born and H. S. Green. A General Kinetic Theory of Liquids I. The Molecular Distribution Functions. Proc. Roy. Soc, 1946.

[89]    Melville S. Green. Boltzmann Equation from the Statistical Mechanical Point of View. Journal of Chemical Physics, 25, 1956.

[90]    John G. Kirkwood. The Statistical Mechanical Theory of Transport Processes II. General Theory. The Journal of Chemical Physics, 14, 1946.

[91]    J. Yvon. Theorie Statistique des Fluides et l’Equation et l’Equation d’Etat. Actes sientifique et industrie, (203), 1935.

[92]    M. Nedjalkov, D. Vasileska, I. Dimov, and G. Arsov. Mixed initial-boundary value problem in particle modeling of microelectronic devices. Monte Carlo Methods Appl., (4):299–331, 2007.

[93]    Karl Raimund Popper. Logik der Forschung. 1935.

[94]    Hugh Everett. ”Relative State” Formulation of Quantum Mechanics. Reviews of Modern Physics, 29(3):454–462, July 1957.

[95]    David Bohm. A Suggested Interpretation of the Quantum Theory in Terms of ”Hidden” Variables. I. Phys. Rev., 85(2):166–179, Jan 1952.

[96]    David Bohm. A Suggested Interpretation of the Quantum Theory in Terms of ”Hidden” Variables. II. Phys. Rev., 85(2):180–193, Jan 1952.

[97]    Eugene Wigner and Henry Margenau. Symmetries and Reflections, Scientific Essays. American Journal of Physics, 35(12):1169–1170, 1967.

[98]    Hermann Weyl. Quantenmechanik und Gruppentheorie. Zeitschrift f¨ur Physik A Hadrons and Nuclei, 46(1 - 2):1–46, November 1927.

[99]    Eugene Wigner. On the Quantum Correction For Thermodynamic Equilibrium. Phys. Rev., 40(5):749–759, Jun 1932.

[100]    J. E. Moyal and M.S. Bartlett. Quantum Mechanics as a Statistical Theory. In Proceedings of the Cambridge Philosophical Society, volume 45, pages 99–124, 1949.

[101]    William Stallings. Operating Systems: Internals and Design Principles. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 3 edition, 1998.

[102]    R. Heinzl and P. Schwaha. A Generic Topology Library. Science of Computer Programming, 2009.

[103]    Boost. Boost Fusion 2.0. http://www.boost.org/libs/fusion.

[104]    R. Sonderfeld and R. Heinzl. A Generic and Self-Optimizing Polynomial Library. In Proceedings of the 8th workshop on Parallel/High-Performance, Genova, Italy, July 2009.

[105]    A. J. Zomorodian. Topology for Computing. In Cambridge Monographs on Applied and Computational Mathematics, 2005.

[106]    William E. Lorensen and Harvey E. Cline. Marching cubes: A high resolution 3D surface construction algorithm. SIGGRAPH Comput. Graph., 21(4):163–169, 1987.

[107]    Peter Shirley and Allan Tuchman. A polygonal approximation to direct scalar volume rendering. SIGGRAPH Comput. Graph., 24(5):63–70, 1990.

[108]    Gregory M. Nielson and Bernd Hamann. The asymptotic decider: resolving the ambiguity in marching cubes. In VIS ’91: Proceedings of the 2nd conference on Visualization ’91, pages 83–91, Los Alamitos, CA, USA, 1991. IEEE Computer Society Press.

[109]    Boost. Boost C++ Libraries. http://www.boost.org.

[110]    August Ferdinand Möbius. Zur Theorie der Polyëder und der Elementarverwandtschaft. Oeuvres Compl‘tes, 1861.

[111]    M. Bern and D. Eppstein. Mesh Generation and Optimal Triangulation. In Comp. in Eucl. Geometry, Lect. Notes on Comp., volume 1, 1992.

[112]    H. Edelsbrunner. Geometry and Topology for Mesh Generation. Cambridge University Press, 2001.

[113]    J. R. Shewchuk. What is a Good Linear Element? Interpolation, Conditioning, and Quality Measures. In Proc. IMR, pages 115–126, 2002.

[114]    Carl Runge. ¨ Uber empirische Funktionen und die Interpolation zwischen ¨ aquidistanten Ordinaten. Zeitschrift f¨ur Mathematik und Physik, 46:224–243, 1901.

[115]    M. Abramowitz and I. A. Stegun. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York, 1964.

[116]    Philip J. Davis and Philip Rabinowitz. Methods of Numerical Integration. Academic Press, New York,, 2 edition, 1982.

[117]    Richard Bellman. Dynamic Programming. Dover Publications, 1957.

[118]    Stanislaw Ulam, Robert Davis Richtmyer, and Johann von Neumann. Statistical Methods in Neutron Diffusion. Los Alamos Scientific Laboratory report LAMS–551, 1947.

[119]    Nicholas Metropolis and Stanislaw Ulam. The Monte Carlo Method. Journal of the American Statistical Association, 44:335–341, 1949.

[120]    Nicholas Metropolis. The Beginning of the Monte Carlo Method. Los Alamos Science, (15), 1987.

[121]    Ilya M. Sobol. A Primer for the Monte Carlo Method. CRC-Press, 1994.

[122]    I. Dimov. Monte Carlo Methods For Applied Scientists. World Scientific Publishing Company, 2005.

[123]    Jun S. Liu. Monte Carlo Strategies in Scientific Computing. Springer, 2008.

[124]    David Hilbert. Grundz¨uge einer allgemeinen Theorie der linearen Integralgleichungen. B. G. Teubner, Leipzig, 1912.

[125]    Emmy Noether. Invariante Variationsprobleme. Nachrichten von der Gesellschaft der Wissenschaften zu G¨ottingen, Mathematisch-Physikalische Klasse, pages 235–257, 1918.

[126]    T. Grasser, H. Kosina, M. Gritsch, and S. Selberherr. Using Six Moments of Boltzmann’s Transport Equation for Device Simulation. J. of Applied Physics, 90(5):2389–2396, 2001.

[127]    Robert Kosik. Numerical Challenges on the Road to NanoTCAD. Dissertation, Technische Universität Wien, Austria, 2004.

[128]    Maritn Vasicek. Advanced Macroscopic Transport Models. Dissertation, Technische Universität Wien, Austria, 2009.

[129]    D.L. Scharfetter and H.K. Gummel. Large-Signal Analysis of a Silicon Read Diode Oscillator. IEEE Trans. Electron Dev., 16(1):64–77, 1969.

[130]    C. Jacoboni, P. Poli, and L Rota. A New Monte Carlo Technique for the Solution of the Boltzmann Transport Equation. Solid State Electronics, pages 523–526, 1988.

[131]    P. Pirkelbauer, S. Parent, M. Marcus, and B. Stroustrup. Runtime Concepts for the C++ Standard Template Library. In Proc. of the ACM SAC’08, pages 171–177, Fortaleza, Ceara, Brazil, March 2008.

[132]    International Organization for Standardization, Geneva, Switzerland. ISO/IEC 14882:1998, 1998.

[133]    International Organization for Standardization, Geneva, Switzerland. ISO/IEC 8652:1987, 1987.

[134]    International Organization for Standardization, Geneva, Switzerland. ISO/IEC 8652:1995, 1995.

[135]    David K. Ferry and Harold L. Grubin. Modeling of Quantum Transport in Semiconductor Devices. volume 49 of Solid State Physics, pages 283 – 448. Academic Press, 1996.

[136]    Carlo Jacoboni, Andrea Bertoni, Paolo Bordone, and Rossella Brunetti. Wigner-Function Formulation for Quantum Transport in Semiconductors: Theory and Monte Carlo Approach. Mathematics and Computers in Simulation, 55(1–3):67 – 78, 2001.

[137]    Mihail Nedjalkov, Hans Kosina, Siegfried Selberherr, Christian Ringhofer, and David K. Ferry. Unified Particle Approach to Wigner-Boltzmann Transport in Small Semiconductor Devices. Phys. Rev. B, 70(11):115319, September 2004.

[138]    George Green. An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism. Nottingham, 1828.

[139]    Lars Hörmander. The Analysis of Linear Partial Differential Operators : Distribution Theory and Fourier Analysis, volume 1. Springer, 1990.

[140]    Hartmut Haug and Antti-Pekka Jauho. Quantum Kinetics in Transport and Optics of Semiconductors. Springer, 2004.

[141]    D. Eastlake 3rd, S. Crocker, and J. Schiller. Randomness Recommendations for Security. RFC 1750 (Informational), December 1994. Obsoleted by RFC 4086.

[142]    D. Eastlake and 3rd, J. Schiller, and S. Crocker. Randomness Requirements for Security. RFC 4086 (Best Current Practice), June 2005.

[143]    P. L’Ecuyer and R. Simard. TestU01: A C Library for Empirical Testing of Random Number Generators. ACM Transactions on Mathematical Software, 33(4), 2007.

[144]    Michael Mascagni, David Ceperley, and Ashok Srinivasan. SPRNG: A Scalable Library for Pseudorandom Number Generation. ACM Transactions on Mathematical Software, 26:436–461, 2000.