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