CiteULike is a free online bibliography manager. Register
and you can start organising your references online.
Sponsored link
Sponsored link
Symbolic computations in differential geometryby: Diego Conti
(20 Apr 2008)
|
Reviews
[Write a review of this article]
There are no reviews of this article
Find related articles from these CiteULike users Find related articles with these CiteULike tags AbstractWe introduce the C++ library Wedge, based on GiNaC, for symbolic computations in differential geometry. We show how Wedge makes it possible to use the language C++ to perform such computations, and illustrate some advantages of this approach with explicit examples. In particular, we describe a short program to determine whether a given linear exterior differential system is involutive.
BibTeX record RIS record0-meeting-2005-marseille 0-meeting-2005-pnc 0-student-andrievsky 0-student-rudenko 0-student-selikhov 0-student-shelaev 1d 1f-noise 2d 2-microlocal 3d 3x1 4d 6d academe additive-noise adhesion-model adiabatic adjacency-matrix ads affine afriat-varian agent agorithm aharonov-bohm ai ajax aleksandrov aleksandrov-ad algebra algebraic-geometry algebraic-manifold algebraic-topology algorihtm algorithm algorithm-adaptive algorithmic-complexity almost-periodic alphabet alpha-effect amazon ambrosio amenability amicable amoeba analog analysis analytic-function anderson-localization ann annealed anomalous-diffusion anomalous-scaling anonymity ansobol ansobolarxiv anyon application approximate approximation architecture archive area-preserving arithmetic arithmetic-geometric arithmetic-mean arneodo arnold arrow arxiv assembly assignment assignment-polytope assignment-problem astro asymptotic asymptotic-geometry asymptotic-independence atomic aubry-mather auction authomorphism autocorrelation automaton avalanche averaging axiom axiomatic baez bak balinski ballistic-aggregation banach-space barabasi barvinok base bayes bayesian bbgky bde beale-kato-majda bec belief belief-propagation bell-inequality bellman benford-law berezin bernoulli bernoulli-number bernoulli-numbers bernoulli-scheme berry-esseen berry-phase bertoin besicovitch besov bessel bessis-moussa-villani beta bethe-ansatz betti-number betweenness bibliography bibtex bibtex-import bifurcation billiard binary-tree binomial biodiversity bioinfo biology biomacromolecule biopolymer bipartite birth-and-death-process birth-death-process bispectrum bistochastic bittorrent black-box black-hole black-noise black-scholes blaschke blaschke-addition blog blow-up bogoliubov bogolyubov boltzmann boltzmann-equation book boolean boolean-function bose bose-einstein bose-einstein-condensation bose-gas boson-systems boundary-layer boussinesq boxicity braid brain braket branching brascamp-lieb bregman brenier brjuno brownian brownian-field brownian-motion brownian-sheet brudno bruhat-order brunn-minkowski bs bug bureaucracy burgers burgers-equation burridge-knopoff butkovic bv caffarelli calculus camassa-holm camouflage cantor cantor-set capacity carbon-nanotubes carnot cascade catalan-number catastrophe category-theory causal causality caustic cavity cavity-method cayley-graph celestial-mechanics cell-complex cellular-automaton centrality centroid chaos characteristic-function characteristic-polynomial charge chebyshev cheeger chemical-reaction chemistry chern chern-class chinese-remainder-theorem chirikov chomsky choquet chord church-turing circle-homeo citation citeulike clarke classification clay climate-dynamics clique closed-geodesic clt clustering cmb coalition coarse coarse-graining code coding cognitive cohomology collaborative colombeau combat combinatorial-dynamics combinatorial-optimization combinatorics comlexity community commuting-matrices comparison-principle compensated-compactness complete-graph complete-lattice complex complex-analysis complexity complex-network complex-system complex-variable compression computability computation computational-complexity computational-geometry computational-mechanics computation-mechanics computer-algebra computers computing concentration condensation condensed-matter condition-number cone configuration conflict conformal congruence conic-programming conjugacy conjugate-gradient conley-index connectivity conservation-law constrained-optimization constraint constraint-propagation constraint-satisfaction constructive continued-fraction continuous continuous-fraction continuous-tree continuum-hypothesis continuum-limit control convex convex-analysis convex-body convex-function convex-geometry convexity convex-polyhedron convex-polytope convex-programming convex-set convolution conway cooperative-game copula coq correlation correlation-function cosmic-topology cosmo countable-set counterexample coupling covariance covariant-derivative covolume cramer-rao crawling crisis criticality cross-entropy crypto crystal cs c-star ctrw cul cumulant curvature-flow curve cut cvitanovic cycle cyclic-monotone cylindrical dark-energy dark-matter darwin data data-analysis database data-mining data-structure data-type decoding decomposition dehn delaunay delay delicious density-matrix dequantization derangement design dessins-d-enfants determinant deterministic deterministic-algorithms diaconis diagonal dictionary difference-equation differential differential-equation differential-form differential-game differential-geometry diffusion digital-simulation digraph dimension diodes diophantine dirac dirac-notation directed directed-graph dirichlet discrete discrete-geometry discrete-harmonic discrete-laplacian discretization discrte dislocation disordered-system dissipation dissipative-system distributed-computing distribution divergent-series divided-differences dna dns dodecahedron doeblin domain doppler doubly-periodic driving droplet duality dunamical-system dynamical-system dynamic-programming dynamics dyson earthquake ecology economics econophysics edgeworth education ee250 ee250back eigenvalue eikonal-equation einstein election electric-current electric-network electron-gas elliptic elliptic-curve email energy energy-inequality energy-level entangled-network entanglement entropy enumeration epistemology e-print equilibrium erdos erdos-renyi ergodic ergodic-course ergodicity ergodic-theory error error-correction error-function estimation euclid euclid-algorithm euclidean euclidean-matching euler euler-equation euler-maclaurin euler-poisson evaluation event-driven evolutionary-game exact-solution example exchangeability exchangeable-pair expander expander-graph expansion expectation experiment exponential exterior-calculus extractor extreme-eigenvalue extreme-value factorial factorial-moment factorization falconer farey fbm feder feigenbaum feller fenchel fermi fermi-surface fewnomial feynman feynman-diagram feynman-integral feynman-kac fft fibonacci fibonacci-numbers fibonomial field field-theory filament file-import-08-07-04 filtering finance finite finite-automaton finite-difference finite-differences finite-element finite-field finite-group first-passage fisher fisher-information fixed-point floating-point flock flow fluctuation fluctuation-dissipation fluid-dynamics fock fokker-planck foliations fomin ford-fulkerson forecast forecasting forensic formal-power-series four-color fourier fourier-analysis fourier-transform fpu fractal fractal-dimension fractional fractional-calculus fractional-derivative fragmentation frechet free-energy free-field free-group free-probability freidlin-wentzell french frenkel-kontorova frequency frequentism friedman frisch frw fun functional-analysis functional-data-analysis functional-derivative functional-integral functional-programming fundamental-group fuzzy fuzzy-set gallavotti-cohen galois galois-theory galton-watson game game-theory gamma gamma-function gauge-theory gauss gauss-code gaussian gcd gelfand gelfand-tsetlin generalized-flow generalized-function generalized-solution generalized-word generating-function generation genome geo geodesic geodesic-distance geodesic-flow geography geometric-algebra geometric-mean geometric-measure-theory geometry gibbs gibbs-measure glass goedel goemetry goldbach good-set google goy gpgpu gps gpu gr gradient gradient-flow graham grammar grant granular graph graph-coloring graphical-processor graph-isomorphism grassberger-procaccia grassmannian gravity gray-code groebner groebner-base groebner-basis gromov gromov-hausdorff gromov-witten gross-pitaevskii grothendieck group group-algebra group-theory growth gtd gumbel haar haar-measure hadamard hadamard-matrix hadwiger halmos hamilton hamiltonian hamiltonian-dynamics hamiltonian-foliation hamiltonian-system hamilton-jacobi hamitlon-jacobi harary harmonic harmonic-analysis harmonic-function harmonic-oscillator hartree-fock hash hash-function haskell hausdorff hausdorff-dimension hausdorff-distance hausdorff-topology heap heat-conduction heat-equation heat-kernel heat-transfer heavy-tail hedlund heegaard-floer-homology heisenberg heisenberg-group helium helly-theorem henon herman hermite hermite-polynomial hessian heuristic hidden-markov hidden-variables hierarchical high-dimensional hilbert-function hilbert-matrix hilbert-series hilbert-space h-index h-infinity histogram history hitchcock-problem hmm hoare hodograph hoelder homogenization homology homotopy hopping-transport horner howto hpc hubble-expansion hurst huygens-principle hybrid-system hydra hydrodynamics hyperbolic hyperbolic-group hyperbolic-law hyperbolic-plane hyperbolic-polynomial hyperbolic-system hypercube hypergeometric hypergraph hyperplane-arrangement hypertext ideal ideal-gas idempotence idempotency idempotent iid image-processing immersion immigration immunology independence independent induction inequality inertial-particle inertial-particles inference infinite-divisibility infinite-horizon infinitesimal information information-geometry information-theory informtation inria-visit instanton integer integer-lattice integer-programming integrability integrable integrable-system integral integral-geometry interface interior-point intermittency internet intersection interval interval-map intro introduction invariant invariant-measure invariant-subspace invariant-torus inverse inverse-cascade inverse-problem inverse-scattering ising-model isomorphism isoperimetric iterative iterative-coding ito ito-calculus jack-polynomial jacobi jensen jordan juggling julia-set junta kakeya-problem kam kambe kantorovich karatsuba kardar karman-howarth kauffman kazaa k-d-tree kdv kenyon kepler-law kepler-problem khintchine kinetic kinetic-equation kinetic-theory kingman klein-bottle knot knowledge knuth kolmogorov kolmogorov-nagumo kolmogorov-sinai kontsevich kpz kraichnan kramers-moyal krein-milman kronecker-invariant kruzhkov k-theory kullback-leibler kurtosis lag lagrange lagrange-multiplier lagrangian lagrangian-description lagrangian-manifold lamarck lambda landau landscape langevin langevin-equation language laplace-beltrami laplace-transform laplacian large-d large-deviation large-deviations large-numbers latex lattice lattice-animal lattice-gas lattice-ordered-group lattice-polygon lattice-polytope lattice-qcd lattice-theory lax lax-oleinik learning least-squares lectures left-invariant-metric legendre lego leibnitz lempel-ziv length-space lennard-jones-potential leonidov leontief leray lerch-distribution les-houches levy levy-process lhospital library lie-algebra lieb lie-group life likelihood lindeberg-condition line linear linear-algebra linear-equation linear-space linguistics linux lipscitz lisp list literature littlewood-paley litvinov localised-modes local-measure