×
Edit Profile (opens in new tab)

Meyer, Christoph

Co-Author Distance
Author ID: meyer.christoph Recent zbMATH articles by "Meyer, Christoph"
Published as: Meyer, Christoph
Documents Indexed: 15 Publications since 1987
Co-Authors: 5 Co-Authors with 3 Joint Publications
177 Co-Co-Authors
all top 5

Co-Authors

4 single-authored
2 Blaauwendraad, Johan
2 Ganzinger, Harald
2 Gergely, Péter M.
2 Weidenbach, Christoph
1 Barbero, Giovanni
1 de Borst, René
1 Feenstra, Peter H.
1 Filippou, Filip C.
1 Hoffmann, Marko
1 Hustadt, Ullrich
1 Jacquemard, Florent
1 Kastens, Sven
1 Lelidis, I.
1 Schlüter, Michael
1 Schmidt, Renate A.
1 Van der Veen, C. J.
1 Weymuth, Monika

Serials

1 Computer Physics Communications
1 Physics Letters. A
1 Numerical Functional Analysis and Optimization
1 Journal of High Energy Physics
all top 5

Fields

5 Mechanics of deformable solids (74-XX)
3 Mathematical logic and foundations (03-XX)
3 Numerical analysis (65-XX)
3 Computer science (68-XX)
3 Geophysics (86-XX)
2 Fluid mechanics (76-XX)
1 Ordinary differential equations (34-XX)
1 Integral equations (45-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Quantum theory (81-XX)
1 Statistical mechanics, structure of matter (82-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 18 times in 17 Documents Cited by ▼ Year ▼
Algorithmic transformation of multi-loop master integrals to a canonical basis with CANONICA. Zbl 07693052
Meyer, Christoph
41
2018
Transforming differential equations of multi-loop Feynman integrals into canonical form. Zbl 1378.81064
Meyer, Christoph
33
2017
Unification in extensions of shallow equational theories. Zbl 0903.03008
Jacquemard, Florent; Meyer, Christoph; Weidenbach, Christoph
9
1998
A resolution-based decision procedure for extensions of K4. Zbl 0993.03017
Ganzinger, Harald; Hustadt, Ullrich; Meyer, Christoph; Schmidt, Renate A.
6
2001
Soft typing for ordered resolution. Zbl 1430.68407
Ganzinger, Harald; Meyer, Christoph; Weidenbach, Christoph
3
1997
Algorithmic transformation of multi-loop master integrals to a canonical basis with CANONICA. Zbl 07693052
Meyer, Christoph
41
2018
Transforming differential equations of multi-loop Feynman integrals into canonical form. Zbl 1378.81064
Meyer, Christoph
33
2017
A resolution-based decision procedure for extensions of K4. Zbl 0993.03017
Ganzinger, Harald; Hustadt, Ullrich; Meyer, Christoph; Schmidt, Renate A.
6
2001
Unification in extensions of shallow equational theories. Zbl 0903.03008
Jacquemard, Florent; Meyer, Christoph; Weidenbach, Christoph
9
1998
Soft typing for ordered resolution. Zbl 1430.68407
Ganzinger, Harald; Meyer, Christoph; Weidenbach, Christoph
3
1997
all cited Publications top 5 cited Publications
all top 5

Cited by 29 Authors

6 Weidenbach, Christoph
3 Schmidt, Renate A.
3 Sofronie-Stokkermans, Viorica
2 Hustadt, Ullrich
2 Waldmann, Uwe
1 Areces, Carlos
1 Baumgartner, Peter
1 Fietzke, Arnaud
1 Fontaine, Pascal
1 Ganzinger, Harald
1 Georgieva, Lilia
1 Hillenbrand, Thomas
1 Horbach, Matthias
1 Jacquemard, Florent
1 Kapur, Deepak
1 Kruglov, Evgeniĭ Valentinovich
1 Merz, Stephan
1 Nieuwenhuis, Robert
1 Ohta, Yoshikatsu
1 Oyamaguchi, Michio
1 Piskac, Ruzica
1 Rusinowitch, Michaël
1 Teucke, Andreas
1 Tinelli, Cesare
1 Urban, Josef
1 Vigneron, Laurent
1 Voronkov, Andrei
1 Wilhelm, Reinhard
1 Zheng, Sen
all top 5

Cited in 7 Serials

2 Journal of Symbolic Computation
2 Information and Computation
2 Journal of Automated Reasoning
2 Mathematics in Computer Science
1 Artificial Intelligence
1 Annals of Mathematics and Artificial Intelligence
1 The Journal of Logic and Algebraic Programming

Cited in 4 Fields

14 Mathematical logic and foundations (03-XX)
13 Computer science (68-XX)
1 History and biography (01-XX)
1 Order, lattices, ordered algebraic structures (06-XX)

Citations by Year