Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

Aberth O., 1988, Precise Numerical Analysis

10.1007/BF00942847

10.1007/BF01218480

10.1007/978-3-642-97005-4

10.1007/978-1-4613-1017-4_6

10.1103/PhysRevA.26.720

Eckmann J.-P., 1984, Mem. Amer. Math. Soc., 47

10.1007/BFb0044703

10.1007/BF01013368

10.4171/RMI/30

10.4171/RMI/142

10.1016/0893-9659(94)90058-2

10.1007/BF01209326

10.1137/S0036144595284180

10.1007/BF01207260

10.1007/978-1-4613-1017-4_20

Koch Hans, 1988, Mathematical quantum field theory and related topics (Montreal, PQ, 1987), 9, 99

10.1007/BF02102041

10.1007/BF02101493

Koch Hans, 1995, Math. Phys. Electron. J., 1

10.1007/3-540-09964-6_346

10.1090/S0273-0979-1982-15008-X

10.1016/0378-4371(84)90262-0

10.1007/BF01212533

10.1007/978-1-4613-9092-3_11

10.1007/978-3-642-83189-8

10.1090/S0273-0979-1990-15848-3

10.1090/S0273-0979-1995-00558-6

10.1103/PhysRevE.50.2682

Ross P., 1989, Advanced Prolog: Techniques and Examples

10.1007/978-1-4613-9092-3_21

Sterling L., 1988, The Art of Prolog: Advanced Programming Techniques

10.1088/0951-7715/7/3/011

10.1016/S0076-5392(08)62854-4