( en | de | ru )

 

Disambiguation of "Adams, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEs.

, , and . Numer. Algorithms, 81 (4): 1505-1519 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ortwin Adams

Britta Adams

Ortwin Adams

Michael Adams

Karl Adams

 

Other publications of authors with the same name

The sequence of the human genome (abstract only).. RECOMB, page 1. ACM, (2001)Introducing HOL Zero - (Extended Abstract).. ICMS, volume 6327 of Lecture Notes in Computer Science, page 142-143. Springer, (2010)Using sparse voxel octrees in a level-of-detail pipeline for Rio 2., , and . SIGGRAPH Talks, page 70:1. ACM, (2014)Using friendly jamming to improve route security and quality in ad hoc networks., and . CCECE, page 1-6. IEEE, (2017)Refactoring Proofs with Tactician.. SEFM Workshops, volume 9509 of Lecture Notes in Computer Science, page 53-67. Springer, (2015)The Common HOL Platform.. PxTP@CADE, volume 186 of EPTCS, page 42-56. (2015)Populating the crowds in Ferdinand., , , , , and . SIGGRAPH Talks, page 68:1-68:2. ACM, (2017)Use of the Recursive Least Squares Filter for Self Interference Channel Estimation., and . VTC Fall, page 1-4. IEEE, (2016)Error control Gaussian collocation software for boundary value ODEs and 1D time-dependent PDEs., , and . Numer. Algorithms, 81 (4): 1505-1519 (2019)HOL Zero's Solutions for Pollack-Inconsistency.. ITP, volume 9807 of Lecture Notes in Computer Science, page 20-35. Springer, (2016)